ないブログに表示されています。新しい記事を書く事で広告が消えます。[趣味のゲーデル]昨日リチャード・ザックによる不完全性定理ゼミの第1回目があったのですが、初回にもかかわらず、いきなり宿題が出やがりました。実効的に枚挙可能とする。実効的に決定可能であることを示せ。健全たらしめるか説明せよ。見ての通り、それほどむずかしくない、というか、ごく基本的なことの確認にすぎないのですが、ちゃんと証明しろって言われると、やっぱりちょっとメンドイですよね。ちなみに、上の問題はレベル的に、哲学科の学部三年生レベルです。最新記事コメントがうまく書きこめないようになっていたようです。