Stephen Cole Kleene

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg
Broom icon.svg Der er ingen kildehenvisninger i denne artikel, hvilket muligvis er et problem.
Du kan hjælpe ved at angive kilder til de påstande, der fremføres i artiklen.
Question book-4.svg
Stephen Cole Kleene

Kleene.jpg

Personlig information
Født 5. januar 1909Rediger på Wikidata
HartfordRediger på Wikidata
Død 25. januar 1994 (85 år)Rediger på Wikidata
MadisonRediger på Wikidata
Nationalitet USA
Uddannelse og virke
Uddannelses­sted Princeton Universitet,
Amherst CollegeRediger på Wikidata
Medlem af National Academy of Sciences,
American Academy of Arts and SciencesRediger på Wikidata
Beskæftigelse Universitetslærer, matematiker, filosof, datalogRediger på Wikidata
Fagområde Theoretical computer science[1]Rediger på Wikidata
Arbejdsgiver University of Wisconsin–MadisonRediger på Wikidata
Nomineringer og priser
Udmærkelser Guggenheim-Stipendium,
National Medal of Science (1990)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 | redigér wikikode]

  • 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.