已发表 2014-02-22 God Exists, Says Math: Modal Logic and Software Prove Gödel’s Logic God Exists, Says Math: […]