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

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