トップページ
⇒
math
563コメント
211KB
ゲーデル不完全性定理
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0551
132人目の素数さん
2006/04/30(日) 10:19:32
>>510
貴方のような思い込みをしている人には直観主義論理の意義は理解できないでしょう。
命題の真偽があらかじめ決まっている、というのは古典論理の世界の中に住んでいる人
にとっての前提であって、要するに前提に過ぎないということに気づくべきですね。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています