Church, Alonzo

matematico e logico statunitense (Washington 1903-Hudson, Ohio 1995). Professore all'Università di Princeton e direttore di The Journal of Symbolic Logic, nel 1936 ha pubblicato un articolo, An Unsolvable Problem of Elementary Number Theory (Un problema irrisolvibile della teoria elementare dei numeri), nel quale ha affermato la coincidenza della classe delle funzioni ricorsive con la classe delle funzioni effettivamente computabili (tesi o ipotesi di Church), e ha introdotto il calcolo della conversione di lambda (indicato generalmente con λ-conversione). Nello stesso anno ha pubblicato A Note on Entscheidungsproblem (Una nota sul problema della decisione), dove dà una risposta negativa al problema della decisione per la logica del primo ordine. Tra le opere: The Calculi of Lambda-Conversion (1951; I calcoli di lambda-conversione) e Introduction to Mathematical Logic (1956; Introduzione alla logica matematica).