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 IdiotSavant - Jan 15 14 comments
by Frank Schnittger - Jan 14 12 comments
by Oui - Jan 16 4 comments
by Oui - Jan 13 57 comments
by gmoke - Jan 16
by Frank Schnittger - Jan 8 77 comments
by Oui - Jan 14 21 comments
by Frank Schnittger - Jan 6 68 comments
by Oui - Jan 171 comment
by Oui - Jan 164 comments
by IdiotSavant - Jan 1514 comments
by Oui - Jan 1421 comments
by Frank Schnittger - Jan 1412 comments
by Oui - Jan 1357 comments
by Oui - Jan 1177 comments
by Oui - Jan 1046 comments
by Frank Schnittger - Jan 877 comments
by Oui - Jan 772 comments
by Frank Schnittger - Jan 710 comments
by Frank Schnittger - Jan 668 comments
by Frank Schnittger - Jan 611 comments
by Oui - Jan 659 comments
by Frank Schnittger - Jan 229 comments
by Frank Schnittger - Dec 3151 comments
by Oui - Dec 3122 comments
by Oui - Dec 2834 comments
by gmoke - Dec 28