純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
純粋・応用数学・数学隣接分野（含むガロア理論）21 http://rio2016.5ch.net/test/read.cgi/math/1753002417/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
87: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/07/25(金) 02:54:11.06 ID:bvj0pDjA ハイレベルは火がアツいだろ。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/87
169: とおりすがり [] 2025/07/27(日) 12:10:57.06 ID:D0JvKdwR >1の雑談は実数論で同値関係の 概念や線型代数の|・|≠0の意味ができない、中学過程から落ちこぼれ。 レベルは渕野のいうところの、数学の基礎づけでなく基礎(数学)から全くできないレベル。 結局レスこじきの炎上商法で数学でも物理でもない望月語のトンデモIUTにすがりつき罵倒コピペ中毒あらしの日々、、なぜかmath jinを尊敬している。 相手にすると時間の無駄 http://rio2016.5ch.net/test/read.cgi/math/1753002417/169
181: １３２人目の素数さん [] 2025/07/27(日) 17:54:06.06 ID:BtC8baTp おまえは一生水戸黄門見て悦に入ってろ 数学？ おまえみたいなサルには無理（断言） http://rio2016.5ch.net/test/read.cgi/math/1753002417/181
249: 数学科卒 [] 2025/08/29(金) 07:38:20.06 ID:FTQwjfKe >>245 > 整数の体系Aの中では正しいとも正しくないとも決定不能なある命題があったとして、 ゲーデルの不完全性定理によれば、Aが帰納的公理化可能であれば、決定不能な命題Gが存在します > その命題は元の整数の体系を含み実数も含むある体系Bの中では証明が出来るとする。 上記の命題Gは、Gを公理としてAに追加した体系では、当然証明できます 公理ですから > そのとき元の整数の体系を含んでいる別の体系Cの中では決して反証されないのだろうか？ 上記の命題Gの否定命題¬Gを公理としてAに追加した体系では、当然反証されます そもそもPがAで決定不能とは、Aの上では、Pからも¬Pからも矛盾が導けないということです これまたゲーデルが証明した述語論理の完全性定理では、 体系Aのいかなるモデルでも真である命題はかならず証明できます 逆に、証明も反証もできない命題Pというのは、 Aのあるモデルでは真であり、別のあるモデルでは偽ということですから >>248 「多分」も「に近い」も不要 述語論理の完全性定理を理解していれば分かります 大学３年レベルでしょう 東大の数学科では論理学は教えないそうですが http://rio2016.5ch.net/test/read.cgi/math/1753002417/249
292: １３２人目の素数さん [] 2025/09/17(水) 17:21:37.06 ID:DfAheodB >>290 馬鹿でもできるレスw http://rio2016.5ch.net/test/read.cgi/math/1753002417/292
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s