Алонзо Черч
| Алонзо Черч | |
| Alonzo Church | |
| Алонзо Черч (1903–1995) | |
| Народився | 14 червня 1903 Вашингтон, США |
|---|---|
| Помер | 11 серпня 1995 (92 роки) Гадсон, Огайо, США |
| Громадянство |  США |
| Галузь наукових інтересів | математика, логіка |
| Заклад | Принстонський університет, Каліфорнійський університет в Лос-Анжелесі |
| Alma mater | Принстонський університет |
| Відомі учні | Стівен Коул Кліні Алан Тюрінг |
| Відомий завдяки: | Лямбда-числення Теза Черча |
Алонзо Черч (Алонзо Чорч) (англ. Alonzo Church; *14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон, Огайо, США) — видатний американський математик і логік. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики вцілому і мали принципове значення для досліджень з основ математики. Автор тези Черча, теореми Черча, лямбда-оператора та похідних понять. Один із творців теорії обчислюваності.
Зміст |
Біографія [ред.]
Алонзо Черч народився у Вашингтоні (Округ Колумбія). Навчався в Принстонському університеті, де в 1924 році одержав ступінь бакалавра. Там само в 1927 під керівництвом Освальда Веблена захистив докторську дисертацію. У 1929 році став професором математики в Принстоні, де пропрацював до 1967 року. У 1967—1990 роках викладав у Каліфорнійському університеті в Лос-Анжелесі. Помер у 1995 році; похований у Принстоні.
Досягнення [ред.]
- У 1932 році з метою мінімізації кількості логічних операторів ввів спеціальний лямбда-оператор або ж оператор абстракції, який дозволяв по будь-якому функціональному виразу побудувати назву відповідної функції. На основі двох логічних операторів: аплікації (застосування функції до аргументу) та абстракції — збудував т. зв. лямбда-числення, яке мало прислужитися для серйозного дослідження основ математики. Від цих планів довелося відмовитися, оскільки Стівен Коул Кліні довів, що лямбда-числення суперечливе. Подальші розробки теорії оператора лямбда належать Хаскеллу Каррі. Попри суперечливість, лямбда-числення знайшло практичне застосування, полягши в основу функціональних мов програмування, зокрема родини Лісп (наприклад, Scheme).
- У 1935 році (опубліковано в наступному 1936 році) Черч збудував перший приклад нерозв'язної масової проблеми. Цей приклад доводив існування проблем, які в принципі неможливо розв'язати. На основі цього відкриття у 1935-36 роках зусиллями Еміля Поста, Стівен Коул Кліні, Алана Тюрінга і самого Черча була збудована теорія обчислюваності (або розв'язності), яка нині посідає помітне місце в корпусі всієї математики. Черчу належить уточнення поняття обчислюваної функції у вигляді лямбда-означуваної функції.
- Видатним науковим результатом Черча було опубліковане в 1936 році доведення теореми про нерозв'язність першопорядкового числення предикатів. Ця теорема, яка говорить про неможливість механічного обчислення істини, носить назву теореми Черча.
- Найвідомішим досягненням Алонзо Черча є т. зв. теза Черча. В сучасному вигляді вона стверджує, що нечітке інтуїтивне поняття обчислюваної функції збігається з точним логічним поняттям частково-рекурсивної функції.
Наукова діяльність [ред.]
Заснував «Журнал із символічної логіки» (Journal of Symbolic Logic), редагуванням в якому займався до 1979 року.
Праці [ред.]
- Alonzo Church, Introduction to Mathematical Logic, Vol. 1, 1956. (ISBN 0-691-02906-7)
