INTRODUCTION I'm writing this article to provide you a list of typos found in Alan Turing's [main paper 1937](1) as well as a few typographical remarks. Punctuative and other trivial errors are excluded from the list. (e.g., “If there is no .” should read “If there is no .” in the first right column on p.237.) None of his own peculiar wording, some of which appear to me too informal, are taken in either. (e.g., on p.237, he wrote “= , say” where I would write “=, say, ”, and “the first symbol marked ”, “the first symbol marked with ”.) The first half of the paper shows tables describing how the machine (the Turing Machine, which has a format superficially different from the current versions) computes. Unfortunately, there are no captions nor sections in those tables. With different numbers of lines in columns from table to table, the line number can't be effectively used to locate a letter/word on a page. Therefore, I will quote a piece of text including a concerned point for an enough length when I think it helps you to find quickly where the issue is. Notes on the mathematical font: The fraktur font used here is a little different from the one seen in the [main paper 1937]. Though, they are so similar as to cause no difficulties, I believe. As for the script font, contrarily, the discrepancy is so great that I wish you cautious not to be misled by the different appearances of the typefaces. LIST page 238, rows 6-7 of the table It reads as follows: However no typos are seen here, it may puzzle you until you realize that there are two different letters and , which look quite alike in the original copy of the [main paper 1937]. Worse, using the Latin letter deviates from Turing's own general convention of using a small Greek letter for a symbol (cf. p.236, l.1). The table should be rewritten by replacing with a small Greek letter, say , as follows: page 238, row 8 of the table: The row should read Here, the subscript “1” after in is an error for a comma “,”. page 239, rows 1-7 of the table: Two -functions and are defined as follows: Notwithstanding, neither appears again in the paper. Instead, an -function is used where should be. We must amend the original text to adopt only...
