2
6
8
8
7
0
7
目次
ゲーデル
存在の矛盾の理論(その1) ラッセル
存在の矛盾の理論(その2) ゲーデル
存在の矛盾の理論(その3) ペンローズ
フリーマン・ダイソン
科学と社会に関する異端の考え(1)土地管理と気候温暖化
科学と社会に関する異端の考え(2)濡れたサハラの謎
科学と社会に関する異端の考え(3)バイオテクノロジーの家畜化
科学と社会に関する異端の考え(5)ダーウインの幕間
コンピュータ
フラクタル
ポリオミノ
タイル張り
ブライアン・デイビス_数学は何処へ行く
チューリングの停止問題,グレゴリィ・チェイチン
証明可能性の限界(1)
証明可能性の限界(2)
証明可能性の限界(3)
有限な公理集合では,証明できない無数の命題が存在します.
SCIENTIFIC AMERICAN OCTOBER 2018,The Unsolvable Problem