Turing PhD dissertation (Princeton): transcription to Latex/pdf

You can see here the "original" document as I found on the web (Princeton University), and here is the result of the conversion.

With some help of OCR software, I converted to Latex (and to pdf) the

originalTuring Princeton PhD dissertation. This transcription (pfd) is now available from the Alan Turing Bibliography (compiled by Andrew Hodges; search "Online"). As the document was poorly preserved, many pages (and all mathematical formulas!) had to be completely rewritten. Here you can see a few pages of the original dissertation.As an example of the kind of work involved in the conversion, here is a study of a possible correspondence between some symbols of an original formula [handwritten by Turing, in the middle] and Latex mathematical symbols [top and bottom]:

correspondence...