Metadata
Author: WikiMatrix
Data
English[en]
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.
Swedish[sv]
Bådas arbeten var starkt påverkade av Kurt Gödel och dennes ofullständighetssats, särskilt hans metod för tilldelning av tal (s.k. Gödeltal) till logiska formler och därigenom likställa logiska utsagor med aritmetiska tal.