(Turing's proof went to press in May 1936, whereas Alonzo Church's proof of the undecidability of a problem in the lambda calculus had already been published in April 1936 .)
(Η απόδειξη του Τuring εκδόθηκε στον τύπο τον Μάιο του 1936, ενώ η απόδειξη του Alonzo Church ότι το πρόβλημα λογισμός λάμδα είναι επίσης μη αποφασίσιμο είχε εκδοθεί ένα μήνα πριν.