That’s a good point. Successor functions are one form of compression. I guess one neat thing with this conception is that it also links up with the definition of numbers in terms of objects. As discussed above we can think about representing the objects in an image as a form of lossy compression. So it ties these two conceptions together quite neatly.
Seems quite similar in spirit to the way of defining numbers into existence around the ‘successor’ function.
https://en.wikipedia.org/wiki/Successor_function
That’s a good point. Successor functions are one form of compression. I guess one neat thing with this conception is that it also links up with the definition of numbers in terms of objects. As discussed above we can think about representing the objects in an image as a form of lossy compression. So it ties these two conceptions together quite neatly.