Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Алонзо Черч (Алонзо Чорч) (англ. Alonzo Church; *14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон (Огайо), США) — видатний американський математик і логік. Здійснив ряд фундаментальних відкриттів у символічній логіці та теорії обчислюваності, які вплинули на розвиток логіки, внесли суттєві зміни в архітектуру математики в цілому і мали принципове значення для досліджень з основ математики. Автор тези Черча, , лямбда-оператора та похідних понять. Один із творців теорії обчислюваності.
| Алонзо Черч | |
|---|---|
| Alonzo Church | |
| Народився | 14 червня 1903[1][2][…] Вашингтон, США |
| Помер | 11 серпня 1995[1][2][…] (92 роки) Гадсон, Самміт, Огайо, США[4] |
| Поховання | d[5][6] |
| Країна |  США |
| Діяльність | математик, філософ, викладач університету, інформатик |
| Alma mater | Принстонський університет |
| Галузь | математика, логіка |
| Заклад | Принстонський університет, Каліфорнійський університет у Лос-Анджелесі |
| Науковий ступінь | доктор філософії (1927) |
| Науковий керівник | Освальд Веблен[7] |
| Відомі учні | Стівен Коул Кліні Алан Тюрінг |
| Аспіранти, докторанти | d[8] d[8] d[8] Мартін Девіс[9] d[8] Джон Кемені[8] Стівен Коул Кліні[8] Міхаель Рабін[8] d[8] d[8] d Дана Скотт[8] Смалліан Реймонд[8] Алан Тюрінг[8] d[10] d[11] d[12] d[13] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] d[8] |
| Членство | Американська академія мистецтв і наук AAAS[14] Національна академія наук США |
| Відомий завдяки: | Лямбда-числення Теза Черча |
 Роботи у Вікіджерелах | |
