Church-Turing-These
Epoche: Frühe Theorie · 1930er–1950er
Alonzo Church und Alan Turing schlugen unabhängig voneinander die berühmte Church-Turing-These vor. Diese These besagt, dass jede effektiv berechenbare Funktion Turing-berechenbar ist. Damit wurde die intuitive Vorstellung von „Berechenbarkeit“ formalisiert und das Fundament der Informatik gelegt.
Alonzo Church & Alan Turing
Quellen und Belege
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Quellentyp: secondary-summary
Explains the independent 1936 formulations and the later name "Church-Turing thesis".
Abgerufen: