Church

Church

Church Alonzo (Washington 1903 - Hudson, Ohio, 1995) logico statunitense. Insegnò a Princeton (1961-67) e all’università della California di Los Angeles (1967-90). Fondamentali alcuni suoi contributi alla logica matematica risalenti agli anni Trenta: l’invenzione del λ-calcolo, un formalismo per rappresentare funzioni (→ lambda-calcolo); la formulazione della cosiddetta tesi di Church, secondo cui le funzioni effettivamente computabili di numeri naturali sono quelle definibili nel λ-calcolo o, in modo equivalente, quelle ricorsive generali (→ Church, tesi di); la dimostrazione dell’indecidibilità dell’aritmetica elementare e della logica dei predicati del primo ordine. In seguito Church si dedicò alla costruzione di una logica del senso e della denotazione, nell’intento di esplicitare e sistematizzare le intuizioni di G. Frege relative al senso (Sinn) e alla denotazione (Bedeutung). Oltre a svariati articoli e a numerose recensioni, ricche di osservazioni originali e acute, Church pubblicò The calculi of lambda-conversion (I calcoli di λ-conversione, 1941) e Introduction to mathematical logic (Introduzione alla logica matematica, 1956).