グッドスタインの定理と超限帰納法

質問

ロジャー・ペンローズが
グッドスタインの定理を超限帰納法を使って説明していました
私が読んだのは、グッドスタインの定理を、くだいて説明したものであって
正式な形は知りません

超限順序数と超限帰納法の知識がないと無理とは思いますが・・・

ただこの定理は如何なる方法であっても成立しそうな気がしません
理解出来ないならそれで良いのですが
あまりに不可解／信じられない　ので困ります

ＮＥＴ調べましたが英文ＳＩＴＥでないとダメなようです・・・

回答No.1

koko_u_ · ベストアンサー

グッドスタインの定理がどれのことなのかイマイチわからなかった。
ペアノの公理系で証明不可能な真なる命題が存在するっちゅうアレのこと？

参考URL：

http://www.u.arizona.edu/~miller/thesis/thesis.html

お礼

RESありがとうございます
何か　そのような　事も　かいてありました
また　ゲーデル型の議論とも
英語が　出来ないと　ＮＥＴも・・・
グッドスタインのspelling もわからないんですから　ＳＥＥ　ＹＯＵ

補足

URLつけてくれてたんですねＴＨＡＮＸ