Alonzo Church
Church, amerikansk matematiker og logiker. Alonzo Church var 1947-67 professor i matematik og 1961-67 tillige i filosofi ved Princeton, derefter ved University of California, Los Angeles. Alonzo Church beviste i 1936, at prædikatslogikken er uafgørlig, og samme år