Біографія
Алонзо Черч народився 14 червня 1903 році у Вашингтоні (Округ Колумбія), де його батько, Черч Семюель Роббінс, був суддею міського суду округу Колумбія. Пізніше сім'я переїхала до Вірджинії після того, як його батько втратив цю посаду через проблемии з очима. За допомогою свого дядька, якого також називають Черчом Алонзосом, він відвідував приватну школу Риджфілд для хлопчиків у Риджфілді, штат Коннектикут. Після закінчення Риджфілд в 1920 році, Черч навчався у Принстонському університеті, де був винятковим учнем та 1924 році здобув ступінь бакалавра. Він опублікував свою першу статтю про перетворення Лоренца і закінчив своє навчання у 1924 році. Після цього Алонзо Черч вступив до аспірантури Прінстонського університету для написання дисертації. Там само в 1927 під керівництвом Освальда Веблена захистив докторську дисертацію. У 1929 році став професором математики в Принстоні, де пропрацював до 1967 року. У 1967—1990 роках викладав у Каліфорнійському університеті в Лос-Анжелесі. Помер у 1995 році; похований у Принстоні.
Досягнення
- У 1932 році з метою мінімізації кількості логічних операторів ввів спеціальний лямбда-оператор або ж оператор абстракції, який дозволяв по будь-якому функціональному виразу побудувати назву відповідної функції. На основі двох логічних операторів: аплікації (застосування функції до аргументу) та абстракції — збудував т. зв. лямбда-числення, яке мало прислужитися для серйозного дослідження основ математики. Від цих планів довелося відмовитися, оскільки Стівен Коул Кліні довів, що лямбда-числення суперечливе. Подальші розробки теорії оператора лямбда належать Хаскеллу Каррі. Попри суперечливість, лямбда-числення знайшло практичне застосування, полягши в основу функціональних мов програмування, зокрема родини Лісп (наприклад, Scheme).
- У 1935 році (опубліковано в наступному 1936 році) Черч збудував перший приклад нерозв'язної масової проблеми. Цей приклад доводив існування проблем, які в принципі неможливо розв'язати. На основі цього відкриття у 1935-36 роках зусиллями Еміля Поста, Стівен Коул Кліні, Алана Тюрінга і самого Черча була збудована теорія обчислюваності (або розв'язності), яка нині посідає помітне місце в корпусі всієї математики. Черчу належить уточнення поняття обчислюваної функції у вигляді лямбда-означуваної функції.
- Видатним науковим результатом Черча було опубліковане в 1936 році доведення теореми про нерозв'язність першопорядкового числення предикатів. Ця теорема, яка говорить про неможливість механічного обчислення істини, носить назву .
- Найвідомішим досягненням Алонзо Черча є т. зв. теза Черча. В сучасному вигляді вона стверджує, що нечітке інтуїтивне поняття обчислюваної функції збігається з точним логічним поняттям .
Наукова діяльність
Заснував «Журнал із символічної логіки» (Journal of Symbolic Logic), редагуванням в якому займався до 1979 року.
Праці
- Чёрч А. Введение в математическую логику = Introduction to Mathematical Logic. — М. : ИЛ, 1960. — 486 с.
Примітки
- Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.
- Архів історії математики Мактьютор — 1994.
- SNAC — 2010.
- Find a Grave — 1996.
- http://nassauchurch.org/about/princetoncemetery/interment-records/
- Математичний генеалогічний проєкт — 1997.
- Математичний генеалогічний проєкт — 1997.
- MGP
- Математичний генеалогічний проєкт — 1997.
- Математичний генеалогічний проєкт — 1997.
- Математичний генеалогічний проєкт — 1997.
- Математичний генеалогічний проєкт — 1997.
- NNDB — 2002.
 | Це незавершена стаття з логіки. Ви можете проєкту, виправивши або дописавши її. |
 | Це незавершена стаття про математика. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Alonzo Cherch Alonzo Chorch angl Alonzo Church 14 chervnya 1903 Vashington SShA 11 serpnya 1995 Gadson Ogajo SShA vidatnij amerikanskij matematik i logik Zdijsniv ryad fundamentalnih vidkrittiv u simvolichnij logici ta teoriyi obchislyuvanosti yaki vplinuli na rozvitok logiki vnesli suttyevi zmini v arhitekturu matematiki v cilomu i mali principove znachennya dlya doslidzhen z osnov matematiki Avtor tezi Chercha lyambda operatora ta pohidnih ponyat Odin iz tvorciv teoriyi obchislyuvanosti Alonzo CherchAlonzo ChurchNarodivsya14 chervnya 1903 1903 06 14 1 2 Vashington SShAPomer11 serpnya 1995 1995 08 11 1 2 92 roki Gadson Sammit Ogajo SShA 4 Pohovannyad 5 6 Krayina SShADiyalnistmatematik filosof vikladach universitetu informatikAlma materPrinstonskij universitetGaluzmatematika logikaZakladPrinstonskij universitet Kalifornijskij universitet u Los AndzhelesiNaukovij stupindoktor filosofiyi 1927 Naukovij kerivnikOsvald Veblen 7 Vidomi uchniStiven Koul Klini Alan TyuringAspiranti doktorantid 8 d 8 d 8 Martin Devis 9 d 8 Dzhon Kemeni 8 Stiven Koul Klini 8 Mihael Rabin 8 d 8 d 8 d Dana Skott 8 Smallian Rejmond 8 Alan Tyuring 8 d 10 d 11 d 12 d 13 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 d 8 ChlenstvoAmerikanska akademiya mistectv i nauk AAAS 14 Nacionalna akademiya nauk SShAVidomij zavdyaki Lyambda chislennya Teza CherchaRoboti u VikidzherelahBiografiyaAlonzo Cherch narodivsya 14 chervnya 1903 roci u Vashingtoni Okrug Kolumbiya de jogo batko Cherch Semyuel Robbins buv suddeyu miskogo sudu okrugu Kolumbiya Piznishe sim ya pereyihala do Virdzhiniyi pislya togo yak jogo batko vtrativ cyu posadu cherez problemii z ochima Za dopomogoyu svogo dyadka yakogo takozh nazivayut Cherchom Alonzosom vin vidviduvav privatnu shkolu Ridzhfild dlya hlopchikiv u Ridzhfildi shtat Konnektikut Pislya zakinchennya Ridzhfild v 1920 roci Cherch navchavsya u Prinstonskomu universiteti de buv vinyatkovim uchnem ta 1924 roci zdobuv stupin bakalavra Vin opublikuvav svoyu pershu stattyu pro peretvorennya Lorenca i zakinchiv svoye navchannya u 1924 roci Pislya cogo Alonzo Cherch vstupiv do aspiranturi Prinstonskogo universitetu dlya napisannya disertaciyi Tam samo v 1927 pid kerivnictvom Osvalda Veblena zahistiv doktorsku disertaciyu U 1929 roci stav profesorom matematiki v Prinstoni de propracyuvav do 1967 roku U 1967 1990 rokah vikladav u Kalifornijskomu universiteti v Los Anzhelesi Pomer u 1995 roci pohovanij u Prinstoni DosyagnennyaU 1932 roci z metoyu minimizaciyi kilkosti logichnih operatoriv vviv specialnij lyambda operator abo zh operator abstrakciyi yakij dozvolyav po bud yakomu funkcionalnomu virazu pobuduvati nazvu vidpovidnoyi funkciyi Na osnovi dvoh logichnih operatoriv aplikaciyi zastosuvannya funkciyi do argumentu ta abstrakciyi zbuduvav t zv lyambda chislennya yake malo prisluzhitisya dlya serjoznogo doslidzhennya osnov matematiki Vid cih planiv dovelosya vidmovitisya oskilki Stiven Koul Klini doviv sho lyambda chislennya superechlive Podalshi rozrobki teoriyi operatora lyambda nalezhat Haskellu Karri Popri superechlivist lyambda chislennya znajshlo praktichne zastosuvannya polyagshi v osnovu funkcionalnih mov programuvannya zokrema rodini Lisp napriklad Scheme U 1935 roci opublikovano v nastupnomu 1936 roci Cherch zbuduvav pershij priklad nerozv yaznoyi masovoyi problemi Cej priklad dovodiv isnuvannya problem yaki v principi nemozhlivo rozv yazati Na osnovi cogo vidkrittya u 1935 36 rokah zusillyami Emilya Posta Stiven Koul Klini Alana Tyuringa i samogo Chercha bula zbudovana teoriya obchislyuvanosti abo rozv yaznosti yaka nini posidaye pomitne misce v korpusi vsiyeyi matematiki Cherchu nalezhit utochnennya ponyattya obchislyuvanoyi funkciyi u viglyadi lyambda oznachuvanoyi funkciyi Vidatnim naukovim rezultatom Chercha bulo opublikovane v 1936 roci dovedennya teoremi pro nerozv yaznist pershoporyadkovogo chislennya predikativ Cya teorema yaka govorit pro nemozhlivist mehanichnogo obchislennya istini nosit nazvu Najvidomishim dosyagnennyam Alonzo Chercha ye t zv teza Chercha V suchasnomu viglyadi vona stverdzhuye sho nechitke intuyitivne ponyattya obchislyuvanoyi funkciyi zbigayetsya z tochnim logichnim ponyattyam Naukova diyalnistZasnuvav Zhurnal iz simvolichnoyi logiki Journal of Symbolic Logic redaguvannyam v yakomu zajmavsya do 1979 roku PraciChyorch A Vvedenie v matematicheskuyu logiku Introduction to Mathematical Logic M IL 1960 486 s PrimitkiBibliotheque nationale de France BNF platforma vidkritih danih 2011 d Track Q19938912d Track Q54837d Track Q193563 Arhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 SNAC 2010 d Track Q29861311 Find a Grave 1996 d Track Q63056 http nassauchurch org about princetoncemetery interment records Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 MGP d Track Q444948 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 NNDB 2002 d Track Q1373513 Ce nezavershena stattya z logiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Ce nezavershena stattya pro matematika Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi