Follow

【数学】クソでか無限 

0=1(矛盾) ※巨大基数は矛盾しやすいほど強いので、最も矛盾している0=1を巨大基数として話題にするユーモアがある。

階層内階層基数

(この上もいっぱいある)

弱コンパクト基数

最小の弱マーロ基数【巨大数の「計算可能関数のシステム」で研究されてるのこの辺りが最前線】

最小の弱到達不能基数

最小のΩ不動点

ω_1【ℵ_1 最小の非可算順序数】

チャーチクリーネ順序数【最小の非再帰順序数】

PTO(ZFC)
: ※ 巨大数の「計算可能関数の強さ」の限界点(超越整数システムを除く)
TFBO【竹内・フェファーマン・ブーフホルツの順序数】

BHO【バッハマンハワード順序数】

LVO【大ヴェブレン順序数】

SVO【小ヴェブレン順序数】

Γ_0【フェファーマンシュッテの順序数(2変数ヴェブレン関数で到達できない最小の順序数)】

φ(ω,0)

ε_0【ペアノ算術の限界】

ω^ω^ω

ω^ω

ω^2

ω(最小の極限順序数)

Sign in to participate in the conversation
Vocalodon

ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **

image/svg+xml