Stephen Cole Kleene

Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. Du kan hjælpe ved at angive kilder til de påstande, der fremføres. Hvis ikke der tilføjes kilder, vil artiklen muligvis blive slettet.

Stephen Cole Kleene
Personlig information
Født	Stephen Cole Kleene 5. januar 1909 Hartford, Connecticut, USA
Død	25. januar 1994 (85 år) Madison, Wisconsin, USA
Nationalitet	Amerikansk
Uddannelse og virke
Uddannelses­sted	Princeton Universitet (1930-1934), Amherst College (til 1930)
Medlem af	National Academy of Sciences, American Academy of Arts and Sciences
Beskæftigelse	Universitetslærer, matematiker, filosof, datalog
Fagområde	Teoretisk datalogi, theory of computation[1]
Arbejdsgiver	United States Navy (1942-1946), Princeton Universitet (1934-1935), Amherst College (1941-1942), University of Wisconsin–Madison (1935-1941, 1946-1979)
Kendte værker	Kleene's algorithm[2], Kleene's recursion theorem[3], Lambdakalkyle, Kleene algebra[4], Kleene fixed-point theorem[5] med flere
Nomineringer og priser
Udmærkelser	Guggenheim-Stipendium (1949), National Medal of Science (1990), Leroy P. Steele Prize (1983)
Information med symbolet hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.  [ redigér på Wikidata ]

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

• 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å engelsk og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.
3. ^ Navnet er anført på engelsk og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.
4. ^ Navnet er anført på engelsk og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.
5. ^ Navnet er anført på engelsk og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.