Formalization, Mechanization and Automation of Gödel's Proof of God's Existence Christoph Benzmüller, Bruno Woltzenlogel Paleo http://arxiv.org/abs/1308.4526v4
All those links and I still had to use Google to find the actual article. ;-) Do you use a program (like the journalism sites seem to) that automatically links keywords in your e-mails? If so, what program do you use? On 01/07/2014 06:27 PM, Owen Densmore wrote: > Logic has difficulties. But interestingly enough, this logic was proven > valid recently by two computer scientists/mathematicians. > http://en.wikipedia.org/wiki/G%C3%B6del's_ontological_proof > > Basically: > > *Gödel's ontological proof* is a formal argument for > God<http://en.wikipedia.org/wiki/God>'s > existence by the mathematician Kurt > Gödel<http://en.wikipedia.org/wiki/Kurt_G%C3%B6del> > (1906-1978). -- glen ep ropella -- 971-255-2847 ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
