15 Dec
2011
15 Dec
'11
4:44 p.m.
On Wed, Dec 14, 2011 at 1:35 PM, Eduardo J. Dubuc <edubuc@dm.uba.ar> wrote:
Is the following nonsense ?
He thinks that Godel made an error, namely failing to generalize from two-valued logic to sequence-valued logic. He then shows that predicate logic can be encoded as polynomials, which is not new, and sweeps quantification under the rug since it's too hard. So while not strictly nonsense, it's not the earth-shattering wonder the author thinks it is. -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]