Archive Unit

Scope and Content

From William Boone, offers an explanation of what has happened with review of Turing's paper, he has submitted a lists of criticisms to the Journal of Symbolic Logic, and says he much regrets the ensuing delays and uncertainties: "I wish I had never gotten involved in this affair". He feels that Turing's paper is very important but difficult for the non-expert: "...the mathematician who is not a specialist in Turing Machine theory has one helluva time telling whether these slips...are crucial", and that in spite of his criticisms "your proof is in principle correct". Hence Boone has had to rewrite his review so the non-specialist can understand. It is now being considered by the Annals of Mathematics.

Related Material

See also TUR/Add/23,48, 57, 74, 132.