21/12/10 07:48:16.73 TDfmt48z.net
>>64-70
うん、そういう議論は賛成だな
IUTが、どういう範囲の公理系で治まっているのか? ってね
で、>>65 より
(引用開始)
まぁZFCより強い仮定の元に証明したならしたで構わないとは思うがね
しかしそもそもこの話も加藤本で出てきたらしい“新しいパラダイム”とかいう単語から出てきた話なんやろ
ホントに望月論文で「通常数学では用いない以下のような推論規則を導入する」的なフレーズがあったって話も聞かんしな
そこから眉唾ものの話
(引用終り)
これ賛成だな
つまり、加藤本は、大道香具師のように、ちょっと大げさ
望月先生は、IUT IVの後半で、グロタンディーク宇宙の中には収まっているように書いている
つまり、圏論の内部の理論だという主張みたいですね
(参考)
URLリンク(ja.wikipedia.org)
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値
強到達不能基数の存在は ZFC からは証明できないため、空集合と V_ω 以外の宇宙の存在はどれも ZFC から証明することができない。
URLリンク(detail.chiebukuro.yahoo.co.jp)
rej********さん
2016/11/27 17:07
「大道ヤシ」(だいどうやし?)とはどういう意味なのでしょうか?
「大道芸人」と「香具師」が混ざったような意味ですか?
ベストアンサー
******さん
2016/11/27 17:28
ご推察のように「大道香具師」と思います。
露天商や興行(大道芸)人、その元締め。