[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
354(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/12/18(土)08:25 ID:sD9++F1B(5/12) AAS
>>353 補足
>一元体(F1)の問題点は、下記のように”F1 としてあるべき性質が全て満たされるような”決定版が無いってことです
>数多く提案されている各F1は、それぞれは存在しても（つまり、存在は否定されていないが）、リーマン予想の解決につながる 決定版が無いってことです
想像ですが
プロ数学者が、一元体(F1)の問題点を論じるときの視点は
現段階では、
奇妙だが、存在は認めるが
”リーマン予想の解決（あるいは非可換幾何学への目覚ましい応用）には、つながってない”ってことじゃないですか？
素人なので、詳しくは分かりませんが
366: 2021/12/18(土)10:27 AAS
>>353
>ペアノの公理を認めたら、ツェルメロの後者関数 suc(a) := {a} で、
>「可算無限集合たる自然数全体が構成できる」。
>ここまでは、否定はできませんよね
いえ 真っ先に否定されますね
ペアノの公理だけでは、可算無限集合は構成できません
無限公理
「{}∈ｘ かつ 任意の集合ｙについて、ｙ∈ｘならば｛ｙ｝∈ｘ となる集合ｘが存在する」
が必要です
一元体の話はあなたには無理なので語らないでくださいね
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.272s*