Алонзо Черч , американский математик и логик (ум. 1995 г.)
Алонзо Черч (14 июня 1903 г. - 11 августа 1995 г.) был американским математиком и логиком, внесшим большой вклад в математическую логику и основы теоретической информатики. Он наиболее известен лямбда-исчислением, тезисом Черча-Тьюринга, доказывающим неразрешимость проблемы Entscheidungsproblem, онтологией Фреге-Черча и теоремой Черча-Россера. Он также работал над философией языка (см., например, Church 1970). Наряду с Аланом Тьюрингом Черч считается одним из основателей информатики.