Алонза Чорч

З пляцоўкі Вікіпедыя
Jump to navigation Jump to search
Алонза Чорч
англ.: Alonzo Church
Дата нараджэння 14 чэрвеня 1903(1903-06-14)[1][2][…]
Месца нараджэння
Дата смерці 11 жніўня 1995(1995-08-11)[1][2][…] (92 гады)
Месца смерці
Месца пахавання
Грамадзянства
Род дзейнасці матэматык, філосаф, выкладчык універсітэта, спецыяліст у галіне інфарматыкі
Навуковая сфера Матэматычная логіка, тэарэтычная інфарматыка[d], матэматыка і логіка
Месца працы
Навуковая ступень доктар філасофіі (1927)
  • Doctor of Science[d][4] (1969)
  • Doctor of Science[d][4] (1985)
  • Doctor of Science[d][4] (1985)
  • Альма-матар
    Навуковы кіраўнік Oswald Veblen[d][5]
    Вядомыя вучні Leon Henkin[d] і Алан Матысан Цьюрынг
    Член у

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

    Біяграфія[правіць | правіць зыходнік]

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

    Навуковая дзейнасць[правіць | правіць зыходнік]

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

    Гл. таксама[правіць | правіць зыходнік]

    Зноскі

    1. 1,0 1,1 data.bnf.fr: платформа адкрытых дадзеных — 2011. Праверана 10 кастрычніка 2015.
    2. 2,0 2,1 MacTutor History of Mathematics archive Праверана 22 жніўня 2017.
    3. 3,0 3,1 Alonzo Church // SNAC — 2010. Праверана 9 кастрычніка 2017.
    4. 4,0 4,1 4,2 4,3 4,4 4,5 4,6 4,7 4,8 Wikipedia — 2001. Праверана 12 жніўня 2019.
    5. Mathematics Genealogy Project — 1997. Праверана 8 жніўня 2016.
    6. NNDB — 2002.