[過去ﾛｸﾞ]
Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
Inter-universal geometry と ABC 予想 46 http://rio2016.5ch.net/test/read.cgi/math/1585967607/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
172: １３２人目の素数さん [] 2020/04/05(日) 04:37:02 ID:XL/AxZYN 強いABCと弱いABCてネーミングは微妙よな 強いABCが弱いABCを含んでるわけじゃないし ABCその1その2の方が良かったと思う http://rio2016.5ch.net/test/read.cgi/math/1585967607/172
176: １３２人目の素数さん [] 2020/04/05(日) 06:10:11 ID:XL/AxZYN 論文読んでみようとチャレンジしたけど、サッパリ分かる気しねえ 知りたいのは次の三つ 1 IUTの主定理は何かということ 2 その主定理を用いてABC予想をどう証明したのかということ 3 足し算と掛け算を分離するて具体的にどのような操作なのか このスレで分かる人いれば教えてほしい http://rio2016.5ch.net/test/read.cgi/math/1585967607/176
178: １３２人目の素数さん [] 2020/04/05(日) 06:39:24 ID:XL/AxZYN >>177 ありがとう、細かい用語は分からないけど、問題となってる不等式は実数の話だし分かる http://rio2016.5ch.net/test/read.cgi/math/1585967607/178
179: １３２人目の素数さん [] 2020/04/05(日) 06:54:44 ID:XL/AxZYN 最終的に実数の話なら、Θとqについての具体例作れば少しは理解の手掛かりになりそうな気もする このスレの優しい人が構成してくれることを期待しよう http://rio2016.5ch.net/test/read.cgi/math/1585967607/179
182: １３２人目の素数さん [] 2020/04/05(日) 07:26:44 ID:XL/AxZYN >>181 A∧B→A∨Bは恒真式だから正しいでしょ （証明） ・A∧Bが偽の時 「→」の真理値の定め方よりA∧B→A∨Bは真 ・A∧Bが真の時 Aは真となりA∨Bも真となる よってA∧B→A∨Bも真となる （終わり） http://rio2016.5ch.net/test/read.cgi/math/1585967607/182
187: １３２人目の素数さん [] 2020/04/05(日) 08:06:25 ID:XL/AxZYN >>183 世間一般で行われてる数学でやってることだし 命題論理の完全性定理から意味論の正しさと証明論と正しさは一致するよ どうしても証明図見たいというのであれば前原昭二の数学基礎論でも読めばいいんじゃないか http://rio2016.5ch.net/test/read.cgi/math/1585967607/187
188: １３２人目の素数さん [] 2020/04/05(日) 08:21:09 ID:XL/AxZYN 加藤文元先生のお話と実際のIUTにギャップがありすぎて（仕方ないとは思うけど）理解が追いつかない ギャップを埋める本の登場が待たれる http://rio2016.5ch.net/test/read.cgi/math/1585967607/188
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.764s*