3 ms·
> "Then we find that there are game positions whose values are larger than all the integers. The obvious interpretation of this is that they are infinite, but a
by shannifin 5y ago
> "Then we find that there are game positions whose values are larger than all the integers. The obvious interpretation of this is that they are infinite, but are all part of a larger structure, one where addition and subtraction of these things still makes sense, and are still well defined."
But isn't this really more about notation than having "values" that are necessarily "larger than all integers"? That is, isn't this about needing a convenient way to notate something when we're already using integers for something else?
And/or do you know of any books or resources that go into more detail about this?
(As far as I can tell, the idea of surreal numbers still imagines a one-dimensional layout through which numbers are ordered. It's the adding of "infinity" and "1/infinity" to this line to which I object on nonsense grounds; using a non-integer symbol to represent an extension of some sort (non-spatially related) for some context still makes sense, I just don't think it implies a value "greater than all integers".)
- ColinWright 5y ago>> Then we find that there are game positions whose values are larger than all the integers ... > But isn't this really more about notation than having "values" that are necessarily "larger than all integers"? We have a structure which is "values for games". That structure has addition and subtraction, "greater than" and "less than", and they behave a lot like numbers. We find that the integers embed naturally into this structure, so it's reasonable to think of this structure as an extension of the integers. There are things in that structure that are greater than all the integers. Call them what you like, the people who work with these things find it natural to refer to them as "infinities". I feel that your objections are arising from your desire to think of these things in the existing ways you think of the integers, but these things are not the integers, they are a structure in which the integers naturally live as a sub-structure. Not all of your intuitions will be helpful (although some will, and they are certainly understandable). The classic works here are "On Numbers and Games", or "Winning Ways". The freely available on-line resources are scattered, non-comprehensive, and occasionally bordering on wrong, but they do exist, and they are free. Magic phrases to search for are things like "nimbers", "Combinatorial Game Theory", and "Sprague-Grundy Theorem". You might like to read the related thing that I wrote: https://www.solipsys.co.uk/new/TheIndependenceGame.html?UF03HN https://www.solipsys.co.uk/new/TheIndependenceGame.html?UF03... That deals only with the most elementary aspects, specifically Nimbers, but if nothing else, you might like to skip to the references section of that for other links.
- shannifin 5y agoLooks interesting, will check it out! Thanks for the dialogue. :)
- ColinWright 5y agoYou're welcome ... your questions and observations are absolutely reasonable, so it's nice to have the opportunity to offer an alternate point of view. Cheers!