目次

ロジャー・ペンローズ

コンピュータ支援の証明

コンピュター利用の証明のステップは大丈夫か　

抜け落ちの保証はないコンピュータの数え上げ，有限単純群

証明可能性の限界（１）
証明可能性の限界（２）
証明可能性の限界（３）

有限な公理集合では，証明できない無数の命題が存在します．
SCIENTIFIC AMERICAN OCTOBER 2018，The Unsolvable Problem

爪問題と貴金属数（metallic number）

X線に対する物質の屈折率は1より小さい