Обсуждение:Алонзо Чёрч

This  level-5 vital article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Biography: Science and Academia This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography This article is supported by the science and academia work group. Computer science Top‑importance This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science Top This article has been rated as Top-importance on the project's importance scale. Things you can help WikiProject Computer science with: Here are some tasks awaiting attention: Article requests : Requested articles/Applied arts and sciences/Computer science, computing, and Internet Cleanup : Computer science articles needing attention Computer science articles needing expert attention Copyedit : Computing Expand : Computer science Infobox : Computer science articles without infoboxes Maintain : Timeline of computing 2020–present Photo : Find pictures for the biographies of computer scientists (see List of computer scientists) Computing articles needing images Stubs : Computer science stubs Unreferenced : WikiProject Computer science/Unreferenced BLPs Project-related : Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}} Computing This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing ??? This article has not yet received a rating on the project's importance scale. Philosophy: Philosophers / Logic / Contemporary Mid‑importance This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy Mid This article has been rated as Mid-importance on the project's importance scale. Associated task forces: /  Philosophers Logic Contemporary philosophy Mathematics High‑priority This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics High This article has been rated as High-priority on the project's priority scale.

Цитировать:

«Его открытие лямбда-исчисления».

Правильно ли говорить «открытие»? Talam 14:36, 16 марта 2006 (UTC) [ ответить ]

• JA: Да, это распространенная математическая идиома. Джон Обри 14:40, 16 марта 2006 (UTC) [ ответить ]

• • Некоторые скажут, что «изобретение» более уместно. — SallySprite 22:57, 7 мая 2007 (UTC) [ ответить ]

Это приводит нас к старой проблеме реализма , которая поднимает вопрос: «Всегда ли лямбда-исчисление имело реальность во внешнем мире и было ли оно представлено нашему вниманию только недавно трудами Чёрча?» Согласно математическим реалистам, лямбда-исчисление всегда существовало в мире отдельно от человеческого мозга. Мозг Чёрча открыл его, и, следовательно, оно стало частью ( идеальных , субъективных) внутренних операций многих человеческих мозгов. Короче говоря, является ли оно реальным/объективным/внешним или идеальным/субъективным/внутренним? Lestrade ( talk ) 03:30, 28 января 2008 (UTC)lestrade [ reply ]

Не хочу прерывать демонстрацию претенциозности или чего-то в этом роде, но лямбда-исчисление было разработано как нотация для обсуждения математических объектов (в частности, функций). Если здесь и есть проблема реализма, то это довольно неправдоподобный реализм относительно формальных языков, а не традиционная форма реализма относительно математических объектов. 145.18.22.149 (обсуждение) 15:31, 16 февраля 2009 (UTC) [ ответить ]

Введение упоминает теорему Чёрча-Россера (слияние лямбда-исчисления) среди его главных достижений, но не упоминает теорему Чёрча (неразрешимость предикатной логики); в основном тексте ситуация противоположная. Я бы сказал, что Введение должно быть приведено в соответствие с основным текстом в этом отношении. Предикатная логика — это _lingua franca_ символической логики, тогда как лямбда-исчисление — хотя оно и не является неважным — является всего лишь одной из многих одинаково известных теоретических моделей вычислений. Nastor ( talk ) 14:10, 22 мая 2009 (UTC) [ ответить ]

Корректно ли, что теорема Чёрча связана с Entscheidungsproblem, поскольку теорема Чёрча касается неразрешимости Entscheidungsproblem? Заслуживает ли теорема Чёрча отдельной статьи? Froskoy ( talk ) 08:21, 5 февраля 2013 (UTC) [ ответить ]

Проблема Entscheidungsproblem не является неразрешимой (это неправильное слово), она неразрешима.

Я это исправил. — Предыдущий неподписанный комментарий добавлен ThePinkGerbil ( обсуждение • вклад ) 17:40, 22 июня 2020 (UTC)[ отвечать ]

Алонзо и его дядя, возможно, были названы в честь небольшого городка в Кентукки, в Америке. — Предыдущий неподписанный комментарий добавлен 86.160.51.140 ( обсуждение ) 09:18, 28 мая 2015 (UTC) [ ответить ]

