OK, but the variable name and mapping something to something is not the point here, as that is not a choice of a natural number.
It assumes that you can even computationally determine that there is ANY possible choice of concrete natural number for X.
That is not true. It is logically true that it could be there is not a possible choice of X, and you can choose for example to say it is equal to any of the variables A,B,C,D,AA,AB,AC,AAAAB,ABBBAABA,… or any other number of variables. It could also be meta variables, like meta variable [A] that can be assigned a variable for example AAAAB, or AAAAB. If I assign it the variable AA, [A]=AA, I now know I am talking about AA, which is a natural number of the set of natural numbers.
That did not get me close to actually choosing a natural number and defining X to be that natural number. Physically we could just be creating more variables, without actually defining X to be anything. That is logically perfectly valid, but does not really address the question posed in any way.
There is no computational choice of X, so what you are saying here is a variable. The question is what the variable 1 you are talking about here is. It could mean the pixels on the screen (the symbol 1 as it appears on my or your screen), it could in principle mean a variable symbolized by 1 that can take the value of a natural number.
It could also mean the natural number one, but based on what you said, that would just be my interpretation.
Based on what you said, it is not clear what definition you operate based on.
I am not talking about interpretations here. Well I am, evidently, but here we leave bivalent logic for sure.
There are always many many interpretations for anything. That is another rabbit hole to go down to. Very interesting for sure, but it doesn’t get us any closer to the semantic and epistemological question the post poses. Which is, what is X?
I can just define it to be a natural number 1, but that is not a computation, but a definition, as I define it as such.
I can also change my definitions by the way. So I can define X = 3. I could literally edit the post above, although for the sake of consistency, I would not want to do that. But I define X = 3 now as far as this conversation is concerned, as I could have edited the post above.
If I did that, your “computation” of X := 1 would just be wrong, as X would be defined to be 3. That would be a contradiction as 1 is not equal to 3.😅
So that would show that you cannot compute X, as X has a value of 3. If it has a constant value, you cannot assign it another value, as that leads to a logical contradiction. I hard coded X=3 into the definition, so to speak, and I could do that in the post above, as it is not based on temporal logic but definitional logic. And of course that can be changed in time while still maintaining the order that the post above is the post, and your comment a comment.
It would then make more sense to go the route above to say I use variable [0] and define that. That would also be possible and valid, but it poses the same question, as we merely changed the variable. It does not really matter if you call it [0] or X, except for the purposes of definition.
I am not claiming everything can be defined, not even close to it. In fact math itself can prove there are undefinable real numbers, for example. So a lot of things are undefined. That is just life. Like uncomputational variables, which I use many in my brain, like [omega] which I can uncomputationally define to be anything I want. I could even define it to be an emoji🥨.
But then we are going beyond computation and definition into the realm of images and perception. Interesting.