Kleene, Stephen Cole

Kleene, Stephen Cole

▪ American mathematician
born Jan. 5, 1909, Hartford, Conn., U.S.
died Jan. 25, 1994, Madison, Wis.

      American mathematician and logician whose work on recursion theory helped lay the foundations of theoretical computer science.

      Kleene was educated at Amherst College (A.B., 1930) and earned a Ph.D. in mathematics at Princeton University in 1934. After teaching briefly at Princeton, he joined the University of Wisconsin at Madison as an instructor in 1935 and became a full professor there in 1948. He retired in 1979.

      Kleene's research was devoted to the theory of algorithms and recursive functions (i.e., functions defined in a finite sequence of combinatorial steps). Kleene, together with Alonzo Church, Kurt Gödel, Alan Turing, and others, developed the field of recursion theory, which made it possible to prove whether certain classes of mathematical problems are solvable or unsolvable. Recursion theory in turn led to the theory of computable functions, which governs those functions that can be calculated by a digital computer. Kleene was the author of Introduction to Metamathematics (1952) and Mathematical Logic (1967).

* * *


Universalium. 2010.

Поможем решить контрольную работу

Look at other dictionaries:

  • Stephen Cole Kleene — Kleene en 1978 Stephen Cole Kleene – né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin) – est un mathématicien et logicien américain. Biographie et contribution scientifique Klee …   Wikipédia en Français

  • Stephen Cole Kleene — (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen Sprachen und der… …   Deutsch Wikipedia

  • Stephen Cole Kleene — Infobox Scientist name = Stephen Kleene caption = birth date = birth date|1909|1|5 birth place = USA death date = death date and age|1994|1|25|1909|1|5 death place = residence = USA nationality = USA field = Mathematics work institutions =… …   Wikipedia

  • Stephen Kleene — Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut, USA; † 25. Januar 1994 in Madison, Wisconsin) war ein US amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen …   Deutsch Wikipedia

  • Kleene — Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut, USA; † 25. Januar 1994 in Madison, Wisconsin) war ein US amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen …   Deutsch Wikipedia

  • Kleene — Stephen Cole Kleene Stephen Cole Kleene (né le 5 janvier 1909 à Hartford, mort le 25 janvier 1994) est un mathématicien et logicien américain. Biographie et contribution scientifique Kleene est connu pour avoir fondé la branche de la logique… …   Wikipédia en Français

  • KLEENE (S. C.) — KLEENE STEPHEN COLE (1909 ) Mathématicien américain né à Hartford (Connecticut). Diplômé de l’Amherst College, Stephen C. Kleene entre, en 1930, à l’université de Princeton. Il est docteur de la même université en 1934. Dès cette époque, il… …   Encyclopédie Universelle

  • Kleene'sche Hülle — Die Kleenesche Hülle (auch endlicher Abschluss, Kleene * Abschluss oder Verkettungshülle genannt) eines Alphabets Σ oder einer formalen Sprache L ist die Menge aller Wörter, die durch beliebige Konkatenation (Verknüpfung) von Symbolen des… …   Deutsch Wikipedia

  • Kleene-Abschluss — Die Kleenesche Hülle (auch endlicher Abschluss, Kleene * Abschluss oder Verkettungshülle genannt) eines Alphabets Σ oder einer formalen Sprache L ist die Menge aller Wörter, die durch beliebige Konkatenation (Verknüpfung) von Symbolen des… …   Deutsch Wikipedia

  • Kleene-Stern — Die Kleenesche Hülle (auch endlicher Abschluss, Kleene * Abschluss oder Verkettungshülle genannt) eines Alphabets Σ oder einer formalen Sprache L ist die Menge aller Wörter, die durch beliebige Konkatenation (Verknüpfung) von Symbolen des… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”