News for hackers. Stuff that matters.
Re:Habits of highly mathematical people by nercht12 on Sunday August 07, 2016 @11:06PM (#12245237)
> Mathematical definitions are usually abstractions of concrete observations, but they aren't the observations themselves. This is why coming up with a mathematical definition often requires more work than coming up with any other kind of definition. ... 1 is very rigorously defined: As a natural number, it's the successor of 0. As an integer, rational, real or complex number, it's the result of mapping the natural number 1 into Z, Q, R or C in a suitable way (compatible with the semiring structure of N).

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.

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.