Чёрч, Алонзо
Алонзо Чёрч | |
---|---|
англ. Alonzo Church | |
![]() | |
Дата рождения | 14 июня 1903[1][2][…] |
Место рождения | |
Дата смерти | 11 августа 1995[1][2][…] (92 года) |
Место смерти | |
Страна | |
Род деятельности | математик, философ, преподаватель университета, специалист в области информатики |
Научная сфера | математическая логика, теоретическая информатика, математика и логика |
Место работы | |
Альма-матер | |
Учёная степень | доктор философии (1927) |
Научный руководитель | Освальд Веблен[5] |
![]() |
Алонзо Чёрч (
Биография
Получил степень бакалавра искусств в
Чёрч прославился разработкой теории
Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп (например, Scheme).
Чёрч оставался профессором в Принстоне до 1967 года, после чего он переехал в Калифорнию, где стал профессором в университете в Лос-Анджелесе — до 1990 года. В 1992 году переехал в Хадсон, штат Огайо, где дожил свою жизнь.
Член НАН США (1978) и Американской академии искусств и наук, членкор Британской акад. (1966). Был удостоен почётных степеней альма-матер (1985) и др.
В 1926 году в Принстоне женился, трое детей.
Логика
Чёрч исследовал проблемы логической семантики и математической логики. В 1935 году он построил первый пример неразрешимой массовой проблемы, которая состоит в требовании найти алгоритм для решения некоторой серии… «единичных» проблем. Массовая проблема не разрешима, если её решения, то есть требуемого алгоритма, не существует.
Им также дано доказательство неразрешимости проблемы для узкого исчисления предикатов, то есть доказательство того, что не существует алгоритма, который по виду формулы этого исчисления определял бы, выражает эта формула общелогическую истину или нет. В своём «Введении в математическую логику», Чёрч разъяснил своё понимание метода математической логики, определив её первичные понятия. Он подробно изложил исчисление высказываний, или пропозициональное исчисление, функциональные исчисления первого порядка, чистое функциональное исчисление первого порядка и функциональные исчисления второго порядка. Чёрч дал определение таких категорий как имя, константы и переменные функции, символы, связки, операторы, кванторы, проблема разрешения, противоречивость и полнота системы аксиом и др.
Математическую логику он излагал как логику формальную, предмет которой изучается методом построения формализованных языков. «Обычно логика занимается анализом предложений и доказательств; — пишет он,- при этом основное внимание обращается на форму, в отличие от содержания». Поскольку естественные языки на протяжении всей истории развивались под влиянием исторических потребностей лёгкого общения, постольку они не отличаются точностью, что приводит к ошибкам в рассуждениях. Чтобы избежать возможных ошибок, Чёрч предложил использовать для логических целей специально созданный им формализованный язык, в который из обычных языков переносились бы собственные имена. При этом каждое имя должно было иметь точно один смысл, если ставится задача обеспечить однозначность в формализованных языках. Суждение Чёрч определил следующим образом: «Всякий концепт истинностного значения называется суждением не зависимо от того является ли он смыслом какого-либо предложения».
Произведения, переведенные на русский язык
- Введение в математическую логику. Том 1. — М.: Издательство иностранной литературы, 1960.
- Второй том данной книги так и не был издан в СССР/РФ никогда.
См. также
- Лямбда-исчисление
- Тезис Чёрча — Тьюринга
- Функциональное программирование
- Теория вычислимости
- Теория алгоритмов
- Теорема Чёрча — Россера
- Теорема Чёрча — Тьюринга
- Кодирование Чёрча
Примечания
- ↑ 1 2 3 4 5 6 Архив по истории математики Мактьютор — 1994.
- ↑ 1 2 Alonzo Church // Brockhaus Enzyklopädie (нем.)
- ↑ Introduction Alonzo Church: Life and Work
- ↑ 1 2 3 4 5 6 English Wikipedia community Wikipedia (англ.) — 2001.
- ↑ Mathematics Genealogy Project (англ.) — 1997.
- doi:10.2307/2371045. —.
Литература
- З. А. Кузичева, А. С. Кузичев. Чёрч // Мысль, 2010. — 2816 с.
Ссылки
- Родившиеся 14 июня
- Родившиеся в 1903 году
- Родившиеся в Вашингтоне
- Умершие 11 августа
- Умершие в 1995 году
- Умершие в Хадсоне (Огайо)
- Преподаватели Принстонского университета
- Преподаватели Калифорнийского университета в Лос-Анджелесе
- Выпускники Гарвардского университета
- Выпускники Принстонского университета
- Выпускники Гёттингенского университета
- Выпускники Амстердамского университета
- Персоналии по алфавиту
- Учёные по алфавиту
- Логики США
- Математики США
- Математики по алфавиту
- Математики XX века
- Учёные в области информатики США
- Выпускники Математического факультета Принстонского университета
- Доктора философии
- Профессора Принстонского университета
- Президенты отделений Американской философской ассоциации
- Члены Национальной академии наук США
- Члены Американской академии искусств и наук
- Члены-корреспонденты Британской академии
- Почётные доктора Принстонского университета