Kleene, Stephen Cole

Stephen Cole Kleene
Navn ved fødslen	engelsk  Stephen Cole Kleene
Fødselsdato	5. januar 1909( 05-01-1909 ) [1] [2] [3] […]
Fødselssted	Hartford , Connecticut [4]
Dødsdato	25. januar 1994( 1994-01-25 ) [1] [2] [3] […] (85 år)
Et dødssted	Madison , Wisconsin
Land	USA
Videnskabelig sfære	teoretisk datalogi og teori om algoritmer
Arbejdsplads	University of Wisconsin-Madison [1] Princeton University [1] Amherst College [1] Den amerikanske flåde [1] University of Wisconsin-Madison [1]
Alma Mater	Princeton University ( 1934 ) [1] Amherst College ( 1930 ) [1]
videnskabelig rådgiver	Alonzo Kirke [5]
Priser og præmier	Guggenheim Fellowship ( 1949 ) Steele-prisen ( 1983 )

Stephen Cole Kleene (mere korrekt - Kleini , eng.  Stephen Cole Kleene ; 5. januar 1909 , Hartford , Connecticut , USA  - 25. januar 1994 , Madison , Wisconsin , USA) - amerikansk matematiker og logiker .

I 1930 dimitterede han fra Princeton University, i 1930-1935 underviste han der. Siden 1935 ved University of Wisconsin for Advanced Studies. I 1966–1967 var han direktør for Matematisk Forskningscenter.

Medlem af US National Academy of Sciences siden 1969.

Hans arbejde, sammen med arbejdet fra Alonzo Church , Kurt Gödel og Alan Turing , gav anledning til en gren af ​​matematisk logik  - teorien om beregningsevne . Også kendt for at opfinde regulære udtryk . Kleenes algebra, Kleenes stjerne , Kleenes rekursionssætning og Kleenes fikspunktssætning er opkaldt efter ham . Han arbejdede også inden for Brouwers intuitionistiske matematik . Han ydede et vigtigt bidrag til teorien om endelige automater (se Kleenes sætning ).

Kleene selv udtalte sit efternavn som "Kleene", en fejlagtig translitteration af "Kleene" blev etableret i Sovjetunionen i forbindelse med udgivelsen af ​​oversættelser af hans bøger under dette efternavn.

Blandt de mest berømte værker udgivet på russisk er bøgerne "Introduktion til metamathematics" og "Matematical Logic".

Værker oversat til russisk

• Kleene S.K. Introduktion til metamatematik. - M . : Forlag for udenlandsk litteratur , [1952] 1957.
• Kleene S. K., Vesley R. I. [Vesley RE] Grundlag for intuitionistisk matematik ud fra teorien om rekursive funktioner. - M . : Science , [1965] 1978.
• Kleene S. K. Matematisk logik. - M . : Mir , [1967] 1973.
• Klini S. K. Omskiftelighed af regelanvendelser i Gentzens calculus LK og LJ. / Idelson A. V. (red.), Mints G. E. (red.). Matematisk teori om logisk inferens. - M . : Nauka, 1967.
• Kleene S. K. Endelig aksiomatiserbarhed af teorier i prædikatregning ved hjælp af yderligere prædikatsymboler. / Ibid.

Se også

• Algebra med regulært udtryk

Noter

1. ↑ 1 2 3 4 5 6 7 8 9 MacTutor History of Mathematics Archive
2. ↑ 1 2 Stephen Cole Kleene // Encyclopædia Britannica 
3. ↑ 1 2 Stephen Cole Kleene // Solomon Guggenheim Museum - 1937.
4. ↑ Kleene Stephen Cole // Great Soviet Encyclopedia : [i 30 bind] / red. A. M. Prokhorov - 3. udg. — M .: Soviet Encyclopedia , 1969.
5. ↑ Matematisk genealogi  (engelsk) - 1997.

Litteratur

• A. S. Kuzichev, Z. A. Kuzicheva. Kleene  // New Philosophical Encyclopedia  : i 4 bind  / før. videnskabeligt udg. råd fra V. S. Stepin . — 2. udg., rettet. og yderligere - M .  : Tanke , 2010. - 2816 s.

Links

• John J. O'Connor og Edmund F. Robertson .  Kleene , Stephen Cole  _
• Saunders Mac Lane. Stephen Cole Kleene. 1909-1994  (engelsk)  // Biografiske erindringer. - 1998. - Bd. 75 .
• Bibliografi Arkiveret 19. september 2015 på Wayback Machine

Tematiske steder	Matematisk genealogi zbMATH Åbn Arkiv for matematikkens historie MacTutor
Ordbøger og encyklopædier	Britannica (online) Brockhaus Universalis
Slægtsforskning og nekropolis	WikiTree
I bibliografiske kataloger BNF : 12281199v CONOR : 48020579 GND : 136329632 ICCU : RAVV071503 ISNI : 0000 0001 1471 1821 J9U : 987007263900105171 LCCN : n79106427 NDL : 00445849 NKC : jx20061215011 NLP : A28744263 , A20801725 NTA : 068466587 NUKAT : n00715007 LIBRIS : gdsvw5900d3krs9 SUDOC : 031634052 VIAF : 41901318 WorldCat VIAF : 41901318