数理論理学・数学基礎論 4

数理論理学、数学基礎論に関する話題はこちらでどうぞ。
過度に哲学的な話題はご遠慮ください。

■前スレ
　数理論理学　基礎
　http://science3.2ch.net/test/read.cgi/math/1035210795/

■過去スレ
　基礎論なぜなにスレッド
　http://cheese.2ch.net/math/kako/970/970523340.html
　基礎論なぜなにスレッド その{φ,{φ}}
　http://cheese.2ch.net/math/kako/1014/10141/1014140987.html

■関連スレ
　非古典論理について語るスレ
　http://science3.2ch.net/test/read.cgi/math/1071060325/
　数理論理学やりたいのになんで哲学科なんだよ！
　http://science3.2ch.net/test/read.cgi/math/1072058641/
　集合論なぜなにスレッド
　http://science3.2ch.net/test/read.cgi/math/1064299337/
　なんで圏論なんてもんがあんのよ？
　http://science3.2ch.net/test/read.cgi/math/1057731708/
　パラドクス教えて！
　http://science3.2ch.net/test/read.cgi/math/1046437047/
　★★★★★Dialetheism★★★★★
　http://science3.2ch.net/test/read.cgi/math/1044067158/

その他関連スレは >>2-3 あたりに。

■他板の関連スレ
　[理系全般] 【論理】情報理工学総合スレッド【ｱﾝﾁ?】
　http://science3.2ch.net/test/read.cgi/rikei/1065961472/
　[情報システム] 【学術】ラムダ計算
　http://science3.2ch.net/test/read.cgi/infosys/1017686362/
　[情報システム] 【学術】帰納的関数
　http://science3.2ch.net/test/read.cgi/infosys/1018392719/
　[プログラム] 関数型言語Part IV
　http://pc5.2ch.net/test/read.cgi/tech/1083649982/
　[機械・工学] 論理回路の質問
　http://science3.2ch.net/test/read.cgi/kikai/1000145029/
　[言語学] 意味論 II
　http://academy3.2ch.net/test/read.cgi/gengo/1075723621/
　[哲学] 【必然】様相論理 Vol K【可能】
　http://academy3.2ch.net/test/read.cgi/philo/1088759965/

■関連過去スレ
　数理論理学で有名な教授
　http://cheese.2ch.net/math/kako/1007/10075/1007564373.html
　不完全性定理
　http://natto.2ch.net/math/kako/1007/10075/1007577490.html
　選択公理、Zornの補題
　http://cheese.2ch.net/math/kako/1011/10113/1011351649.html
　フォン・ノイマンVSアラン・チューリング
　http://cheese.2ch.net/math/kako/1009/10090/1009039204.html

恒例に則り 2

>>1
よくやった。

4 ↑ ミスった。

最近見ないと思ったら、タイトルが変わってたのか。

■過去スレ補足
　基礎論なぜなにスレッド　その{φ,{φ},{φ,{φ}}}
　http://science.2ch.net/test/read.cgi/math/1043049229/

即死回避

10

誰もいないスレで10ｹﾞﾄ

Re:>10 [>9]は何者？

通りすがり。保守協力だろ。