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 7 comments
by Frank Schnittger - Jan 14 12 comments
by Oui - Jan 13 38 comments
by Frank Schnittger - Jan 8 72 comments
by Oui - Jan 14 7 comments
by Frank Schnittger - Jan 6 68 comments
by Frank Schnittger - Jan 7 10 comments
by Oui - Jan 11 77 comments
by IdiotSavant - Jan 157 comments
by Oui - Jan 147 comments
by Frank Schnittger - Jan 1412 comments
by Oui - Jan 1338 comments
by Oui - Jan 1177 comments
by Oui - Jan 1044 comments
by Frank Schnittger - Jan 872 comments
by Oui - Jan 770 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 228 comments
by Frank Schnittger - Dec 3148 comments
by Oui - Dec 3122 comments
by Oui - Dec 2834 comments
by gmoke - Dec 28
by Frank Schnittger - Dec 2718 comments
by Bernard - Dec 2451 comments
by gmoke - Dec 24