Алонзо Черч: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Escuela (обговорення | внесок) |
м виправлення посилання за допомогою AWB |
||
Рядок 24:
| особиста_сторінка =
}}
'''Алонзо Черч''' (''Алонзо Чорч'') ({{Lang-en|Alonzo Church}}; *[[14 червня]] [[1903]], [[Вашингтон]], [[США]] — †[[11 серпня]] [[1995]], [[Гадсон]], [[Огайо]], США) — видатний [[
== Біографія ==
Рядок 31:
== Досягнення ==
* У [[1932]] році з метою мінімізації кількості логічних операторів ввів спеціальний лямбда-оператор або ж оператор абстракції, який дозволяв по будь-якому функціональному виразу побудувати назву відповідної функції. На основі двох логічних операторів: аплікації (застосування функції до аргументу) та абстракції — збудував т. зв. [[лямбда-числення]], яке мало прислужитися для серйозного дослідження основ математики. Від цих планів довелося відмовитися, оскільки [[Стівен Коул Кліні]] довів, що лямбда-числення суперечливе. Подальші розробки теорії оператора лямбда належать [[Хаскелл Каррі|Хаскеллу Каррі]]. Попри суперечливість, лямбда-числення знайшло практичне застосування, полягши в основу [[функціональне програмування|функціональних мов програмування]], зокрема родини [[Лісп]] (наприклад, [[Scheme]]).
* У [[1935]] році (опубліковано в наступному 1936 році) Черч збудував перший приклад нерозв'язної масової проблеми. Цей приклад доводив існування проблем, які в принципі неможливо розв'язати. На основі цього відкриття у 1935-36 роках зусиллями [[Еміль Пост|Еміля Поста]], [[Стівен Коул Кліні]], [[Алан Тюрінг|Алана Тюрінга]] і самого Черча була збудована теорія обчислюваності (або розв'язності), яка нині посідає помітне місце в корпусі всієї математики. Черчу належить уточнення поняття обчислюваної функції у вигляді лямбда-означуваної функції.
* Видатним науковим результатом Черча було опубліковане в [[1936]] році доведення теореми про нерозв'язність першопорядкового числення предикатів. Ця теорема, яка говорить про неможливість механічного обчислення істини, носить назву [[Теорема Черча|теореми Черча]].
* Найвідомішим досягненням Алонзо Черча є т. зв. [[теза Черча]]. В сучасному вигляді вона стверджує, що нечітке інтуїтивне поняття обчислюваної функції збігається з точним логічним поняттям [[Частково-рекурсивна функція|частково-рекурсивної функції]].
Рядок 44 ⟶ 41:
* {{книга|автор=Чёрч А.|назва=Введение в математическую логику|оригінал=Introduction to Mathematical Logic|рік=1960|видавництво=ИЛ|місто={{Comment|М.|Москва}}|сторінок=486}}
{{бібліоінформація}}
{{logic-stub}}▼
{{DEFAULTSORT:Черч Алонзо}}
[[Категорія:Математики США]]
[[Категорія:Випускники Принстонського університету]]
▲{{logic-stub}}
| |||