Повернись живим
Головна
Українська Радянська Енциклопедія
Енциклопедичний словник-довідник з туризму
Юридична енциклопедія - Шемшученко Ю.С.
 
Головна arrow Українська Радянська Енциклопедія arrow черно-член arrow ЧЕРЧ
   

ЧЕРЧ

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