-----BEGIN PGP SIGNED MESSAGE-----
Some of the applications of these theories are very relevant. For example, a theorem that proves that it is impossible to write a program that would determine if any other program would stop or loop forever, is very relevant and interesting.
- Igor.
Well, yes, but a scientist can only make a finite number of measurements. A computer used for crypto can only have a finite number of states. All this talk about transfinite numbers does not have any effect on arithemetic truths. What good is an axiom system which asserts (internally) that there are uncountably many reals if that same axiom system has a countable model? - -- Paul Elliott Telephone: 1-713-781-4543 Paul.Elliott@hrnowl.lonestar.org Address: 3987 South Gessner #224 Houston Texas 77063 -----BEGIN PGP SIGNATURE----- Version: 2.6.3 Charset: cp850 iQCVAgUBMuMw8vBUQYbUhJh5AQFJYgP/a05CTNOG7zYJxcLBFU6JdzNItGUik7pi fbor6p9l6FDgCwSSRIB59ApRIwKFscGLHVT/mAIi5Ofbnbn/wsm9p35ZNlY0YeDd nPf171quOh7d91W6FXOUwhKSfehbAACbsapN5yaf2vtldpTb/LpdA+xvKTFgiRvg 4/8+yhyfp34= =npw2 -----END PGP SIGNATURE-----