Re: logic can be irrational

Posted by glen ep ropella on Jan 08, 2014; 6:03pm
URL: http://friam.383.s1.nabble.com/11-American-Nations-tp7584250p7584676.html

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