Чёрч, Алонзо: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Интерактивная навигация по истории
(Показать все непатрулированные изменения)
[отпатрулированная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Нет описания правки
(не показано 15 промежуточных версий 6 участников)
Строка 1: Строка 1:
{{Учёный
{{Учёный
| Имя =
| Оригинал имени = {{lang-en|Alonzo Church}}
| Изображение = Алонзо Чёрч.jpg
| Изображение = Алонзо Чёрч.jpg
| Ширина = 200px
| Ширина = 200px
| Описание изображения =
| Гражданство = {{флагификация|США}}
| Научная сфера = [[математика]], [[логика]]
| Место работы = [[Принстонский университет]]
| Альма-матер = [[Принстонский университет]]
| Научный руководитель = [[Освальд Веблен]]
| Знаменитые ученики = [[Хенкин, Леон|Леон Хенкин]]
| Известен как =
| Награды и премии =
| Сайт =
}}{{однофамильцы|Чёрч}}
}}{{однофамильцы|Чёрч}}
'''Алонзо Чёрч''' ({{lang-en|Alonzo Church}}; [[14 июня]] [[1903 год]]а, [[Вашингтон]] — [[11 августа]] [[1995 год]]а, [[Хадсон (Огайо)|Хадсон]], [[Огайо]], [[США]]) — американский [[математик]] и [[логик]], внесший значительный вклад в основы [[Информатика|информатики]].
'''Алонзо Чёрч''' ({{lang-en|Alonzo Church}}; [[14 июня]] [[1903 год]]а, [[Вашингтон]] — [[11 августа]] [[1995 год]]а, [[Хадсон (Огайо)|Хадсон]], [[Огайо]], [[США]]) — американский [[математик]] и [[логик]], внесший значительный вклад в основы [[Информатика|информатики]].


== Биография ==
Получил степень бакалавра искусств в [[Принстонский университет|Принстонском университете]] в 1924 году, и докторскую (Ph.D.) в 1927 году под руководством [[Освальд Веблен|Освальда Веблена]] за работу «Alternatives to Zermelo’s Assumption». Два года он был нацисследовательским стипендиатом (National Research Fellow), год провёл в Гарварде, затем — в Геттингене и Амстердаме. С 1929 года ассистент-профессор математики в альма-матер, с 1939 года {{comment|доцент|ассоциированный профессор}}, с 1947 года профессор математики, с 1961 года профессор математики и философии.
Получил степень бакалавра искусств в [[Принстонский университет|Принстонском университете]] в 1924 году, и докторскую (Ph.D.) в 1927 году под руководством [[Освальд Веблен|Освальда Веблена]] за работу «Alternatives to Zermelo’s Assumption». Два года он был нацисследовательским стипендиатом (National Research Fellow), год провёл в Гарварде, затем — в Геттингене и Амстердаме. С 1929 года ассистент-профессор математики в альма-матер, с 1939 года [[ассоциированный профессор]], с 1947 года профессор математики, с 1961 года профессор математики и философии.


Чёрч прославился разработкой теории [[Лямбда-исчисление|лямбда-исчислений]], последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач» ([[теорема Чёрча — Тьюринга]])<ref>{{статья |заглавие=An Unsolvable Problem of Elementary Number Theory |издание=[[American Journal of Mathematics]] |номер=58 |страницы=345—363 |jstor=2371045 |том=58 |doi=10.2307/2371045 |язык=en |автор=Church, Alonzo |год=1936 |тип=journal}}</ref>. Эта статья предшествовала знаменитому исследованию [[Алан Тьюринг|Алана Тьюринга]] на тему [[Проблема остановки|проблемы остановки]], в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и [[машина Тьюринга]] имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как [[тезис Чёрча — Тьюринга]].
Чёрч прославился разработкой теории [[Лямбда-исчисление|лямбда-исчислений]], последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач» ([[теорема Чёрча — Тьюринга]])<ref>{{статья |заглавие=An Unsolvable Problem of Elementary Number Theory |издание=[[American Journal of Mathematics]] |номер=58 |страницы=345—363 |jstor=2371045 |том=58 |doi=10.2307/2371045 |язык=en |автор=Church, Alonzo |год=1936 |тип=journal}}</ref>. Эта статья предшествовала знаменитому исследованию [[Алан Тьюринг|Алана Тьюринга]] на тему [[Проблема остановки|проблемы остановки]], в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и [[машина Тьюринга]] имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как [[тезис Чёрча — Тьюринга]].
Строка 29: Строка 18:
В 1926 году в Принстоне женился, трое детей.
В 1926 году в Принстоне женился, трое детей.


== Логика ==
⚫
; Произведения, переведенные на русский язык
Чёрч исследовал проблемы логической [[семантика|семантики]] и [[математическая логика|математической логики]]. В 1935 году он построил первый пример неразрешимой массовой проблемы, которая состоит в требовании найти алгоритм для решения некоторой серии… «единичных» проблем. Массовая проблема не разрешима, если её решения, то есть требуемого алгоритма, не существует".
⚫
* Введение в математическую логику. М., Издательство иностранной литературы, 1960.

Им также дано доказательство неразрешимости проблемы для узкого [[Логика второго порядка|исчисления предикатов]], то есть доказательство того, что не существует [[алгоритм]]а, который по виду формулы этого исчисления определял бы, выражает эта формула общелогическую истину или нет. В своём «Введении в математическую логику», Чёрч разъяснил своё понимание метода математической логики, определив её первичные понятия. Он подробно изложил исчисление высказываний, или [[логика высказываний|пропозициональное исчисление]], [[Лямбда-исчисление|функциональные исчисления]] первого порядка, чистое функциональное исчисление первого порядка и функциональные исчисления второго порядка. Чёрч дал определение таких категорий как имя, константы и переменные функции, символы, связки, операторы, [[квантор]]ы, [[проблема разрешения]], [[Формальная система|противоречивость и полнота системы аксиом]] и др.

[[Математическая логика|Математическую логику]] он излагал как логику формальную, предмет которой изучается методом построения формализованных языков. «Обычно [[Формальная логика|логика]] занимается анализом предложений и доказательств; — пишет он,- при этом основное внимание обращается на форму, в отличие от содержания». Поскольку естественные языки на протяжении всей истории развивались под влиянием исторических потребностей лёгкого общения, постольку они не отличаются точностью, что приводит к ошибкам в рассуждениях. Чтобы избежать возможных ошибок, Чёрч предложил использовать для логических целей специально созданный им формализованный язык, в который из обычных языков переносились бы собственные имена. При этом каждое имя должно было иметь точно один смысл, если ставится задача обеспечить однозначность в формализованных языках. [[Суждение]] Чёрч определил следующим образом: «Всякий концепт истинностного значения называется суждением не зависимо от того является ли он смыслом какого-либо предложения».

⚫
== Произведения, переведенные на русский язык ==
⚫
* Введение в математическую логику. Том 1. — М.: [[Издательство иностранной литературы]], 1960.
* Второй том данной книги так и не был издан в СССР/РФ никогда.


== См. также ==
== См. также ==
Строка 38: Строка 35:
* [[Теория вычислимости]]
* [[Теория вычислимости]]
* [[Теория алгоритмов]]
* [[Теория алгоритмов]]
* [[Теорема Чёрча — Россера]]
* [[Теорема Чёрча — Тьюринга]]
* [[Теорема Чёрча — Тьюринга]]
* [[Кодирование Чёрча]]
* [[Кодирование Чёрча]]
Строка 51: Строка 49:
[[Категория:Логики США]]
[[Категория:Логики США]]
[[Категория:Математики США]]
[[Категория:Математики США]]
[[Категория:Персоналии по алфавиту]]
[[Категория:Математики по алфавиту]]
[[Категория:Математики по алфавиту]]
[[Категория:Математики XX века]]
[[Категория:Математики XX века]]

Версия от 21:57, 17 апреля 2021

Алонзо Чёрч
англ. Alonzo Church
Дата рождения 14 июня 1903(1903-06-14)[1][2][…]
Место рождения
Дата смерти 11 августа 1995(1995-08-11)[1][2][…] (92 года)
Место смерти
Страна
Род деятельности математик, философ, преподаватель университета, специалист в области информатики
Научная сфера математическая логика, теоретическая информатика, математика и логика
Место работы
Альма-матер
Учёная степень доктор философии (1927)
Научный руководитель Освальд Веблен[5]
Логотип Викитеки Произведения в Викитеке
В Википедии есть статьи о других людях с фамилией Чёрч.

Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.

Биография

Получил степень бакалавра искусств в Принстонском университете в 1924 году, и докторскую (Ph.D.) в 1927 году под руководством Освальда Веблена за работу «Alternatives to Zermelo’s Assumption». Два года он был нацисследовательским стипендиатом (National Research Fellow), год провёл в Гарварде, затем — в Геттингене и Амстердаме. С 1929 года ассистент-профессор математики в альма-матер, с 1939 года ассоциированный профессор, с 1947 года профессор математики, с 1961 года профессор математики и философии.

Чёрч прославился разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач» (теорема Чёрча — Тьюринга)[6]. Эта статья предшествовала знаменитому исследованию Алана Тьюринга на тему проблемы остановки, в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и машина Тьюринга имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как тезис Чёрча — Тьюринга.

Помимо прочего, его система лямбда-исчислений легла в основу функциональных языков программирования, в частности семейства Лисп (например, Scheme).

Чёрч оставался профессором в Принстоне до 1967 года, после чего он переехал в Калифорнию, где стал профессором в университете в Лос-Анджелесе — до 1990 года. В 1992 году переехал в Хадсон, штат Огайо, где дожил свою жизнь.

Член НАН США (1978) и Американской академии искусств и наук, членкор Британской акад. (1966). Был удостоен почётных степеней альма-матер (1985) и др.

В 1926 году в Принстоне женился, трое детей.

Логика

Чёрч исследовал проблемы логической семантики и математической логики. В 1935 году он построил первый пример неразрешимой массовой проблемы, которая состоит в требовании найти алгоритм для решения некоторой серии… «единичных» проблем. Массовая проблема не разрешима, если её решения, то есть требуемого алгоритма, не существует".

Им также дано доказательство неразрешимости проблемы для узкого исчисления предикатов, то есть доказательство того, что не существует алгоритма, который по виду формулы этого исчисления определял бы, выражает эта формула общелогическую истину или нет. В своём «Введении в математическую логику», Чёрч разъяснил своё понимание метода математической логики, определив её первичные понятия. Он подробно изложил исчисление высказываний, или пропозициональное исчисление, функциональные исчисления первого порядка, чистое функциональное исчисление первого порядка и функциональные исчисления второго порядка. Чёрч дал определение таких категорий как имя, константы и переменные функции, символы, связки, операторы, кванторы, проблема разрешения, противоречивость и полнота системы аксиом и др.

Математическую логику он излагал как логику формальную, предмет которой изучается методом построения формализованных языков. «Обычно логика занимается анализом предложений и доказательств; — пишет он,- при этом основное внимание обращается на форму, в отличие от содержания». Поскольку естественные языки на протяжении всей истории развивались под влиянием исторических потребностей лёгкого общения, постольку они не отличаются точностью, что приводит к ошибкам в рассуждениях. Чтобы избежать возможных ошибок, Чёрч предложил использовать для логических целей специально созданный им формализованный язык, в который из обычных языков переносились бы собственные имена. При этом каждое имя должно было иметь точно один смысл, если ставится задача обеспечить однозначность в формализованных языках. Суждение Чёрч определил следующим образом: «Всякий концепт истинностного значения называется суждением не зависимо от того является ли он смыслом какого-либо предложения».

Произведения, переведенные на русский язык

См. также

Примечания

  1. ↑ 1 2 3 4 5 6 Архив по истории математики Мактьютор — 1994.
  2. ↑ 1 2 Alonzo Church // Brockhaus Enzyklopädie (нем.)
  3. ↑ Introduction Alonzo Church: Life and Work
  4. ↑ 1 2 3 4 5 6 English Wikipedia community Wikipedia (англ.) — 2001.
  5. ↑ Mathematics Genealogy Project (англ.) — 1997.
  6. ↑ Church, Alonzo. An Unsolvable Problem of Elementary Number Theory (англ.) // American Journal of Mathematics : journal. — 1936. — Vol. 58, no. 58. — P. 345—363. — doi:10.2307/2371045. — JSTOR 2371045.

Ссылки

Источник — https://ru.wikipedia.org/w/index.php?title=Чёрч,_Алонзо&oldid=113664282