不完全性定理についてのゲーデルの証明の一部Up: 不完全性定理のLisp, Mathematicaによる記述 G. J. Chaitin Godel's Proof of his Incompleteness Theorem の例をMathematicaとCommon Lispで書き直した。これは「証明」というよりも「ゲーデルの定理の主張」を説明するための文書である 準備運動 Mathematicaの場合 Schemeの場合（MIT Scheme） Common Lispの場合 ゲーデルの定理 Mathematicaの場合 Schemeの場合（MIT Scheme） Lispの場合 うそつきのパラドックス：「この文はうそである」 ゲーデルの定理：「この命題は証明できない」（真なのに証明できない命題がある） 準備運動 これは自分のコードを出力するプログラムの例でもある Mathematicaの場合 Mathematicaで書くともっ
