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

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

まだ混乱している

現在2006年2月21日12時32分です。

昨晩は充足可能な論理式というもののことで、また混乱しました。

一階の述語論理では閉論理式Aについて、Aか¬Aが証明できます。

そうすると、¬Aが証明出来るということがAが矛盾した論理式であるということなら、閉論理式には充足可能な論理式はないのだろうか?

という疑問でした。

これはまだ解決していません。

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