|
'''Алонзо ЧорчЧерч''' ({{Lang-en|Alonzo Church}}; [[14 червня]] [[1903]], [[Вашингтон]], [[США]] — [[11 серпня]] [[1995]], [[Гадсон]], [[Огайо]], США) — видатний [[США|американський]] [[математик]] і [[логік]]. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики вцілому і мали принципове значення для досліджень з основ математики. Автор [[Теза ЧорчаЧерча|тези ЧорчаЧерча]], [[Теорема ЧорчаЧерча|теореми ЧорчаЧерча]], [[лямбда-оператор|лямбда-оператора]] та похідних понять. Один із творців теорії обчислюваності.
НародивсяАлонзо Черч народився у Вашингтоні[[Вашингтон]]і (Округ Колумбія). Навчався в [[Принстонський університет|Принстонському університеті]], де в [[1924]] році одержав ступінь бакалавра. Там само в [[1927]] під керівництвом Освальда Веблена захистив докторську дисертацію. У [[1929]] році став професором математики в Принстоні, де пропрацював до [[1967]] року. У 1967–1990 роках викладав у Каліфорнійському університеті в Лос-Анжелесі. Помер у [[1995]] році; похований у Принстоні.
== Досягнення ==
* У [[1932]] році з метою мінімізації кількості логічних операторів ввів спеціальний лямбда-оператор або ж оператор абстракції, який дозволяв по будь-якому функціональному виразу побудувати назву відповідної функції. На основі двох логічних операторів: аплікації (застосування функції до аргументааргументу) та абстракції — збудував т. зв. [[Лямбда-числення|лямбда-числення]], яке мало прислужитися для серйозного дослідження основ математики. Від цих планів довелося відмовитися, оскільки [[Клейні Стефен Коул|С. К. Клейні]] довів, що лямбда-числення суперечливе. Подальші розробки теорії оператора лямбда належать [[Каррі Хаскел|Х. Каррі]]. Попри суперечливість, лямбда-числення знайшло практичне застосування, лігшиполягши в основу [[функціональне програмування|функціональних мов програмування]], зокрема родини [[Лісп]] (наприклад, [[Scheme]]).
* У [[1935]] році (опубліковано в наступному 1936 році) Чорч збудував перший приклад нерозв'язної масової проблеми. Цей приклад доводив існування проблем, які в принципі неможливо розв'язати. На основі цього відкриття у 1935-36 роках зусиллями [[Пост Еміль|Е. Поста]], [[Клейні Стефен Коул|С. К. Клейні]], [[Тьюрінг Алан|А. Тьюрінга]] і самого ЧорчаЧерча була збудована теорія обчислюваності (або розв'язності), яка нині посідає помітне місце в корпусі всієї математики. ЧорчуЧерчу належить уточнення поняття обчислюваної функції у вигляді лямбда-означуваної функції.
* Видатним науковим результатом ЧорчаЧерча було опубліковане в [[1936]] році доведення теореми про нерозв'язність першопорядкового числення предикатів. Ця теорема, яка говорить про неможливість механічного обчислення істини, носить назву [[Теорема ЧорчаЧерча|теореми ЧорчаЧерча]].
* Найвідомішим досягненням Алонзо ЧорчаЧерча є т. зв. [[Теза Чорча|теза ЧорчаЧерча]]. В сучасному вигляді вона стверджує, що нечітке інтуїтивне поняття обчислюваної функції збігається з точним логічним поняттям [[Частково-рекурсивна функція|частково-рекурсивної функції]].
== Наукова діяльність ==
|
