(mathematics) A theorem stating that every Goodstein sequence eventually terminates at zero.
Goodstein's theorem
論理学の授業で、学期を通してグッドスタインの定理と、それが順序数解析と結びつくという驚くべき関係を探究しました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★