- 726 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 12:09:10 ]
- じゃあ煽らせてもらうが、解析の話をしてるのに
> 正しくは
> 「その理論の中では正しいと考えられるのに
> 形式的に証明できない命題があるんだろうか？」
>
> 自然数論を含むような理論であれば当然存在する。
> それがゲーデルの不完全性定理。
なんて話を持ち出しても意味がないだろ。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef