(Church) Алонзо (н. 14.VI 1903, Вашінгтон) — амер. логік і математик. У 1947—57 — професор Прінстонського ун-ту, з 1967 — Каліфорнійського ун-ту (Лос-Анджелес). Осн. наук. праці стосуються матем. логіки, зокрема алгоритмів теорії. Ч. висунув осн. гіпотезу теорії обчислюваних функцій (т. з. тезу Ч.); зробив істотний внесок у розвиток комбінаторної логіки; йому належать дослідження з логічної семантики, модальної логіки тощо.
|
