Рождение и образование
Алонзо Черч родился 14 июня 1903 года в Вашингтоне, округ Колумбия, в семье судьи Сэмюэла Роббинса Черча и Милдред Ханны Леттерман Паркер. В детстве перенёс травму глаза, что не помешало ему проявить выдающиеся способности к математике. После окончания школы в Риджфилде, штат Коннектикут, в 1920 году поступил в Принстонский университет, где изучал математику. В 1924 году получил степень бакалавра, а в 1927 – докторскую степень под руководством Освальда Веблена. В 1926 году женился на медсестре Мэри Юлии Кучински, с которой воспитал троих детей. В 1927–1929 годах проходил стажировку в Гарварде, Гёттингене и Амстердаме, где изучал логику и теорию множеств. Эти годы заложили основу его будущих исследований в области формальной логики и вычислимости.
Научная карьера и открытия
С 1929 по 1967 год Черч преподавал математику и философию в Принстонском университете, затем до 1990 года – в Калифорнийском университете в Лос-Анджелесе. В 1930-х годах разработал лямбда-исчисление – формальную систему, описывающую вычисления с помощью функций, ставшую основой функционального программирования. В 1936 году доказал неразрешимость проблемы принятия решений (Entscheidungsproblem), сформулировав теорему Черча. В том же году совместно с Аланом Тьюрингом сформулировал тезис Черча–Тьюринга, определяющий границы вычислимости. Его работы легли в основу теоретической информатики и оказали влияние на развитие алгоритмов, языков программирования и логики. Он также внёс вклад в интенсиональную семантику, теорию типов и философию языка, разработав онтологию Фреге–Черча.
Публикации и преподавание
Черч был основателем и редактором журнала Journal of Symbolic Logic, где с 1936 по 1979 год курировал раздел рецензий. В 1941 году опубликовал труд «The Calculi of Lambda-Conversion», систематизировавший его лекции по лямбда-исчислению. В 1956 году вышла его книга «Introduction to Mathematical Logic», ставшая классическим учебником по математической логике. Он подготовил 31 доктора наук, среди которых – Стивен Клини, Джон Кемени, Майкл Рабин, Дж. Баркли Россер, Дана Скотт, Рэймонд Смалльян и Алан Тьюринг. Его ученики продолжили развитие логики, теории алгоритмов и информатики. Черч был избран членом Национальной академии наук США, Британской академии и Американской академии искусств и наук. Он получил почётные степени от Принстона, Университета Буффало и Case Western Reserve.
Смерть и наследие
Алонзо Черч скончался 11 августа 1995 года в Хадсоне, штат Огайо, в возрасте 92 лет. Похоронен на кладбище Принстона. Его имя связано с фундаментальными понятиями в логике и информатике: лямбда-исчислением, тезисом Черча–Тьюринга, теоремой Черча и онтологией Фреге–Черча. Его идеи легли в основу языков программирования, включая Lisp и Haskell, а также повлияли на развитие искусственного интеллекта и теории вычислений. В 2015 году была учреждена премия имени Алонзо Черча за выдающийся вклад в логику и вычисления. Его труды продолжают изучаться в университетах и научных центрах, а влияние ощущается в философии, математике и компьютерных науках. Черч остаётся одной из ключевых фигур XX века в области формализации мышления и теоретических основ вычислений.
