- 13 名前：１３２人目の素数さん [2014/11/13(木) 00:05:09.42 ]
- あるポピュラーな数学誌の今月号に次のような記述があった。
著者は結構な専門家なのだが一寸したケアレスミスなんだろな？
１．形式体系の重要な性質に健全性と完全性がある。
自然数を含む形式体系は、不完全性定理により、完全ではない。
２．健全性とは証明された定理が必ず正しいことを保証するもので、
矛盾を導かないことである。健全性は、モデルを与えることで
保証できる。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その15 [転載禁止]©2ch.net
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef