Stephen Cole Kleene

Un article de Freepedia.

Stephen Cole Kleene 5 janvier 1909 à Hartford - 25 janvier 1994 fut un mathématicien (logicien) des États-Unis d'Amérique qui participa à la fondation de la théorie de l'Informatique.

Kleene est mieux connu pour avoir fondé la branche de la logique mathématique connu sous le nom de théorie de la récursion ensemble avec Alonzo Church, Kurt Gödel, Alan Turing et d'autres; et pour avoir inventé Expressions normales. En fournissant des méthodes pour déterminer quels problèmes sont résolvables, son travail mena à l'étude de quelles fonctions sont traitables par l'informatique. La fermeture de Kleene, le théorème de récursion de Kleene et la chaîne ascendante de Kleene sont nommés après lui. Il a aussi contribué à l'intuitisme mathématique ainsi ue fondé par Luitzen Egbertus Jan Brouwer.

En 1934, supervisé par Alonzo Church pour une thèse intitulée Une théorie d'Entiers positifs dans la logique formelle. En 1935, il intégra le département de mathématiques à l'Université du Wisconsin. Il devint un professeur assistant en 1937.

De 1939 à 1940 il fut détaché à l'Institut pour les études avancées à Princeton, où il plaça la fondation pour la théorie de la fonction récursive, un domaine qui serait la passion de sa vie.

Il participa à la Seconde Guerre mondiale comme instructeur dans la marine.

Grimpeur passionné, il montra un grand intérêt dans la nature et la défense de l'intégrité de l'environnement.

Publication

• Introduction aux Métamathématiques (1952)
• Logique mathématique (1967).
• Représentation des évènements dans les réseaux de nerfs et Automata? limité dans Automata Studies (1956) eds. C. Shannon et J. McCarthy.

Voir aussi: Algèbre de Kleene