kt3k 日記

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

考究ノルマ終了

shoenfield_book

考究が年度ノルマ終了でひと段落。
最後自分が、church theorem と imcompleteness theorem を
説明して終わり。
定理を証明するための準備が大体出来てるので、
細かいガジェット的証明は特になくて、
用意されてることを素直に使っていくと欲しい結論にたどり着けるという感じ。

そのあとちょっと、別の本で、modal logic をやって終了。

コメント


管理者にだけ表示を許可する
 

 

トラックバック

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。