Алонза Чорч

Алонза Чорч (Alonzo Church; 14 чэрвеня 1903, горад Вашынгтон, ЗША — 11 жніўня 1995) — амерыканскі логік і матэматык.

Алонза Чорч
англ.: Alonzo Church
Дата нараджэння	14 чэрвеня 1903(1903-06-14)[1][2][…]
Месца нараджэння	Вашынгтон, акруга Калумбія[d], ЗША
Дата смерці	11 жніўня 1995(1995-08-11)[1][2][…] (92 гады)
Месца смерці	Hudson[d], Саміт[d], Агая, ЗША[3]
Месца пахавання	Прынстанскія могілкі[d][4]
Грамадзянства	ЗША
Род дзейнасці	матэматык, філосаф, выкладчык універсітэта, спецыяліст у галіне інфарматыкі
Навуковая сфера	матэматычная логіка, тэарэтычная інфарматыка, матэматыка і логіка
Месца працы	Прынстанскі ўніверсітэт Каліфарнійскі ўніверсітэт у Лос-Анджэлесе
Навуковая ступень	доктар філасофіі (1927)
Альма-матар	Гарвардскі ўніверсітэт (1928)[5] Прынстанскі ўніверсітэт (1927)[5] Гётынгенскі ўніверсітэт (1928)[5] Амстэрдамскі ўніверсітэт (1929)[5]
Навуковы кіраўнік	Oswald Veblen[d][6]
Член у	Амерыканская акадэмія мастацтваў і навук Амерыканская асацыяцыя садзейнічання развіццю навукі[7] Нацыянальная акадэмія навук ЗША
Творы ў Вікікрыніцах

У Вікіпедыі ёсць артыкулы пра іншых людзей з прозвішчам Чорч.

Біяграфія

З 1936 рэдактар часопіса «The journal of symbolic logic» («Часопіс сімвалічнай логікі»). 3 1939 прафесар Прынстанскага, з 1967 Каліфарнійскага ўніверсітэтаў.

Навуковая дзейнасць

У 1935 абгрунтаваў палажэнне і невырашальнасць «масавай праблемы» ў выпадку, калі не існуе (або не можжа быць) алгарытму для вырашэння ўсіх адзінкавых праблем, якія ўваходзяць у яе склад. Развіў ідэю аб аддзяленні паняцця функцыі ад паняцця мноства, у 1936 прапанаваў асноўныя гіпотэзы тэорыі вылічальнаых функцый (т.зв. тэзіс Чорча), паводле якой кожная эфектыўна вылічальная функцыя з'яўляецца агульнарэкурсіўнай (вызначанай для ўсіх натуральных значэнняў аргумента). У працы «Уводзіны ў матэматычную логіку» (т. 1, 1956) абгрунтаваў метады матэматычнай логікі вызначыў яе першасныя паняцці, сфармуляваў правілы лагічнага аперыравання (злічэння) з выказваннямі простымі (гл. логіка выказванняў) і раздзеленымі на суб'ект і прэдыкат (гл. логіка прэдыкатаў). Вызначыў такія катэгорыі, як канстанты і пераменныя функцыі, сімвалы, аператары, квантары, несупярэчлівасць і паўната сістэмы аксіём і інш., прапанаваў для лагічных мэт ужываць спецыяльна створаную фармалізаваную мову. Яго даследаванні паўплывалі на развіццё матэматычнай, камбінаторнай і мадальнай логікі, тэорыі алгарытмаў, семантыкі лагічнай.

Гл. таксама

• Лямбда-вылічэнне
• Тэзіс Чорча — Цьюрынга
• Функцыянальнае праграмаванне
• Тэорыя вылічальнасці
• Тэорыя алгарытмаў

Зноскі

1. MacTutor History of Mathematics archive — 1994. Праверана 22 жніўня 2017.

   <a href='https://wikidata.org/wiki/Track:Q547473'></a>
2. Alonzo Church // Brockhaus Enzyklopädie

   <a href='https://wikidata.org/wiki/Track:Q237227'></a>
3. Introduction Alonzo Church: Life and Work
4. http://nassauchurch.org/about/princetoncemetery/interment-records/
5. MacTutor History of Mathematics archive — 1994.

   <a href='https://wikidata.org/wiki/Track:Q547473'></a>
6. Матэматычная генеалогія — 1997. Праверана 8 жніўня 2016.

   <a href='https://wikidata.org/wiki/Track:Q829984'></a>
7. NNDB — 2002.

   <a href='https://wikidata.org/wiki/Track:Q1373513'></a>