Stephen Cole Kleene
Un article de Wikipédia, l'encyclopédie libre.
Vous avez de Stephen Cole Kleene 5 janvier 1909 à Hartford - 25 janvier 1994 est un mathématicien et logicien états-unien.
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 Alonzo Church, Kurt Gödel, Alan Turing et d'autres et pour avoir inventé le concept d'expressions régulières. En créant les outils permettant de déterminer quels problèmes sont résolubles par 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 la chaîne ascendante 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 Une théorie des entiers positifs dans la logique formelle. 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 la marine.
Alpiniste chevronné, il a montré une grande passion pour la défense de la nature et de l'environnement.
[modifier] 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
