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

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

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

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

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

No.1 ベストアンサー 回答者： koko_u_ 回答日時： 2007/02/26 23:02

グッドスタインの定理がどれのことなのかイマイチわからなかった。

ペアノの公理系で証明不可能な真なる命題が存在するっちゅうアレのこと？

参考URL：http://www.u.arizona.edu/~miller/thesis/thesis.h …

この回答への補足

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

補足日時：2007/02/27 00:13

この回答へのお礼

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

お礼日時：2007/02/27 00:05