「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890ﾚｽ)
「ABC予想」の証明理論、欠陥見つけたら1.4億円 http://rio2016.5ch.net/test/read.cgi/math/1688704076/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
631: １３２人目の素数さん [sage] 2024/01/02(火) 13:13:33.41 ID:eJNOO+Mp この論争は原理的には"証明"を機械的に検証可能な形に変換することで解決できるのだが、 問題は懐疑論者たちの"無知"だけであり、その必要はないと信奉者は主張する。 しかし歴史が教えてくれることは、もしユークリッドに倣って数学を自分たちの考えに合うように作り直したいなら、 まずは誰もが理解できる言語で書かなければならないということだ。 https://press.princeton.edu/ideas/why-prove-it http://rio2016.5ch.net/test/read.cgi/math/1688704076/631
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.042s