- 477 名前：１３２人目の素数さん [2012/08/22(水) 22:14:25.35 ]
- 北田均の「不完全性への道」って本ってトンデモなの？
以下の様な記述があった。
ゲーデルはゲーデル数化において、メタな自然数nを使って
ゲーデル数nを定義してるから、ゲーデルの証明は完全には
統語論的ではない。だからヒルベルトの有限主義を否定することは
できない。
これは間違い？
ゲーデルはメタな自然数論の意味に影響を受けた証明を
してしまっているとも書いてあったな。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その13
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef