数学基礎論の質問スレッド　その３

数学基礎論の質問スレッド　その３ at MATH

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
それは探す努力を全くしてないんじゃないだろうか

518:１３２人目の素数さん
07/10/06 03:23:09
G,Takeui:Proof Theory だとP197以下、
P,Andrews 小川訳:数理論理学とタイプ理論　だとP161以下。

519:１３２人目の素数さん
07/10/06 04:50:16
読むのメンドクセーから証明ここに書けや、ウジムシ

520:１３２人目の素数さん
07/10/06 19:15:28
すみません、{ω,ω^ω,ω^(ω^ω),ω^(ω^(ω^ω)),…}のいずれよりも
大きい最小の順序数は何と書き表すのでしょうか？

521:１３２人目の素数さん
07/10/06 19:16:30
数理論理学と論理学ってどう違うの？

522:１３２人目の素数さん
07/10/06 19:19:38
さーなー
どこかのスレに書いてあったんじゃねーの

523:１３２人目の素数さん
07/10/06 22:33:03
雨宮の定理って何ですか？

524:１３２人目の素数さん
07/10/07 03:30:04
>>520が人の顔に見える

525:１３２人目の素数さん
07/10/07 14:44:21
>>518
おおっ、先週「数理論理学とタイプ理論」買ってた俺、大勝利！！

526:１３２人目の素数さん
07/10/07 16:42:46
直観主義をわかりよく解説した日本語の本ありますか？

教えてください。

527:１３２人目の素数さん
07/10/07 19:18:49
>>520
ε_0

528:１３２人目の素数さん
07/10/07 21:55:16
>>527
ありがとうございます！
ではε_1はε_0,ε_0^ω,ε_0^(ω^ω),ε_0^(ω^(ω^ω)),…ですか？

529:１３２人目の素数さん
07/10/08 02:18:32
ω^(ε_0+1),ω^(ω^(ε_0+1)),...