But it sounds to me like you’re talking about the manipulation of signs, not about numbers themselves. We could make the set of signs ‘2+2=’ end any way we like, but that doesn’t mean we’re talking about numbers. I donno, I think you’re being too cryptic or technical or something for me, I don’t really understand the point you’re trying to make.
We don’t need to go to the trouble of defining anything in Python. We can get the same result just by saying
If I use python to simulate a world than it matters how things are defined in python.
It doesn’t only appear that 2+2=green but it’s that way at the level of the source code that depends how the world runs.
But it sounds to me like you’re talking about the manipulation of signs, not about numbers themselves. We could make the set of signs ‘2+2=’ end any way we like, but that doesn’t mean we’re talking about numbers. I donno, I think you’re being too cryptic or technical or something for me, I don’t really understand the point you’re trying to make.
What do you mean with “the numbers themselves”? Peano axioms? I could imagine that n → n+1 just doesn’t apply.