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.