Kyrka, Alonzo

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 28 maj 2020; kontroller kräver 19 redigeringar .
Alonzo kyrka
engelsk  Alonzo kyrka
Födelsedatum 14 juni 1903( 1903-06-14 ) [1] [2] [3]
Födelseort
Dödsdatum 11 augusti 1995( 1995-08-11 ) [1] [2] [3] […] (92 år)
En plats för döden
Land
Vetenskaplig sfär matematisk logik , teoretisk datavetenskap , matematik och logik
Arbetsplats
Alma mater
Akademisk examen PhD ( 1927 )
vetenskaplig rådgivare Oswald Veblen [6]
Wikisources logotyp Jobbar på Wikisource

Alonzo Church ( eng.  Alonzo Church ; 14 juni 1903 , Washington  - 11 augusti 1995 , Hudson , Ohio , USA ) var en amerikansk matematiker och logiker som gjorde ett betydande bidrag till grunderna för datavetenskap .

Biografi

Han fick sin Bachelor of Arts från Princeton University 1924 och sin doktorsexamen 1927 under Oswald Veblen för alternativ till Zermelos antagande. Han var National Research Fellow i två år, tillbringade ett år vid Harvard, sedan i Göttingen och Amsterdam. Sedan 1929, biträdande professor i matematik vid Alma Mater, sedan 1939 docent , sedan 1947 professor i matematik, sedan 1961 professor i matematik och filosofi.

Church blev känd för att utveckla teorin om lambdakalkyl , som följde hans berömda artikel 1936, där han visade förekomsten av den så kallade. "olösliga problem" ( Church-Turing theorem ) [7] . Denna artikel föregick Alan Turings berömda studie av stoppproblemet , som också visade att det fanns mekaniskt olösliga problem. Därefter visade Church och Turing att lambdakalkylen och Turingmaskinen hade samma egenskaper, vilket bevisade att olika "mekaniska beräkningsprocesser" kunde ha samma kapacitet. Detta arbete inramades som Church-Turing-avhandlingen .

Bland annat utgjorde hans system för lambda-kalkyl basen för funktionella programmeringsspråk , i synnerhet Lisp- familjen (till exempel Scheme ).

Church förblev professor vid Princeton fram till 1967, varefter han flyttade till Kalifornien, där han blev professor vid University of Los Angeles  fram till 1990. 1992 flyttade han till Hudson, Ohio, där han levde ut sitt liv.

Medlem av US National Academy of Sciences (1978) och American Academy of Arts and Sciences, motsvarande medlem av British Acad. (1966). Han tilldelades hedersbetygelser från Alma Mater (1985) och andra.

Gift 1926 i Princeton, tre barn.

Logik

Kyrkan utforskade problem i logisk semantik och matematisk logik . 1935 byggde han det första exemplet på ett olösligt massproblem, som består i kravet att hitta en algoritm för att lösa någon serie av ... "enkla" problem. Ett massproblem är inte lösbart om dess lösning, det vill säga den nödvändiga algoritmen, inte existerar."

Han gav också ett bevis på problemets olösbarhet för en smal predikatkalkyl , det vill säga ett bevis på att det inte finns någon algoritm som, med formen av formeln för denna kalkyl, skulle avgöra om denna formel uttrycker en allmän logisk sanning eller inte. I sin introduktion till matematisk logik klargjorde Church sin förståelse av metoden för matematisk logik genom att definiera dess primära begrepp. Han detaljerade propositionskalkylen, eller propositionskalkylen , den första ordningens funktionskalkyl , den rena funktionskalkylen av första ordningen och den andra ordningens funktionella kalkyl. Kyrkan definierade sådana kategorier som namn, konstanter och variabler, funktioner, symboler, kopplingar, operatorer, kvantifierare , upplösningsproblem , inkonsekvens och fullständighet av axiomsystemet , etc.

Han presenterade matematisk logik som formell logik, vars ämne studeras genom metoden att konstruera formaliserade språk. ”Vanligtvis handlar logik om analys av påståenden och bevis; han skriver, "fokus ligger på form, i motsats till innehåll." Eftersom naturliga språk genom historien har utvecklats under påverkan av de historiska behoven av enkel kommunikation, kännetecknas de inte av noggrannhet, vilket leder till fel i resonemang. För att undvika eventuella misstag föreslog Church att man för logiska syften skulle använda ett formaliserat språk speciellt skapat av honom, till vilket egennamn skulle överföras från vanliga språk. Dessutom måste varje namn ha exakt en betydelse om uppgiften var att säkerställa entydighet i formaliserade språk. Kyrkan definierade påståendet enligt följande: "Varje begrepp om ett sanningsvärde kallas ett påstående, oavsett om det är meningen med någon mening eller inte."

Verk översatta till ryska

Se även

Anteckningar

  1. 1 2 3 4 5 6 MacTutor History of Mathematics Archive
  2. 1 2 Alonzo Church // Brockhaus Encyclopedia  (tyska) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  3. 1 2 Alonzo Church // Internet Philosophy Ontology Project 
  4. Inledning Alonzo Church: Liv och arbete
  5. 1 2 3 4 5 6 Engelska Wikipedia-gemenskapen Wikipedia  (engelska) - 2001.
  6. Mathematical Genealogy  (engelska) - 1997.
  7. Kyrka, Alonzo. An Unsolvable Problem of Elementary Number Theory  (engelska)  // American Journal of Mathematics  : journal. - 1936. - Vol. 58 , nr. 58 . - s. 345-363 . - doi : 10.2307/2371045 . — .

Litteratur

Länkar