Re:Habits of highly mathematical people
by catnaroek on Thursday August 11, 2016 @12:40PM
(#12269697)
> "The successor" of "0" means nothing because "successor" isn't defined
The existence of a successor function is postulated, because it's an axiom of the theory of natural numbers. It's up to individual models of the theory to define this function concretely.
That's all nice and dandy for mathematicians, but such is still meaningless (from an overall perspective) because ultimately you end up with recursive definitions. "The successor" of "0" means nothing because "successor" isn't defined, unless you define it via dimensions (or something else). Once you try to define dimension or otherwise, you have to define dimension, which leads to defining counting, which leads back to defining 1. Appealing to experience is the only way to end the cycle.
That said, it's perfectly fine to talk about a system within itself, but it's applicability to anything real (which is what I'm concerned with - my apologies if that's not where you're going) is limited to whatever can be described in terms of reality.