> But can you prove that human beings can solve them?
> Tessellation of the infinite plane? Please demonstrate a person that can solve this
Penrose himself would seem to be a demonstration that there is at least one person, IIRC.
Is your argument that uncomputable really just means no guaranteed success, and that just because some human can get a solution to an uncomputable problem doesn't mean that it isn't following a set of algorithms?
Penrose himself would seem to be a demonstration that there is at least one person, IIRC.
Is your argument that uncomputable really just means no guaranteed success, and that just because some human can get a solution to an uncomputable problem doesn't mean that it isn't following a set of algorithms?