- 464 名前：１３２人目の素数さん mailto:sage [2012/05/14(月) 21:17:58.47 ]
- 北田均著「ゲーデル不完全性定理への道」
p.154
Feferman によれば
ω_1 < ω＾(ω＾(ω＾2))
である。
とある。
ω_1 は Church-Kleene の順序数とあり、non-recursive ordinal の最小
という意識はある。右辺は ε_0 より小さいので、話にもならないが、この
順序数の表記を全く理解せず、もちろん Feferman の論文の滅茶滅茶な誤解
と自身の妄想を膨らませた、トンデモ本の典型。本当にこの人、東大で基礎論
の授業してるの？
