Alonzo Church
Alonzo Church (14. juuni 1903 – 11. august 1995) oli Ameerika Ühendriikide matemaatik ja loogik, kes andis olulise panuse matemaatilise loogika arengusse ja teoreetilise informaatika alustesse. Teda tuntakse eeskätt lambda-arvutuse, Churchi-Turingi teesi, Entscheidungsproblemi mittelahenduvuse tõestamise, Frege-Churchi ontoloogia ja Churchi-Rosseri teoreemi järgi. Ta on ka töötanud keelefilosoofia teemadel.