Inter-universal geometry と ABC予想 (応援スレ) 60

Inter-universal geometry と ABC予想 (応援スレ) 60at MATH

Inter-universal geometry と ABC予想 (応援スレ) 60 - 暇つぶし2ch390:１３２人目の素数さん
21/10/20 06:27:09.06 lDXUEpp1.net
代数学の基本定理に関する逆数学の話でもしとくか
代数学の基本定理は逆数学の一番弱い体系RCA0でも定理
RCA0では中間値の定理が成り立つ
一方、ジョルダンの閉曲線定理は
逆数学で二番目に弱い体系WKL0でやっと成り立つ
つまり、代数学の基本定理より強い命題

次ページ

続きを表示

1を表示