純粋・応用数学・数学隣接分野（含むガロア理論）11

純粋・応用数学・数学隣接分野（含むガロア理論）11at MATH

純粋・応用数学・数学隣接分野（含むガロア理論）11 - 暇つぶし2ch580:１３２人目の素数さん
22/12/10 07:41:49.83 meH3MbbN.net
>>532
選択公理がZFにおける決定不能命題であることが
強制法(forcing)によって証明された
ってことですよね
リーマン予想が数論における決定不能命題であると
強制法によって示せるかどうかは知りませんな

次ページ

続きを表示

1を表示