Какие есть основания полагать, что *связанный* Дэвид Берлински был учеником Чёрча? 81.135.40.150 (обсуждение) 13:55, 25 апреля 2017 (UTC) [ ответить ]

Они оба учились в Принстонском университете в одно и то же время, и я не думаю, что есть другие известные люди с таким именем. Partofthemachine ( talk ) 02:45, 12 ноября 2022 (UTC) [ ответить ]

Здравствуйте, уважаемые википедисты!

Я только что изменил 3 внешние ссылки на Alonzo Church . Пожалуйста, уделите немного времени, чтобы просмотреть мои правки. Если у вас есть вопросы или вам нужно, чтобы бот игнорировал ссылки или страницу в целом, посетите этот простой раздел FaQ для получения дополнительной информации. Я внес следующие изменения:

• Добавлен архив https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf в http://www.math.ucla.edu/~hbe/church.pdf
• Добавлен архив https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf в http://www.math.ucla.edu/~hbe/church.pdf
• Добавлен архив https://web.archive.org/web/20150310024937/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm в https://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm

Закончив просмотр моих изменений, вы можете следовать инструкциям в шаблоне ниже, чтобы исправить любые проблемы с URL-адресами.

Это сообщение было опубликовано до февраля 2018 года . После февраля 2018 года разделы страниц обсуждения "Внешние ссылки изменены" больше не генерируются и не отслеживаются InternetArchiveBot . Никаких специальных действий в отношении этих уведомлений страниц обсуждения не требуется, кроме регулярной проверки с использованием инструкций инструмента архивации ниже. Редакторы имеют право удалять эти разделы страниц обсуждения "Внешние ссылки изменены", если они хотят очистить страницы обсуждения от загромождения, но перед выполнением массовых систематических удалений ознакомьтесь с RfC . Это сообщение динамически обновляется через шаблон (последнее обновление: 5 июня 2024 г.) .{{source check}}

• Если вы обнаружили URL-адреса, которые бот ошибочно посчитал неработающими, вы можете сообщить о них с помощью этого инструмента.
• Если вы обнаружили ошибку в архивах или самих URL-адресах, вы можете исправить их с помощью этого инструмента.

Привет.— InternetArchiveBot ( Сообщить об ошибке ) 17:47, 2 июля 2017 (UTC) [ ответить ]

Здравствуйте, уважаемые википедисты!

Я только что изменил 2 внешние ссылки на Alonzo Church . Пожалуйста, уделите немного времени, чтобы просмотреть мои правки . Если у вас есть какие-либо вопросы или вам нужно, чтобы бот игнорировал ссылки или страницу в целом, посетите этот простой раздел FaQ для получения дополнительной информации. Я внес следующие изменения:

• Добавлен архив https://web.archive.org/web/20160207011946/http://www.princeton.edu/main/about/facts/honorary/ на https://www.princeton.edu/main/about/facts/honorary/
• Добавлен архив https://web.archive.org/web/20150310080250/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm в https://www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm

Закончив просмотр моих изменений, вы можете следовать инструкциям в шаблоне ниже, чтобы исправить любые проблемы с URL-адресами.

Это сообщение было опубликовано до февраля 2018 года . После февраля 2018 года разделы страниц обсуждения "Внешние ссылки изменены" больше не генерируются и не отслеживаются InternetArchiveBot . Никаких специальных действий в отношении этих уведомлений страниц обсуждения не требуется, кроме регулярной проверки с использованием инструкций инструмента архивации ниже. Редакторы имеют право удалять эти разделы страниц обсуждения "Внешние ссылки изменены", если они хотят очистить страницы обсуждения от загромождения, но перед выполнением массовых систематических удалений ознакомьтесь с RfC . Это сообщение динамически обновляется через шаблон (последнее обновление: 5 июня 2024 г.) .{{source check}}

• Если вы обнаружили URL-адреса, которые бот ошибочно посчитал неработающими, вы можете сообщить о них с помощью этого инструмента.
• Если вы обнаружили ошибку в архивах или самих URL-адресах, вы можете исправить их с помощью этого инструмента.

