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

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

2006-02-21から1日間の記事一覧

混乱解決

現在2006年2月21日19時57分です。 昼休みに書いた混乱が解決しました。 一階の述語論理では閉論理式Aについて、Aか¬Aのいずれかが証明出来る。と書いたのが誤りだったのです。 閉論理式Aとして要素命題(0変数の述語記号)をとると、Aも¬A…

まだ混乱している

現在2006年2月21日12時32分です。 昨晩は充足可能な論理式というもののことで、また混乱しました。 一階の述語論理では閉論理式Aについて、Aか¬Aが証明できます。 そうすると、¬Aが証明出来るということがAが矛盾した論理式であるということ…