目次 コメントの多い順 最新の投稿順 古い投稿順 コメントの多い順 5件 1件 5件 10件 20件 50件 100件 タイル張り ロジャー・ペンローズ ブライアン・デイビス_数学は何処へ行く コンピュータ支援の証明 コンピュター利用の証明のステップは大丈夫か 抜け落ちの保証はないコンピュータの数え上げ,有限単純群 チューリングの停止問題,グレゴリィ・チェイチン 証明可能性の限界(1)証明可能性の限界(2)証明可能性の限界(3) 有限な公理集合では,証明できない無数の命題が存在します.SCIENTIFIC AMERICAN OCTOBER 2018,The Unsolvable Problem 黄金比,白銀比,貴金属数 爪問題と貴金属数(metallic number) X線と物質の実験 X線に対する物質の屈折率は1より小さい « 1234 »
チューリングの停止問題,グレゴリィ・チェイチン 証明可能性の限界(1)証明可能性の限界(2)証明可能性の限界(3) 有限な公理集合では,証明できない無数の命題が存在します.SCIENTIFIC AMERICAN OCTOBER 2018,The Unsolvable Problem
証明可能性の限界(1)証明可能性の限界(2)証明可能性の限界(3) 有限な公理集合では,証明できない無数の命題が存在します.SCIENTIFIC AMERICAN OCTOBER 2018,The Unsolvable Problem