On Wed, Jan 8, 2014 at 11:03 AM, glen e. p. ropella <[email protected]>wrote:
> 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? No sorry, no magic, I simply didn't spend the effort to find the arxiv entry. My bad. But you see, I'm not used to these philosophical discussions, I felt only the wiki quote would suffice. And I definitely did not think those considering logic would include Godel's later work which was not completed during his life. Nor God for that matter. -- Owen
============================================================ 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
