Page d'accueil
encyclopedie-enligne.com en page d'accueil| Page d'accueil |
encyclopedie-enligne.com en page d'accueil |
|||||
| Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées | ||||||
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 traitable par l'informatique. La fermeture de Kleene, le théorème de récursion de Kleene et la chaine 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 passioné, il montra un grand intéret dans la nature et la défense de l'intégrité de l'environnement.
Voir aussi: Algèbre de Kleene
