数学基礎論の質問スレッド その３at MATH数学基礎論の質問スレッド その３ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト509:１３２人目の素数さん 07/10/01 11:41:28 >>508 M_SHIRAISHI降臨？ 510:１３２人目の素数さん 07/10/01 20:29:24 地下１階の論理ってあるんですか？ 511:１３２人目の素数さん 07/10/01 20:30:26 そこは立ち入り禁止だから 512:１３２人目の素数さん 07/10/01 22:10:10 霊界の論理 513:１３２人目の素数さん 07/10/03 04:53:03 >>509 普通にtype理論を扱った教科書にはでてくるだろう。 なお、 "M_SHIRAISHI"はNGワード 514:１３２人目の素数さん 07/10/04 12:02:08 >>513 君が見た本の書名と証明が書かれたページ数を記載すればいい。 515:１３２人目の素数さん 07/10/04 16:54:56 それくらい自分で探せよ 516:１３２人目の素数さん 07/10/05 09:51:02 >>515 そもそも 「普通にtype理論を扱った教科書」 なんて知らん 517:１３２人目の素数さん 07/10/06 01:07:22 それは探す努力を全くしてないんじゃないだろうか 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch