Re: [FRIAM] logic can be irrational

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)

Re: [FRIAM] logic can be irrational

On 1/8/14, 11:03 AM, glen e. p. ropella 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 And the Coq repository...

Re: [FRIAM] logic can be irrational

On Wed, Jan 8, 2014 at 11:03 AM, glen e. p. ropella g...@tempusdictum.comwrote: 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

[FRIAM] logic can be irrational

On 01/07/2014 02:04 PM, Nick Thompson wrote: (3) Reasoning illogically -- Clearly violating fundamental rules of logic. All swans are white; this bird is a crow; this bird is white. I think this is the most difficult problem to identify. However, back when we were discussing tautologies,

Re: [FRIAM] logic can be irrational

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 Godhttp://en.wikipedia.org/wiki/God's