| > "pi" and "e" - among the uncountably infinite transendentals - are probably reasonable responses to this article in it's entirety pi and e are computable; we even know a bunch of programs which will compute them (to arbitrary precision; Google for "spigot algorithms"). Computable numbers are countable, so we can identify them with the natural numbers, and there's no need for "reals". For example, we might think about the tapes of a binary universal turing machine: we can enumerate them (empty; 0; 1; 00; 01; etc.), and hence the tapes/programs are isomorphic to the natural numbers; the computable numbers are the results of running those programs (this is easier to imagine with a separate "monotone" tape for writing "output"). What about the rest of the "uncountably infinite transcendentals"? I would claim that such an argument is too hand-wavey in the form you've presented it. Can you write down a uniquely determined transcendental number which is uncomputable? Such numbers can be defined; Chaitin's "omega" is an example. However, it's difficult to decide whether such numbers "exist" or not: we can assume that the physical world "exists", by definition; things which can't exist physically, but can be explored mathematically, like pi and e, can be said to exist, although it's a leap of faith; uncomputable numbers can't really be explored mathematically, or in any way that we know. Can we still say they "exist"? Consider that the digits of omega: whatever formal system you use to study it, the digits you "discover" are nothing more than a scrambled representation of your formal system's axioms; since the axioms are assumed rather than proven, the "discovery" is actually a circular argument. > Whitehead & Russell's Principia Mathematica which (and please correct me) used logic to construct the integers It's easy to construct the integers "using logic". For example, Peano constructed the naturals like this (more or less): The symbol '0' is a natural
The symbol 'S', followed by a natural, is a natural
We can count through Peano's naturals as '0' (0), 'S0' (1), 'SS0' (2), 'SSS0' (3), etc.We can likewise construct the integers like this: A natural, followed by the symbol ':', followed by a natural, is an integer
We can interpret the first natural as positive, the second as negative, and the resulting integer as their sum. Hence '0:0' is 0 (0 + 0), and so is 'SSS0:SSS0' (+3 + -3); 'SSS0:0' is 3, '0:SSS0' is -3, and so on.It's not too hard to construct something logically. The problem is what assumptions you're willing to make. Whitehead and Russell wanted to prove everything using only the assumptions of set theory; that's why it took them hundreds of pages to prove seemingly trivial theorems about integers. Goedel's incompleteness theorem(s) showed that no set of assumptions is complete and consistent; hence proving some result using set theory is no better than proving it with some other system. In particular, if it's easier to construct a theory of integers (like the one above) than it is to derive one from set theory (like Whitehead and Russell), we might as well take the easy path :) |