The European Tribune is a forum for thoughtful dialogue of European and international issues. You are invited to post comments and your own articles.
Please REGISTER to post.
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 Luis de Sousa - Feb 28 1 comment
by IdiotSavant - Feb 28
by Oui - Mar 1 1 comment
by Frank Schnittger - Feb 23 16 comments
by Oui - Feb 22 21 comments
by Oui - Feb 25
by Frank Schnittger - Feb 20 20 comments
by gmoke - Feb 14 2 comments
by Oui - Mar 11 comment
by gmoke - Mar 1
by Luis de Sousa - Feb 281 comment
by Oui - Feb 2830 comments
by Frank Schnittger - Feb 2316 comments
by Oui - Feb 2221 comments
by Frank Schnittger - Feb 2020 comments
by Oui - Feb 2021 comments
by Frank Schnittger - Feb 1914 comments
by Oui - Feb 197 comments
by Oui - Feb 18
by Oui - Feb 1789 comments
by Oui - Feb 168 comments
by Frank Schnittger - Feb 1523 comments
by gmoke - Feb 142 comments
by Frank Schnittger - Feb 1413 comments
by Oui - Feb 145 comments
by Oui - Feb 1245 comments