Tagesarchive: 28. August 2013

Eigentlich wollte ich dieses Paper ja ignorieren, aber da mich zwei Freunde darauf angesprochen haben, schreibe ich doch etwas über diesen „Gottesbeweis“. Gemeint ist das zweiseitige Paper „Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence“ von Christoph Benzmüller und … Weiterlesen →