The point is that there’s a computation that describes which heaps are correct and which aren’t. In the same way there’s a computation that describes which actions are human!right and human!wrong. Humans don’t know the exact algorithm for this computation, in the same way that pebblesorters don’t know any algorithm that tests primality.
The point is that there’s a computation that describes which heaps are correct and which aren’t. In the same way there’s a computation that describes which actions are human!right and human!wrong. Humans don’t know the exact algorithm for this computation, in the same way that pebblesorters don’t know any algorithm that tests primality.