論理学授業第12回は、人間がメタレベルで、算数の時間に行う推論が、どの程度計算機、対象レベルの形式的算術の体系でシミュレート可能かを考えます。「表現定理」により、足し算などの原始再帰的関数の計算ならば、形式的算術の体系で答がそうなることを証…

夏休み課題の件ですが、提出期限を変更いたします。 変更前：7月21日（メールもしくは教務へ） 変更後：8月20日（メールで） 問題はこちらです 前回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授…

申し訳ありませんが今週は休講です！夏休みレポート課題は、今週中にアップします！