[過去ログ]
純粋・応用数学・数学隣接分野(含むガロア理論)11 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
534
: 2022/12/10(土)07:41
ID:meH3MbbN(2/35)
AA×
>>532
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
534: [] 2022/12/10(土) 07:41:49.83 ID:meH3MbbN >>532 選択公理がZFにおける決定不能命題であることが 強制法(forcing)によって証明された ってことですよね リーマン予想が数論における決定不能命題であると 強制法によって示せるかどうかは知りませんな http://rio2016.5ch.net/test/read.cgi/math/1659249925/534
選択公理がにおける決定不能命題であることが 強制法によって証明された ってことですよね リーマン予想が数論における決定不能命題であると 強制法によって示せるかどうかは知りませんな
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 468 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.045s