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.
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.