Church [čə:ɹč], Alonzo, američki matematičar i logičar (Washington, 14. V. 1903 – Hudson, 11. VIII. 1995). Profesor matematike i logike na sveučilištima Princeton i California (Los Angeles). Polazeći od intuicionističke kritike logike i matematike, iznio tezu (Churchova teza) da se svaka, u intuitivnom smislu izračunljiva funkcija (određenog tipa), može izračunati i u smislu navedenih teorija (matematika konstruktibilnoga). Glavna djela: Račun lambda-konverzije (The Calculi of Lambda-Conversion, 1941), Elementarna istraživanja u matematičkoj logici (Elementary Topics in Mathematical Logic, 1942), Uvod u matematičku logiku (Introduction to Mathematical Logic, 1956).
