数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト400:１３２人目の素数さん 11/02/25 20:18:53.14 いやモデル理論はロジックの一部だし。 あと記述集合論とかとの関係で再帰函数論も或る程度知ってる人が大半なはず。 非古典論理とか部分構造論理とかには疎いだろうけどそれだけがロジックじゃないし。 401:368 11/02/25 22:19:27.88 知識あれば良いけど、 キューネンとかウッディンとかの本読んでるけど、 論理学のテキストまったく読んだことない人間でも 読めると思うけど？ 実際に自分が読めてる。 論理学の知識はすべて共通前提だと考えれば大丈夫だと思う。 実際に直感的に明らかな論理学の結果しか使わないし。 何だかんだで代数、位相、測度、基数の方がメインな道具に見える。 402:１３２人目の素数さん 11/02/25 23:35:13.21 Woodinって何読んでんの 403:368 11/02/25 23:57:02.29 The Axiom of determinacy, forcing axiom, and the non-stationary ideal 404:１３２人目の素数さん 11/02/27 01:20:35.00 >>399 > 公理的集合論(略)の研究者で 実際に何やってる人? 組合せ論的な構成可能集合の研究とか? 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch