サクサク読めて、アプリ限定の機能も多数!
消えているので代替→http://kreisel.fam.cx/webmaster/clog/img/www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/p/frag/frag_g.html
tanimina のブックマーク 2010/02/17 11:44
不完全性定理について(あるいは証明と計算について)[計算と論理][数学][不完全性定理]消えているので代替→<a href="http://kreisel.fam.cx/webmaster/clog/img/www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/p/frag/frag_g.html" target="_blank" rel="noopener nofollow">http://kreisel.fam.cx/webmaster/clog/img/www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/p/frag/frag_g.html</a>2010/02/17 11:44
消えているので代替→<a href="http://kreisel.fam.cx/webmaster/clog/img/www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/p/frag/frag_g.html" target="_blank" rel="noopener nofollow">http://kreisel.fam.cx/webmaster/clog/img/www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/p/frag/frag_g.html</a>
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.ice.nuie.nagoya-u.ac.jp/~h003149b2007/08/31
「証明」という言葉と「計算」という言葉 「計算」という言葉の説明 「証明」という言葉の説明 ここまでのまとめ 補足:「完全」という言葉について 対角化定理と再帰定理 対角化定理 再帰定理 ラムダ計算との関係...
27 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /
消えているので代替→http://kreisel.fam.cx/webmaster/clog/img/www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/p/frag/frag_g.html
tanimina のブックマーク 2010/02/17 11:44
このブックマークにはスターがありません。
最初のスターをつけてみよう!
不完全性定理について(あるいは証明と計算について)
www.ice.nuie.nagoya-u.ac.jp/~h003149b2007/08/31
「証明」という言葉と「計算」という言葉 「計算」という言葉の説明 「証明」という言葉の説明 ここまでのまとめ 補足:「完全」という言葉について 対角化定理と再帰定理 対角化定理 再帰定理 ラムダ計算との関係...
27 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /