Inter-universal geometry と ABC予想 (応援スレ) 73 (717ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 73 http://rio2016.5ch.net/test/read.cgi/math/1753000052/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
524: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/11(月) 23:03:03.72 ID:iGLBvSqQ つづき No.1 回答者： kabaokaba 2006/07/02 「存在が証明される」のと 「具体的に構成する」というのは 別のものです 後者ならば前者は成立しますが 逆は成立しません． ぶっちゃけた話，物理なんかでも 「理論的に予言されたものを みんなで必死に探す」なんてことはよくありますね ＃逆のパターンも当然ありますが． 小柴先生のカミオカンデだって， 素粒子の質量の話だって， 古くは湯川先生の中間子だってそーいう流れでしょう． 相対論もそーいう流れのはず． 数学だと，正65537角形は作図可能ですけど この作図の工程を具体的に示すのは できないでしょう（もしかすると もう誰かが具体的な書き方を見つけてるかも） そもそも整列可能定理は選択公理と同値なわけで 整列可能な順番を目に見える形で 構成できたとすれば それは選択公理を「構成」したこと すなわち「証明」したことになりませんか？ この整列可能定理は選択公理の一種の 異質さというか危うさというかを 際立たせる意味合いもあると解釈すべきだと 思いますがどうでしょうか (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1753000052/524
531: １３２人目の素数さん [] 2025/08/12(火) 01:14:55.52 ID:r/id88M5 >>524 >この整列可能定理は選択公理の一種の >異質さというか危うさというかを >際立たせる意味合いもあると解釈すべきだと >思いますがどうでしょうか 箱入り無数目もね http://rio2016.5ch.net/test/read.cgi/math/1753000052/531
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s