|
#ПЕРЕНАПРАВЛЕННЯ [[Алонзо Чорч]]
'''Алонзо Черч''' ({{Lang-en|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)
{{bio-stub}}
{{DEFAULTSORT:Черч Алонзо}}
[[Категорія:Математики США]]
[[Категорія:Персоналії Че]]
[[bn:আলোন্জো চার্চ]]
[[cs:Alonzo Church]]
[[da:Alonzo Church]]
[[de:Alonzo Church]]
[[en:Alonzo Church]]
[[eo:Alonzo Church]]
[[es:Alonzo Church]]
[[fi:Alonzo Church]]
[[fr:Alonzo Church]]
[[he:אלונזו צ'רץ']]
[[hr:Alonzo Church]]
[[ht:Alonzo Church]]
[[hu:Alonzo Church]]
[[it:Alonzo Church]]
[[ja:アロンゾ・チャーチ]]
[[ko:알론조 처치]]
[[ml:അലോണ്സോ ചര്ച്ച്]]
[[nl:Alonzo Church]]
[[pl:Alonzo Church]]
[[pt:Alonzo Church]]
[[ru:Чёрч, Алонзо]]
[[simple:Alonzo Church]]
[[sk:Alonzo Church]]
[[sl:Alonzo Church]]
[[sr:Алонзо Черч]]
[[sv:Alonzo Church]]
[[th:อลอนโซ เชิร์ช]]
[[tr:Alonzo Church]]
[[zh:阿隆佐·邱奇]]
| 