めもめも

このブログに記載の内容は個人の見解であり、必ずしも所属組織の立場、戦略、意見を代表するものではありません。

2010-06-01から1日間の記事一覧

ゲーデルの対角化定理の厳密な証明を対角線論法と対比する

前原昭二「数学基礎論入門」「8.5ゲーデルの対角化定理-定理8.3」の証明を対角線論法との対比を明確にしようとがんばった結果。 (1) *n* :自然数nに対応する対象式(論理記号としてのn) 『A』 :論理式Aのゲーデル数に対応する対象式(論理記号) An(ξ) :…