Re: Word Order in typology
From: | John Cowan <jcowan@...> |
Date: | Wednesday, October 13, 2004, 12:25 |
Christian Thalmann scripsit:
> The whole building of math is built on the axioms of the
> real numbers, which can't be proven, but must be assumed
> to be true for the rest of math to work. Everything else
> in math is proven logically on the basis of these axioms.
I think you are confusing the foundational status of the reals and
the integers here. The real numbers have a complete and consistent
axiomatization; the integers (as shown by Goedel's Theorem) do not.
This is probably why analysis is so full of powerful methods and
results and advances progressively, whereas number theory is
wonky and irregular, and advances only when fundamental connections
with the rest of mathematics (typically analysis) are found.
(And why it's number theory that has my heart, for I love
wonky and complicated domains.)
--
Values of beeta will give rise to dom! John Cowan
(5th/6th edition 'mv' said this if you tried http://www.ccil.org/~cowan
to rename '.' or '..' entries; see jcowan@reutershealth.com
http://cm.bell-labs.com/cm/cs/who/dmr/odd.html)
Reply