Date: Apr 7, 2013 1:23 PM
Author: namducnguyen
Subject: Re: Matheology § 224
On 07/04/2013 8:26 AM, Frederick Williams wrote:

> Nam Nguyen wrote:

>

>> I mean, it's fine that Godel _believed_ in "idealism and platonism" and

>> what not, as people would tend to so think, but why do people react

>> negatively whenever it's pointed out that his work isn't a

>> _mathematical logic_ work?

>

> Who points that out?

I did.

> What do they think mathematical logic _is_, if it

> excludes the work of G\"odel?

Mathematical logic is about _conforming_ with the _rigorousness_

of standard _definitions_ .

_Godel's work_ is an piece of an _informal intuition_ hence should

not be included as part of the rigorous Mathematical logic reasoning.

--

----------------------------------------------------

There is no remainder in the mathematics of infinity.

NYOGEN SENZAKI

----------------------------------------------------