https://camokathomelab.servebeer.com/mediawiki/index.php?action=history&feed=atom&title=%D0%A7%D1%91%D1%80%D1%87%2C_%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE 2026-07-17T19:10:03Z История изменений этой страницы в вики MediaWiki 1.45.3 https://camokathomelab.servebeer.com/mediawiki/index.php?title=%D0%A7%D1%91%D1%80%D1%87,_%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE&diff=49834&oldid=prev 2025-03-14T05:49:21Z

<p><span class="autocomment">Произведения, переведенные на русский язык: </span> уточнение</p> <p><b>Новая страница</b></p><div>{{однофамильцы|Чёрч}}<br /> {{Учёный<br /> | Изображение = Алонзо Чёрч.jpg<br /> | Ширина = 200px<br /> }}<br /> &#039;&#039;&#039;Алонзо Чёрч&#039;&#039;&#039; ({{lang-en|Alonzo Church}}; [[14 июня]] [[1903 год]]а, [[Вашингтон]] — [[11 августа]] [[1995 год]]а, [[Хадсон (Огайо)|Хадсон]], [[Огайо]], [[США]]) — американский [[математик]] и [[логик]], внесший значительный вклад в основы [[Информатика|информатики]].<br /> <br /> == Биография ==<br /> Получил степень бакалавра искусств в [[Принстонский университет|Принстонском университете]] в 1924 году, и докторскую (Ph.D.) в 1927 году под руководством [[Освальд Веблен|Освальда Веблена]] за работу «Alternatives to [[Цермело, Эрнст|Zermelo]]’s Assumption». Два года он был нацисследовательским стипендиатом (National Research Fellow), год провёл в Гарварде, затем — в Геттингене и Амстердаме. С 1929 года ассистент-профессор математики в альма-матер, с 1939 года [[ассоциированный профессор]], с 1947 года профессор математики, с 1961 года профессор математики и философии.<br /> <br /> Чёрч прославился разработкой теории [[Лямбда-исчисление|лямбда-исчислений]], последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование т. н. «неразрешимых задач» ([[теорема Чёрча — Тьюринга]])&lt;ref&gt;{{статья |заглавие=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}}&lt;/ref&gt;. Эта статья предшествовала знаменитому исследованию [[Алан Тьюринг|Алана Тьюринга]] на тему [[Проблема остановки|проблемы остановки]], в котором также было продемонстрировано существование задач, неразрешимых механическими способами. Впоследствии Чёрч и Тьюринг показали, что лямбда-исчисления и [[машина Тьюринга]] имели одинаковые свойства, таким образом доказывая, что различные «механические процессы вычислений» могли иметь одинаковые возможности. Эта работа была оформлена как [[тезис Чёрча — Тьюринга]].<br /> <br /> Помимо прочего, его система лямбда-исчислений легла в основу [[Функциональное программирование|функциональных языков программирования]], в частности семейства [[Лисп]] (например, [[Scheme]]).<br /> <br /> Чёрч оставался профессором в Принстоне до 1967 года, после чего он переехал в Калифорнию, где стал профессором в [[Калифорнийский университет в Лос-Анджелесе|университете в Лос-Анджелесе]] — до 1990 года. В 1992 году переехал в Хадсон, штат Огайо, где дожил свою жизнь.<br /> <br /> Член НАН США (1978) и Американской академии искусств и наук, членкор Британской акад. (1966). Был удостоен почётных степеней альма-матер (1985) и др.<br /> <br /> В 1926 году в Принстоне женился, трое детей.<br /> <br /> == Логика ==<br /> Чёрч исследовал проблемы логической [[семантика|семантики]] и [[математическая логика|математической логики]]. В 1935 году он построил первый пример неразрешимой массовой проблемы, которая состоит в требовании найти алгоритм для решения некоторой серии… «единичных» проблем. Массовая проблема не разрешима, если её решения, то есть требуемого алгоритма, не существует.<br /> <br /> Им также дано доказательство неразрешимости проблемы для узкого [[Логика второго порядка|исчисления предикатов]], то есть доказательство того, что не существует [[алгоритм]]а, который по виду формулы этого исчисления определял бы, выражает эта формула общелогическую истину или нет. В своём «Введении в математическую логику», Чёрч разъяснил своё понимание метода математической логики, определив её первичные понятия. Он подробно изложил исчисление высказываний, или [[логика высказываний|пропозициональное исчисление]], [[Лямбда-исчисление|функциональные исчисления]] первого порядка, чистое функциональное исчисление первого порядка и функциональные исчисления второго порядка. Чёрч дал определение таких категорий как имя, константы и переменные функции, символы, связки, операторы, [[квантор]]ы, [[проблема разрешения]], [[Формальная система|противоречивость и полнота системы аксиом]] и др.<br /> <br /> [[Математическая логика|Математическую логику]] он излагал как логику формальную, предмет которой изучается методом построения формализованных языков. «Обычно [[Формальная логика|логика]] занимается анализом предложений и доказательств; — пишет он,- при этом основное внимание обращается на форму, в отличие от содержания». Поскольку естественные языки на протяжении всей истории развивались под влиянием исторических потребностей лёгкого общения, постольку они не отличаются точностью, что приводит к ошибкам в рассуждениях. Чтобы избежать возможных ошибок, Чёрч предложил использовать для логических целей специально созданный им формализованный язык, в который из обычных языков переносились бы собственные имена. При этом каждое имя должно было иметь точно один смысл, если ставится задача обеспечить однозначность в формализованных языках. [[Суждение]] Чёрч определил следующим образом: «Всякий концепт истинностного значения называется суждением не зависимо от того является ли он смыслом какого-либо предложения».<br /> <br /> == Произведения, переведенные на русский язык ==<br /> * Введение в математическую логику. Том 1. — М.: [[Издательство иностранной литературы]], 1960. Второй том книги автором написан не был и в дальнейшем книга переиздавалась как «Введение в математическую логику».<br /> <br /> == См. также ==<br /> * [[Лямбда-исчисление]]<br /> * [[Тезис Чёрча — Тьюринга]]<br /> * [[Функциональное программирование]]<br /> * [[Теория вычислимости]]<br /> * [[Теория алгоритмов]]<br /> * [[Теорема Чёрча — Россера]]<br /> * [[Теорема Чёрча — Тьюринга]]<br /> * [[Кодирование Чёрча]]<br /> <br /> == Примечания ==<br /> {{примечания}}<br /> <br /> == Литература ==<br /> * {{НФЭ||Чёрч|З. А. Кузичева, А. С. Кузичев|ссылка=https://iphlib.ru/library?el=&amp;a=d&amp;c=newphilenc&amp;d=&amp;rl=1&amp;href=http:%2f%2f3413.html}}<br /> <br /> == Ссылки ==<br /> * [http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Church.html Biography]<br /> <br /> {{Внешние ссылки}}<br /> <br /> [[Категория:Логики США]]<br /> [[Категория:Математики США]]<br /> [[Категория:Математики по алфавиту]]<br /> [[Категория:Математики XX века]]<br /> [[Категория:Учёные в области информатики США]]<br /> [[Категория:Выпускники Принстонского университета]]<br /> [[Категория:Выпускники Математического факультета Принстонского университета]]<br /> [[Категория:Доктора философии]]<br /> [[Категория:Преподаватели Принстонского университета]]<br /> [[Категория:Профессора Принстонского университета]]<br /> [[Категория:Президенты отделений Американской философской ассоциации]]<br /> [[Категория:Члены Национальной академии наук США]]<br /> [[Категория:Члены Американской академии искусств и наук]]<br /> [[Категория:Члены-корреспонденты Британской академии]]<br /> [[Категория:Почётные доктора Принстонского университета]]</div>

imported>Nikolay Kazak