Inter-universal geometry と ABC予想 (応援スレ) 60at MATH
Inter-universal geometry と ABC予想 (応援スレ) 60
- 暇つぶし2ch390:132人目の素数さん
21/10/20 06:27:09.06 lDXUEpp1.net
代数学の基本定理に関する逆数学の話でもしとくか
代数学の基本定理は逆数学の一番弱い体系RCA0でも定理
RCA0では中間値の定理が成り立つ
一方、ジョルダンの閉曲線定理は
逆数学で二番目に弱い体系WKL0でやっと成り立つ
つまり、代数学の基本定理より強い命題
次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch