Date: Apr 7, 2013 1:52 PM
Author: Frederick Williams
Subject: Re: Matheology § 224

Nam Nguyen wrote:

> Mathematical logic is about _conforming_ with the _rigorousness_
> of standard _definitions_ .


So your, um, "contributions" to mathematical logic will be rigorous and
will conform to standard definitions, will they?

> _Godel's work_ is an piece of an _informal intuition_ hence should
> not be included as part of the rigorous Mathematical logic reasoning.


In my mind's eye I see teachers of mathematical logic busily revising
their lecture notes by tearing them up and owners of bookshops throwing
whole shelves of books in skips...

--
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting