目次
タイル張り
ブライアン・デイビス＿数学は何処へ行く
チューリングの停止問題，グレゴリィ・チェイチン
証明可能性の限界（１）
証明可能性の限界（２）
証明可能性の限界（３）
有限な公理集合では，証明できない無数の命題が存在します．
SCIENTIFIC AMERICAN OCTOBER 2018，The Unsolvable Problem
2
4
7
1
5
5
8