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 und Alan Turing
Quellen und Belege
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Quellentyp: Sekundäre Übersicht
Erläutert die unabhängigen Formulierungen von 1936 und den später geprägten Namen „Church-Turing-These“.
Abgerufen: