Spring til indhold

Stephen Cole Kleene

Fra Wikipedia, den frie encyklopædi
(Omdirigeret fra Stephen Cole Kleen)
Stephen Cole Kleene
Personlig information
FødtStephen Cole Kleene Rediger på Wikidata
5. januar 1909 Rediger på Wikidata
Hartford, Connecticut, USA Rediger på Wikidata
Død25. januar 1994 (85 år) Rediger på Wikidata
Madison, Wisconsin, USA Rediger på Wikidata
NationalitetUSA Amerikansk
Uddannelse og virke
Uddannelses­stedPrinceton Universitet (1930-1934),
Amherst College (til 1930) Rediger på Wikidata
Medlem afNational Academy of Sciences,
American Academy of Arts and Sciences Rediger på Wikidata
BeskæftigelseUniversitetsunderviser, matematiker, filosof, datalog Rediger på Wikidata
FagområdeTeoretisk datalogi, computationsteori Rediger på Wikidata
ArbejdsgiverUnited States Navy (1942-1946), Princeton Universitet (1934-1935), Amherst College (1941-1942), University of Wisconsin-Madison (1935-1941, 1946-1979) Rediger på Wikidata
Kendte værkerThe foundations of intuitionistic mathematics[1], Kleenes algoritme, Kleenes rekursionslæresætning, lambdakalkyle, Kleene algebra med flere Rediger på Wikidata
BevægelseIntuisjonisme[2] Rediger på Wikidata
Nomineringer og priser
UdmærkelserGuggenheim-Stipendium (1949),
National Medal of Science (1990),
Leroy P. Steele Prize (1983) Rediger på Wikidata
Information med symbolet Billede af blyant hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.

Stephen Cole Kleene (født 5. januar 1909, død 25. januar 1994) var en amerikansk matematiker, hvis arbejde ved University of Wisconsin-Madison hjalp med til at lægge grunden for den teoretiske datalogi. Kleene er bedst kendt for at grundlægge grenen af matematisk logik kendt som rekursionsteori sammen med Alonzo Church, Kurt Gödel, Alan Turing , Emil Post og andre; og for at opfinde regulære udtryk. Ved at komme med metoder til at bestemme hvilke problemer som er løselige, førte Kleenes arbejde til studiet om hvilke funktioner, der er beregnelige. Blandt andet er Kleene algebra, Kleenes stjerne, Kleenes rekursionssætning og Kleenes fixpoint-sætning opkaldt efter ham.

Vigtige publikationer

[redigér | rediger kildetekst]
  • Introduction to Metamathematics D. Van Nostrand (1952)
  • Mathematical Logic John Wiley (1967). Dover paperback reprint ca. 2001.
  • Representation of Events in Nerve Nets and Finite Automata i Automata Studies (1956) eds. C. Shannon og J. McCarthy.
  1. ^ Navnet er anført på engelsk og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.
  2. ^ Navnet er anført på bokmål og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.