[過去ログ] Inter-universal geometry と ABC予想 42 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
705(1): 2019/12/07(土)19:01 ID:uZFmzNJe(5/11) AAS
>>704
最終節は読んでません そもそも数論幾何を知らないので
数論幾何において、a∈aが現れるのかどうか知りたいわけです
AFAは別にトンデモではないので、
AFAを使った数学が受け入れられない
ということはありませんよ
ただ、実際にはa∈aではなく、
省6
707(1): 2019/12/07(土)19:25 ID:WBQvpVpJ(2/6) AAS
>>705
私もAFAそれ自体はトンデモとは思っていません。ただ、集合論の専門家と話したことがあるのですが、
新しいアイデアを展開するために安易に代替集合論に頼るのは如何なものか?と彼は言っていました
代替集合論それ自体の研究は当然重要だけれども、これらを使って何でもできると思うのはトンデモへの道だ、と
上で書いたように私の理解では、実際は厳密な意味でa∈aも∈-loopsもやっていないので、望月はくどい位繰り返し
「正則性公理には矛盾しない」と書いているわけです
数理論理学者の中には「IUTのABC予想証明が成功していると証明されたら、IU形式主義を考えてみるけどね」という人もいて、
省1
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s