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
ご推察のように「大道香具師」と思います。
露天商や興行(大道芸)人、その元締め。