note to self: add in some text here or in the next chapter that’s more explicit about about how we can have abstractions that agree by glossing over enough details to enable robust agreement at the cost of being able to talk precisely about fine grained details of the world.
note to self: add in some text here or in the next chapter that’s more explicit about about how we can have abstractions that agree by glossing over enough details to enable robust agreement at the cost of being able to talk precisely about fine grained details of the world.