Maybe this isn't an AI thread after all. Maybe this should be a discussion of the limits of Turing Machines. After all, we know that Turing Machines can't do these, we've worked through the logical ...