Edge 165: A Madman Dreams of Turing Machines http://www.edge.org/documents/archive/edge165.html#levin "Gödel didn't believe that truth would elude us. He proved it would." Saved on Aug 29, 2005 #cogsci #fiction #math #science #writing Internet Archive