現代数学はインチキだらけat MATH
現代数学はインチキだらけ
- 暇つぶし2ch939:級ﾊの多くは、計算可能性解析の結果を反映している。 逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及された。基本文献は(Simpson 2009)を参照。 目次 1 一般的な原理 1.1 2階算術の使用 2 2階算術の5つの基本的部分体系(Big Five) 2.1 再帰的内包公理 2.2 弱ケーニッヒの補題 2.3 算術的内包公理 2.4 算術的超限再帰 3 Big Five以外の体系
次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch