Алонзо Черч: відмінності між версіями

'''Алонзо Черч''' (''Алонзо Чорч'') ({{Lang-en|Alonzo Church}}; *[[14 червня]] [[1903]], [[Вашингтон]], [[США]] — †[[11 серпня]] [[1995]], [[Гадсон]], [[Огайо]], США) — видатний [[США|американський]] [[математик]] і [[логік]]. Здійснив ряд фундаментальних відкриттів у [[Символічна логіка|символічній логіці]] та [[Теорія обчислюваності|теорії обчислюваності]], які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики в цілому і мали принципове значення для досліджень з основ математики. Автор [[Теза Черча|тези Черча]], [[Теорема Черча|теореми Черча]], [[Лямбда-числення|лямбда-оператороператора]]а та похідних понять. Один із творців теорії обчислюваності.

Алонзо Черч народився у [[Вашингтон]]і (Округ Колумбія). Навчався в [[Принстонський університет|Принстонському університеті]], де в [[1924]] році здобув ступінь бакалавра. Там само в [[1927]] під керівництвом Освальда Веблена захистив докторську дисертацію. У [[1929]] році став професором математики в Принстоні, де пропрацював до [[1967]] року. У 1967–19901967—1990 роках викладав у Каліфорнійському університеті в Лос-Анжелесі. Помер у [[1995]] році; похований у Принстоні.