A number of similar undecidability proofs appeared soon before and after Turing's proof: April 1935: Proof of Alonzo Church (An Unsolvable Problem of Elementary Number Theory).
Ряд подібних доказів невидімості з'явився незабаром до і після доказів Тьюринга: Квітень 1935: Доказ Церкви Аронзо (нерозв'язна проблема теорії елементарних чисел).