巨大数探索スレッド14at MATH巨大数探索スレッド14 - 暇つぶし2ch930:132人目の素数さん 19/01/07 23:04:53.29 sZAcHkkS.net計算不可能レベルにおける言語の拡張を特定の理論を基準として計算可能レベルに実装する、 というのはある意味巨大基数公理や順序数崩壊関数の研究となる 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch