2011-12-21から1日間の記事一覧
次回の「ゲーデルを読もう」の担当範囲。 命題論理の定理はすべて恒真式である。 (comment 「ゲーデル 不完全性発見への道」 北田均 より 3.3 命題論理の定理の真理値 ) (defn implies [x y] (if (and (= x true) (= y false)) false true)) (defn third [ls…
次回の「ゲーデルを読もう」の担当範囲。 命題論理の定理はすべて恒真式である。 (comment 「ゲーデル 不完全性発見への道」 北田均 より 3.3 命題論理の定理の真理値 ) (defn implies [x y] (if (and (= x true) (= y false)) false true)) (defn third [ls…