相対性理論を学びたい人のために

まだ一度も相対性理論を勉強したことのない人は、何か一冊相対性理論の本を読みかじってみて、なぜこんなことが?という、疑問を持ってからこのブログに来てください。

混乱解決

現在2006年2月21日19時57分です。

昼休みに書いた混乱が解決しました。

一階の述語論理では閉論理式Aについて、Aか¬Aのいずれかが証明出来る。と書いたのが誤りだったのです。

閉論理式Aとして要素命題(0変数の述語記号)をとると、Aも¬Aも証明できません。

これですっきりしました。

現在2006年2月21日20時06分です。おしまい。