トップページ
⇒
math
563コメント
211KB
ゲーデル不完全性定理
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0508
132人目の素数さん
2006/04/20(木) 02:08:08
決定不能命題なんだから、真なんだか偽なんだか決めようのない命題。
それは命題ではないはずだ。というあなた。その通りです。
もし命題がただ
「真なのか偽なのかが定められる文章」
であれば、、、。
ちなみにこれはただの存在定理で、論理を積み上げていった時に
そんな決定不能命題があらわれてしまう。そんな話。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています