Kirke, Alonzo

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 28. maj 2020; checks kræver 19 redigeringer .
Alonzo Kirke
engelsk  Alonzo Kirke
Fødselsdato 14. juni 1903( 14-06-1903 ) [1] [2] [3]
Fødselssted
Dødsdato 11. august 1995( 1995-08-11 ) [1] [2] [3] […] (92 år)
Et dødssted
Land
Videnskabelig sfære matematisk logik , teoretisk datalogi , matematik og logik
Arbejdsplads
Alma Mater
Akademisk grad PhD ( 1927 )
videnskabelig rådgiver Oswald Veblen [6]
Wikisource logo Arbejder hos Wikisource

Alonzo Church ( Eng.  Alonzo Church ; 14. juni 1903 , Washington  - 11. august 1995 , Hudson , Ohio , USA ) var en amerikansk matematiker og logiker , der ydede et væsentligt bidrag til grundlaget for datalogi .

Biografi

Han modtog sin Bachelor of Arts fra Princeton University i 1924 og sin Ph.D. i 1927 under Oswald Veblen for alternativer til Zermelos antagelse. Han var National Research Fellow i to år, tilbragte et år på Harvard, derefter i Göttingen og Amsterdam. Siden 1929, adjunkt i matematik ved Alma Mater, siden 1939 lektor , siden 1947 professor i matematik, siden 1961 professor i matematik og filosofi.

Church blev berømt for at udvikle teorien om lambdaregning , som fulgte hans berømte papir i 1936, hvori han viste eksistensen af ​​den såkaldte. "uløselige problemer" ( Church-Turing teorem ) [7] . Dette papir gik forud for Alan Turings berømte undersøgelse af stopproblemet , som også viste eksistensen af ​​mekanisk uløselige problemer. Efterfølgende viste Church og Turing, at lambda-regningen og Turing-maskinen havde de samme egenskaber, hvilket beviste, at forskellige "mekaniske beregningsprocesser" kunne have de samme muligheder. Dette arbejde blev indrammet som Church-Turing-afhandlingen .

Blandt andet dannede hans system af lambda-regning grundlaget for funktionelle programmeringssprog , især Lisp -familien (for eksempel Scheme ).

Church forblev professor ved Princeton indtil 1967, hvorefter han flyttede til Californien, hvor han blev professor ved University of Los Angeles  indtil 1990. I 1992 flyttede han til Hudson, Ohio, hvor han levede ud af sit liv.

Medlem af US National Academy of Sciences (1978) og American Academy of Arts and Sciences, korresponderende medlem af British Acad. (1966). Han blev tildelt æresgrader fra Alma Mater (1985) og andre.

Gift i 1926 i Princeton, tre børn.

Logik

Kirken udforskede problemer i logisk semantik og matematisk logik . I 1935 byggede han det første eksempel på et uløseligt masseproblem, som består i kravet om at finde en algoritme til at løse nogle serier af ... "enkelte" problemer. Et masseproblem er ikke løseligt, hvis dets løsning, det vil sige den nødvendige algoritme, ikke eksisterer."

Han gav også et bevis på problemets uløselighed for en snæver prædikatregning , det vil sige et bevis på, at der ikke er nogen algoritme , der ved formlen af ​​formlen for denne kalkulus ville bestemme, om denne formel udtrykker en generel logisk sandhed eller ikke. I sin introduktion til matematisk logik præciserede Church sin forståelse af matematisk logiks metode ved at definere dens primære begreber. Han detaljerede sætningsregningen eller sætningsregningen , førsteordens funktionel regning , førsteordens rene funktionelregning og andenordens funktionel regning. Kirken definerede sådanne kategorier som navn, konstanter og variabler, funktioner, symboler, forbindelsesled, operatorer, kvantificerere , løsningsproblem , inkonsistens og fuldstændighed af aksiomersystemet osv.

Han præsenterede matematisk logik som formel logik, hvis emne studeres ved metoden til at konstruere formaliserede sprog. “Sædvanligvis er logik beskæftiget med analyse af påstande og beviser; han skriver, "fokus er på form i modsætning til indhold." Da naturlige sprog gennem historien har udviklet sig under indflydelse af de historiske behov for nem kommunikation, er de ikke kendetegnet ved nøjagtighed, hvilket fører til fejl i ræsonnementet. For at undgå mulige fejl foreslog Church til logiske formål at bruge et formaliseret sprog, specielt skabt af ham, som egennavne ville blive overført til fra almindelige sprog. Desuden skulle hvert navn have præcis én betydning, hvis opgaven skulle sikre entydighed i formaliserede sprog. Kirken definerede påstand som følger: "Hvert begreb om en sandhedsværdi kaldes en påstand, uanset om det er meningen med en sætning eller ej."

Værker oversat til russisk

Se også

Noter

  1. 1 2 3 4 5 6 MacTutor History of Mathematics Archive
  2. 1 2 Alonzo Church // Brockhaus Encyclopedia  (tysk) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  3. 1 2 Alonzo Church // Internet Philosophy Ontology Project 
  4. Introduktion Alonzo Church: Life and Work
  5. 1 2 3 4 5 6 Engelsk Wikipedia-fællesskab Wikipedia  (engelsk) - 2001.
  6. Matematisk genealogi  (engelsk) - 1997.
  7. Kirke, Alonzo. An Unsolvable Problem of Elementary Number Theory  (engelsk)  // American Journal of Mathematics  : tidsskrift. - 1936. - Bd. 58 , nr. 58 . - S. 345-363 . - doi : 10.2307/2371045 . — .

Litteratur

Links