27 Oct
2007
27 Oct
'07
6:40 a.m.
At 03:11 AM 10/27/2007, David Gale wrote:
I would stay away from Cantorian infinity, much as we love it. People, as opposed to mathematicians, find it hard to digest and it really doesn't play a role in most of the rest of mathematics.
Cantor-type diagonalization is the major tool Goedel's work and in computational complexity, so Cantor's work does find a role in certain parts of computer science. It's an interesting challenge to figure out what role diagonalization might play in "real" life.