Templom, Alonzo

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2020. május 28-án felülvizsgált verziótól ; az ellenőrzések 19 szerkesztést igényelnek .
Alonzo templom
angol  Alonzo templom
Születési dátum 1903. június 14.( 1903-06-14 ) [1] [2] [3]
Születési hely
Halál dátuma 1995. augusztus 11.( 1995-08-11 ) [1] [2] [3] […] (92 éves)
A halál helye
Ország
Tudományos szféra matematikai logika , elméleti számítástechnika , matematika és logika
Munkavégzés helye
alma Mater
Akadémiai fokozat PhD ( 1927 )
tudományos tanácsadója Oswald Veblen [6]
Wikiforrás logó A Wikiforrásnál dolgozik

Alonzo Church ( Eng.  Alonzo Church ; 1903. június 14., Washington -  1995. augusztus 11., Hudson , Ohio , USA ) amerikai matematikus és logikus , aki jelentős mértékben hozzájárult a számítástechnika megalapozásához .

Életrajz

Bachelor of Arts fokozatát a Princeton Egyetemen szerezte 1924-ben, Ph.D. fokozatát pedig 1927-ben Oswald Veblen vezetésével , az Alternatives to Zermelo 's Assumption címmel. Két évig volt National Research Fellow, egy évet a Harvardon, majd Göttingenben és Amszterdamban töltött. 1929-től a matematika adjunktusa az Alma Materben, 1939-től egyetemi docens , 1947-től a matematika professzora, 1961-től a matematika és filozófia professzora.

Church híressé vált a lambda kalkulus elméletének kidolgozásával , amely 1936-ban követte híres dolgozatát, amelyben bemutatta az ún. "megoldhatatlan problémák" ( Church-Turing tétel ) [7] . Ez a tanulmány megelőzte Alan Turing híres, a megállási problémáról szóló tanulmányát , amely a mechanikusan megoldhatatlan problémák létezését is bemutatta. Ezt követően Church és Turing kimutatta, hogy a lambda-számítás és a Turing-gép ugyanazokkal a tulajdonságokkal rendelkezik, bizonyítva ezzel, hogy a különböző "mechanikai számítási folyamatok" azonos képességekkel rendelkezhetnek. Ezt a munkát Church-Turing-tézisként fogalmazták meg .

Többek között az ő lambda-számítási rendszere képezte a funkcionális programozási nyelvek , különösen a Lisp család alapját (például Scheme ).

Church 1967-ig a Princeton professzora maradt, majd Kaliforniába költözött, ahol  1990-ig a Los Angeles-i Egyetem professzora lett. 1992-ben az ohiói Hudsonba költözött, ahol leélte életét.

Az Amerikai Egyesült Államok Nemzeti Tudományos Akadémiájának (1978) és az Amerikai Művészeti és Tudományos Akadémiának tagja, a Brit akadémia levelező tagja. (1966). Tiszteletbeli oklevelet kapott az Alma Matertől (1985) és másoktól.

1926-ban házasodott meg Princetonban, három gyermek.

Logika

Church a logikai szemantika és a matematikai logika problémáit vizsgálta . 1935-ben megalkotta a megoldhatatlan tömegprobléma első példáját, amely abból áll, hogy algoritmust kell találni néhány ... "egyetlen" feladatsor megoldására. Egy tömegprobléma nem megoldható, ha nem létezik megoldása, vagyis a szükséges algoritmus."

Bizonyítékot is adott a probléma megoldhatatlanságára szűk predikátumszámításra , vagyis arra, hogy nincs olyan algoritmus , amely e kalkulus képletének alakja alapján meghatározná, hogy ez a formula általános logikai igazságot fejez-e ki, ill. nem. Church a Bevezetés a matematikai logikába című könyvében tisztázta a matematikai logika módszerének megértését azáltal, hogy meghatározta annak elsődleges fogalmait. Részletesen ismertette a propozíciószámítást vagy propozíciószámítást , az elsőrendű funkcionális kalkulust , az elsőrendű tiszta funkcionális kalkulust és a másodrendű funkcionális kalkulust. Church olyan kategóriákat definiált, mint név, konstansok és változók, függvények, szimbólumok, konnektívek, operátorok, kvantorok , felbontási probléma , az axiómarendszer következetlensége és teljessége stb.

A matematikai logikát formális logikaként mutatta be, melynek tárgyát a formalizált nyelvek konstruálásának módszere vizsgálja. „Általában a logika állítások és bizonyítások elemzésével foglalkozik; írja: „a hangsúly a formán van, a tartalommal szemben”. Mivel a természetes nyelvek a történelem során a könnyű kommunikáció történelmi szükségleteinek hatására fejlődtek ki, nem különböztetik meg őket a pontosság, ami érvelési hibákhoz vezet. Az esetleges hibák elkerülése érdekében Church egy speciálisan általa létrehozott formalizált nyelv használatát javasolta logikai célokra, amelybe a tulajdonneveket a közönséges nyelvekből ültetnék át. Ráadásul minden névnek pontosan egy jelentéssel kellett rendelkeznie, ha a formalizált nyelvekben az egyértelműség biztosítása volt a feladat. Church a propozíciót a következőképpen határozta meg: "Az igazságérték minden fogalmát propozíciónak nevezzük, függetlenül attól, hogy az bármely mondat jelentése vagy sem."

Orosz nyelvre fordított művek

Lásd még

Jegyzetek

  1. ↑ 1 2 3 4 5 6 MacTutor Matematikatörténeti archívum
  2. ↑ 1 2 Alonzo templom // Brockhaus Encyclopedia  (német) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  3. ↑ 1 2 Alonzo Church // az Internet Philosophy Ontology Project 
  4. ↑ Bevezetés Alonzo Church: Élet és munka
  5. ↑ 1 2 3 4 5 6 Angol Wikipédia közösség Wikipédia  (angol) - 2001.
  6. ↑ Matematikai genealógia  (angol) - 1997.
  7. ↑ Templom, Alonzo. Az elemi számelmélet megoldhatatlan problémája  (angol)  // American Journal of Mathematics  : folyóirat. - 1936. - 1. évf. 58 , sz. 58 . - P. 345-363 . - doi : 10.2307/2371045 . — .

Irodalom

Linkek

  Ugrás a Wikidata elemre  Tematikus oldalak
Szótárak és enciklopédiák
Genealógia és nekropolisz