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
  original Turing 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...