◀︎ http://pocket.ebo-shi.com/physics/history/
文明誕生の歩みと哲学から天文、古典的科学と現代物理への進展史

カテゴリ：Math | Sophy | 現代物理学 | 統一理論
1931年2つの不完全性定理を証明
証明不能命題の存在を明示		クルト ゲーデル
Kurt Gödel		数学自身で矛盾の真偽を証明出来ず “全ての数学構造体の無矛盾な統合”が原理的に不可能だと示した。例えば“私は嘘を言う”という原理が有る時、真偽どちらでも矛盾となり、証明不能となる。