Alonzo Church

Alonzo Church (Washington, 14 giugno 1903 – Hudson, 11 agosto 1995) è stato un matematico e logico statunitense che fu in parte responsabile della fondazione dell'informatica (o computer science).

Biografia

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.

Personaggio estremamente pedante i suoi studenti dicevano di lui: "Se Church dice che è ovvio, tutti se ne sono accorti almeno un'ora prima", era anche affetto da mania compulsiva, prima di ogni lezione puliva la lavagna col sapone impiegando anche 1 ora di tempo (i suoi studenti arrivarono a pulirla prima della lezione per evitare le perdite di tempo), e le sue lezioni erano una lettura parola per parola delle dispense da lui scritte e conservate in biblioteca, nel caso si fosse sentito in dovere di trasgredire ed uscire dal seminato, avvertiva prima i suoi studenti.

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, sebbene i risultati sono gli stessi la soluzione di Turing ha il grosso vantaggio di essere diretta al punto ed estremamente più semplice.

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.

Voci correlate

• Tesi di Church-Turing
• Principio Church-Turing-Deutsch

Libri

Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)

Altri progetti

• Wikiquote

• Wikiquote contiene citazioni di o su Alonzo Church

Collegamenti esterni

• (EN) Biografia in MacTutor
• (EN) Alonzo Church su Mathematics Genealogy Project
• H B Enderton, In memoriam: Alonzo Church

Portale Biografie

Portale Matematica