The work of both Church and Turing was heavily influenced by Kurt Gödel's earlier work on his incompleteness theorem, especially by the method of assigning numbers (a Gödel numbering) to logical formulas in order to reduce logic to arithmetic.
Munca lui Church și Turing a fost puternic influențată de lucrările anterioare ale lui Kurt Gödel la teorema incompletitudinii⁠(d), mai ales prin metoda de atribuire de numere (o numerotare Gödel⁠(d)) formulelor logice, în scopul de a reduce logica la aritmetică.