|
|
|
|
|
by tsimionescu
52 days ago
|
|
I wasn't trying to use that as a definition of what computation means. My point is that regardless of how we define it, the fact is that the devices we build to do some form of computation are objectively successful at doing what they were built to do. For example, you can say that Firefox is a human-centric abstraction, and that my computer isn't running Firefox right now in an objective sense, that this is is just a human-centric interpretation of what the physical device is doing, and that there exist other computations that we could assign to it. But what you can't say is that the device is not affecting the physical world in ways that are consistent with performing the Firefox computation, such as causing certain specific wavelengths of light to be emitted by the screen based on state that is stored in a server in the YCombinator data center. This is a measurable fact of the physical world that is independent of the model of computation you chose to ascribe to the physical device - any consistent mapping will have to preserve this same physical property. |
|
> A single physical vehicle (bottom) possesses a fixed causal trajectory. However, it does not instantiate a unique computation. Depending on the alphabetization key applied (fA or fB ), the same physical states can be mapped to entirely different abstract computations (Top Left vs. Top Right). Therefore, computation cannot be intrinsic to the physics (p).
So yes there is a physical process generating your Firefox browser, but there is also a mapping function taking that program and interpreting that it should display your Firefox browser. There are any number of mapping functions that could be applied to the physical state in order to display other things on your screen besides the browser. Therefore, the Firefox browser being displayed is not inherent or intrinsic to the physical state of your computer. If we did not have the right mapping function, we would have no way of knowing or inferring or discovering which mapping function is correct.