ゆるゆる べんきょう

暇だから哲学・数学・物理学をゆるく勉強しているよ

2017-05-03から1日間の記事一覧

野矢論理学 5章

ゲーデルの不完全性定理の概観。なぞっても面白くないので自分なりに再構成。 自然数論を含む公理系Nは、矛盾しているか、不完全である(ゲーデルの第一の不完全性定理)。そして、Nの無矛盾性は、有限の立場では証明することができない(ゲーデルの第二の不…