Привет.— InternetArchiveBot ( Сообщить об ошибке ) 11:02, 5 декабря 2017 (UTC) [ ответить ]

Есть ссылка: «см. например, Church 1970», но кто знает, что это такое!? Упоминаются пять его работ:

Алонзо Чёрч, Введение в математическую логику (ISBN 978-0-691-02906-1)[15]

Алонзо Чёрч, Исчисления лямбда-преобразования (ISBN 978-0-691-08394-0)[16]

Алонзо Чёрч, Библиография символической логики, 1666–1935 (ISBN 978-0-8218-0084-3)

Интервью Алонзо Чёрча, проведённое Уильямом Эспреем 17 мая 1984 г. «Математическое сообщество Принстона в 1930-х годах: проект устной истории», стенограмма номер 5.

Чёрч, А. (1950). «Об анализе Карнапом утверждений и убеждений». Журнал символической логики. 10 (5): 97–99. doi:10.2307/3326684. JSTOR 3326684.

и ни один из них не был опубликован в 1970 году. ThePinkGerbil ( обсуждение ) 17:43, 22 июня 2020 (UTC) [ ответить ]

Стоит отметить, что, за исключением статей, которые были первоначально опубликованы в Encyclopedia Britannica , в содержании следующих статей не указано ни одной опубликованной работы за 1970 год:

• Тайлер Бердж и Герберт Эндертон (редакторы), Собрание сочинений Алонзо Чёрча (2019) (ISBN 978-0-262-02564-5)

В сноске на странице 692 «Собрания сочинений» эти статьи описываются следующим образом [жирный шрифт и курсив соответствуют оригиналу]:

Первоначально опубликовано в Encyclopedia Britannica с 1956 по 1972 год с периодическими изменениями. Статьи Concrete и Mathematical Induction были добавлены в 1967 году. Текст здесь соответствует версии 1972 года. © 1972, Encyclopedia Britannica, Inc. Перепечатано с разрешения Encyclopedia Britannica , 14-е издание.

Основываясь только на диапазоне дат, я предполагаю, что одна из этих статей могла бы быть кандидатом на таинственную ссылку для утверждения, что Чёрч "также работал над философией языка (см., например, Чёрч 1970)". Названия статей следующие:

• «АКСИОМА»
• «КАТЕГОРИЧЕСКИЙ»
• «КОНКРЕТ (В ФИЛОСОФИИ)»
• «КОННОТАЦИЯ»
• «ПРЕОБРАЗОВАНИЕ (В ЛОГИКЕ И МАТЕМАТИКЕ)»
• "ОПРЕДЕЛЕНИЕ"
• «ОБОЗНАЧЕНИЕ»
• «ДИЛЕММА»
• «ЛОГИКА»
• «МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ»
• «ИМЯ (В ЛОГИКЕ)»
• "ПОСТУЛАТ"
• «ПРЕДЛОЖЕНИЕ»
• "СОРИТЫ"
• «ТАВТОЛОГИЯ»
• "СРОК"
• «МЫСЛЬ, ЗАКОНЫ»

Из них "CONNOTATION" и "DEFINITION" (возможно, и другие) обсуждают естественный язык, но я не знаю, можно ли их квалифицировать как "работу по философии языка". Может быть, эксперт мог бы взглянуть и прокомментировать?

Asalewski ( обсуждение ) 22:24, 24 мая 2023 (UTC) [ ответить ]

Имя Алонзо и даты — не очень удачная подпись для главной фотографии, она не дает контекста. Может ли кто-нибудь найти дату, когда она была сделана? Должно быть что-то вроде «Церковь в 1963 году», например. CoyotesKenning ( обсуждение ) 23:34, 18 мая 2023 (UTC) [ ответить ]

Перенаправление Alozno Church было внесено в список перенаправлений для обсуждения , чтобы определить, соответствует ли его использование и функционирование правилам перенаправления . Читатели этой страницы могут комментировать это перенаправление в Wikipedia:Redirects for discussion/Log/2024 4 февраля § Alozno Church до тех пор, пока не будет достигнут консенсус. Bearcat ( обсуждение ) 19:07, 4 февраля 2024 (UTC) [ ответить ]