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
----------------------------------------------------