In my logic class, we spent the semester exploring Goodstein's theorem and its surprising connection to ordinal analysis.
論理学の授業で、学期を通してグッドスタインの定理と、それが順序数解析と結びつくという驚くべき関係を探究しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
