The same holds for mathematical truths. It’s questionable whether the statement “2 + 2 = 4” or “In Peano arithmetic, SS0 + SS0 = SSSS0″ can be said to be true in any purely abstract sense, apart from physical systems that seem to behave in ways similar to the Peano axioms.
The same holds for mathematical truths. It’s questionable whether the statement “2 + 2 = 4” or “In Peano arithmetic, SS0 + SS0 = SSSS0″ can be said to be true in any purely abstract sense, apart from physical systems that seem to behave in ways similar to the Peano axioms.
Why is that important?