Welcome to European Tribune. It's gone a bit quiet around here these days, but it's still going.
Display:
Well, my complaint was, that 30 years after Goedel showed mathematics was not exactly planted on solid bedrock, mathematicians were still pretending that it was.  

I had no complaint about internal consistency--but what we were getting was faith.  In a sense there was no choice about that, but I thought that in that case we should own up to it.  

Then again, a non-formal proof of consistency, might serve, but--and now I am wandering off-topic, perhaps those funny little symbols were not as important as everybody thought?  I was slowly coming around to the intuitionist view that mathematics should be comprehensible.  Even if the intuitionists treated Cantor very badly--which they did--they weren't wrong about everything.  Hilbert's project had its uses, but the core of it had failed.  It was time to let mathematics be done in a style appropriate to its content.  

So during this period, it was the logicians, not the mathematicians, who were my guides.  They wanted proof of consistency but knew they had not gotten it, and owned up.  They knew they needed to do something about it, too, even if what they did lay outside of logic.  

The Fates are kind.

by Gaianne on Wed Jan 2nd, 2008 at 02:51:24 PM EST
[ Parent ]

Others have rated this comment as follows:

Display:

Occasional Series