2009-09-03から1日間の記事一覧

神の存在証明みたいな話の続き。

こないだの神の証明みたいな話の続きだけど、ゲーデルの神の証明について書いてある本をさっそく買ってきてまぁそこだけ読んだんだけど、ようはゲーデルが言いたかったことだけどね、Axiomの1は Axiom 1. (Dichotomy) A property is positive if and only if…