Wiley — my publisher for The Annotated Turing — will this morning ship the book's files to the printer. Sometime after that, printed books will emerge. The official publication date seems to be June 16. It's been my last chance to fix things. For the past several days I've been scouring PDF files of the front matter (copyright page, epigraph, table of contents, and introduction), the 18 chapters, and the bibliography, hoping to find and correct a few final errors, and to persuade the production editor that movie titles should be italicized rather than appear in quotation marks. (The book refers to Soylent Green , the Back to the Future trilogy, and 2001 .) Yesterday morning I discovered that a sentence on page 39 contains a mixed metaphor that I probably wrote years ago and which only now leaped out to taunt me: "With these foundations being nailed into place shortly before the turn of the century, mathematics seemed to be on a good track, ..." I toyed around with changing Read More...