Stephen Cole Kleene

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

Kleene est connu pour avoir fondé la branche de la logique mathématique connue sous le nom de théorie de la récursion en collaboration avec notamment Alonzo Church, Kurt Gödel et Alan Turing, et aussi la branche du lambda-calcul avec Alonzo Church et John Barkley Rosser (en). Il est également connu pour avoir inventé le concept d'expression rationnelle et de langage rationnel.

En créant les outils permettant de déterminer quels problèmes sont résolubles par des algorithmes et d'autre part en élaborant les concepts permettant d'analyser les langages de programmation et de décrire les automates les plus simples, il a jeté, sans le savoir, les bases théoriques de l'informatique. La fermeture de Kleene, le théorème de récursion de Kleene et le théorème du point fixe de Kleene rappellent le rôle qu'il a joué dans l'établissement de ces concepts. Il a aussi contribué à la logique intuitionniste.

En 1934, sa thèse dirigée par Alonzo Church s'intitule A Theory of Positive Integers in Formal Logic (Une théorie des entiers positifs en logique formelle). Elle constitue les bases de la définition des fonctions sur les entiers par un procédé mécanique (la définition λ) qui est la première caractérisation des fonctions récursives. En 1935, il intègre le département de mathématiques de l'université du Wisconsin, dont il devient professeur assistant en 1937.

De 1939 à 1940 il est détaché à l'Institute for Advanced Study de Princeton, où il participe à la fondation de la théorie de la récursivité.

Il participe à la Seconde Guerre mondiale comme instructeur dans l'US Navy.

Alpiniste chevronné, il a montré une grande passion pour la défense de la nature et de l'environnement.

Publications

Articles connexes



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Stephen Cole Kleene de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • 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

  • 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… …   Universalium

  • 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 T predicate — In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic. Informally, the T …   Wikipedia

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