Alonzo Church
Questo articolo non è ancora stato tradotto completamente dalla lingua inglese. Se sei in grado di farlo, lo potresti terminare tu. Grazie.
Church è molto conosciuto per lo sviluppo del lambda calcolo nel suo famoso articolo del 1936 in cui mostra l'esistenza di un "problema indecidibile". Questo resultato percedette il famoso lavoro di Alan Turing sul problema della fermata (o halting problem) che inoltre mostra l'esistenza di un problema irrisolvibile meditante un progedimento meccanico. Church e Turing, mostrarono altresì che lambda calcolo e la macchina di Turing, utilizzata dallo stesso Turing nel problema della fermata, sono equivalnti in capacità, e successivamente dimostrarono una una varietà di "processi di computazione meccanica" alternativi aventi le medesime abilità computazionali. Questo risultato è la tesi di Church-Turing. As there is dispute about who proposed it first, it is also known as Church's Thesis and Turing's Thesis.
Church's other doctoral students included Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, Simon Kochen, Raymond Smullyan, and others (see [1]).
Church remained a professor of mathematics at Princeton until 1967, when he moved to California.
Church's lambda calculus influenced the design of the Lisp family of computer languages as well as functional programming languages in general. The concept of the Church boolean is named in his honor.
See also
- Church-Turing Thesis
- Church-Turing-Deutsch principle
Libri
Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)
Sources and external links
Church, Alonzo