ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

Inter-universal geometry と ABC予想 (応援スレ) 52

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>210 > >>208 > >・ IUT は Cor3.12 において、 > >　ZFCから逸脱した未知の公理Ａに基づく > >　何らかの操作Ｂを行っている(と推測される)。 > > 「ZFCから逸脱してる」かどうかはともかくとして > 操作を正当化する「概念」を構築するための公理 > が十分でない、とは思うね > > >・ Cor3.12 で躓いている数学者は軒並みそこで躓いているが、 > >　 公理Ａ自体が明確に言語化できているわけではないので、 > >　 操作Ｂがおかしいことを厳密な言い方で指摘することができていない。 > > ”Not Even Wrong"という状態ですね > だからといってrightとはいえませんけどね > > >・ Cor3.12 に躓かずに素通りできてしまった数学者は、 > >　 操作Ｂが未知の公理Ａに基づかなければ不可能であることに気づいておらず、 > >　 操作ＢがZFCの中で行える普通の操作だと勘違いしている。 > >　 また、操作Ｂはそのような勘違いを誘発する構造をしている。 > > 「ZFCの中で行える」かどうかはともかくとして > 操作を正当化するための概念を構成する公理が整ってないと意味ないね > 群とか圏とか抜きにして、準同型とか関手とか考えるようなもの > > >・ 結局、現状では ZFC＋未知の公理Ａ を仮定しなければ IUT は機能しない(と推測される)。 > >　 そして、ZFC＋未知の公理Ａ が公理系として無矛盾なのかはもちろん不明。 > >　 もし矛盾してたら IUT 全体が崩壊してしまう。 > >　 そして、その前に「公理Ａ」が何なのかすら言語化できていない。 > > 「ZFC＋」は抜きにして、公理が足りてないね > しかもそれを埋めたところで無矛盾でないかもしれない > 望月氏は楽観的だけど、他の人は（弟子も含めて）もう懐疑的なんじゃないかな > 正直プロムナードの参加者もIUTをトレースする気はないでしょ > Cor 3.12が正当化できればいいんで、別にIUTに拘る必要はない > そしてIUTとは独立の正当化が成功すれば、ABC予想の解決者は > 望月ではなく別の人になるね　そりゃみんな血眼になるね
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.011s