Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
729: １３２人目の素数さん [sage] 2025/09/04(木) 11:28:14.31 ID:ggAcMhRe >>727-728 大学１年の一般教養の数学で落第した高卒には生涯無縁だから諦めて碁でも打ってろ http://rio2016.5ch.net/test/read.cgi/math/1755784703/729
734: １３２人目の素数さん [sage] 2025/09/04(木) 12:42:42.76 ID:ggAcMhRe 「圏を一階述語論理で公理化する」で検索してな http://rio2016.5ch.net/test/read.cgi/math/1755784703/734
746: １３２人目の素数さん [] 2025/09/04(木) 14:39:00.86 ID:ggAcMhRe >>738 ＞ゲーデルの加速定理 ＞『n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在する』 「n階算術の体系で証明可能な任意の命題は、n+1階算術ではより短い証明を持つ」ではないことに注意 まあ、そもそも ◆yH25M02vWFhP は「０階論理」（命題論理）レベルだけどな ＞時代は、 ＞脱一階述語論理 ＞だと思うよ ＞脱一階述語論理 ＞を進めないと ＞人は 数学AIに勝てないだろう ◆yH25M02vWFhP は 脱命題論理を進めないと （大卒の）人間になれない AとBの両方を証明しないと A∧Bは証明できない という命題論理脳のまま ∀x.P(x)を証明するには すべてのxを列挙して、 それぞれのP(x)を証明しつくさないといけない とか考えるようではAIに勝てない 竹槍？そんなん核爆弾で焼かれるだけ（笑） http://rio2016.5ch.net/test/read.cgi/math/1755784703/746
747: １３２人目の素数さん [] 2025/09/04(木) 14:43:38.21 ID:ggAcMhRe >>735 >数とは何か 何であるべきか >それはいろいろあるらしい >（例えば高木貞治の数の基礎に関する三部作（多分 これはZFCベースではないだろうね）） 読みもせずに勘違い妄想する 万年高卒◆yH25M02vWFhP >数学は、数やいろいろの概念の拡張の歴史でもあるだろう >”超実数”もその一つだ >現代数学においては、数としての無限大(小) あるいは 集合の無限を扱う必要がある >無限を扱えないならば、数学の議論は進まない >つまりは、何か必要な数学の操作について >有限回→無限回 に拡張すればいいだけのこと こんな●ったこと言ってるから 大学１年の一般教養の微積と線形代数で落第する 無限回に拡張なんか サルはもちろん人間にも できるわけないだろ馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1755784703/747
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s