純粋・応用数学・数学隣接分野（含むガロア理論）21 (270ﾚｽ)
純粋・応用数学・数学隣接分野（含むガロア理論）21 http://rio2016.5ch.net/test/read.cgi/math/1753002417/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
248: １３２人目の素数さん [] 2025/08/29(金) 01:52:46.38 ID:OeOWj3ng 体系とは、公理系など。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/248
252: １３２人目の素数さん [] 2025/08/29(金) 19:43:17.92 ID:OeOWj3ng 現実の場合に、体系Aの中では命題Gが決定不能かどうかをどうやって示すか。 もしかしたらAの中でGは証明できるのではないかといくら努力してみても証明できず、 Aの中でGの否定が証明できるのではないかといくら努力してみても証明できなかった としても、そのことからだけでは決定不能であるとはいえない。 またAにGを公理として付け加えたBをつくれば、Bの中では命題Gは真理である、 と言われているが、実際にそれをやろうとするときに、 AにGを付け加えた体系Bが無矛盾になることをどうやって保証するのだろうか。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/252
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s