Alonzo Church
Da Wikipedia, l'enciclopedia libera.
Alonzo Church (14 giugno, 1903 – 11 agosto, 1995) fu un matematico americano ed un logico che fu in parte responsabile della fondazione dell'informatica (o computer science). Nato a Washington, ricevette un bachelor's degree all'Università di Princeton nel 1924 ed un Ph.D. nel 1927. Il suo relatore fu Oswald Veblen. Divenne professore di matematica a Princeton nel 1929.
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 risultato precedette il famoso lavoro di Alan Turing sul problema della fermata (o halting problem) che inoltre mostra l'esistenza di un problema irrisolvibile mediante un procedimento meccanico. Church e Turing, mostrarono altresì che il lambda calcolo e la macchina di Turing, utilizzata dallo stesso Turing nel problema della fermata, sono equivalenti in capacità, e successivamente dimostrarono una varietà di "processi di computazione meccanica" alternativi aventi le medesime abilità computazionali. Questo risultato è la tesi di Church-Turing. Data la disputa su chi la propose per primo, è anche conosciuta come Tesi di Church e Tesi di Turing.
Tra gli altri studenti di dottorato di Church figurano Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, Simon Kochen, Raymond Smullyan, e altri (si veda [1]).
Church rimase professore di matematica a Princeton fino al 1967, quando si trasferì in California.
Il lambda calcolo di Church influenzò la creazione del Lisp e la famiglia dei linguaggi per computer conosciuti in generale come linguaggi di programmazione funzionale. Il concetto di booleano di Church è così chiamato in suo onore.
[modifica] Voci correlate
- Tesi di Church-Turing
- Principio Church-Turing-Deutsch
[modifica] Libri
Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)
