La logique mathématique a atteint un tournant majeur en 1951 lorsque Stephen Cole Kleene a décrit les opérations des automates finis, fournissant un pont fondamental entre les réseaux de neurones et le calcul numérique. Ce développement s'est produit parallèlement à son exploration de toute une vie de la théorie des fonctions récursives, l'établissant comme une figure centrale de l'émergence de l'informatique théorique au cours du vingtième siècle.
Formation académique
Né à Hartford en 1909, Kleene a poursuivi ses premières études à l'Amherst College, obtenant son diplôme en 1930. Il est passé à l'Université de Princeton pour ses travaux de doctorat, achevant ses études en 1934 sous la direction d'Alonzo Church. Sa thèse, A Theory of Positive Integers in Formal Logic, a marqué le début d'une période prolifique axée sur le lambda-calcul. Au cours de ces années de formation, il a rejoint l'Université du Wisconsin à Madison en 1935, une institution qui allait accueillir la majeure partie de sa carrière académique.
Fondements du calcul
On attribue à Kleene la formalisation de la théorie de la récursion, un domaine qui fonde l'étude des fonctions calculables. Tout au long des années 1930 et 1940, il a rédigé des preuves fondamentales, notamment le théorème de récursion et le théorème de la forme normale. Ces contributions ont permis une description mathématique précise des processus de calcul. Ses travaux de la fin des années 1940 et des années 1950 se sont étendus aux hiérarchies arithmétiques et hyperarithmétiques, tandis que son mémorandum de 1951 pour la RAND Corporation a introduit les expressions régulières pour catégoriser les événements dans les automates finis.
Service et intuitionnisme
Pendant la Seconde Guerre mondiale, Kleene a servi dans la réserve navale des États-Unis, atteignant le grade de lieutenant de vaisseau entre 1942 et 1946. De retour à la vie civile à l'Université du Wisconsin à Madison, il a concilié des rôles administratifs de chef de département et de doyen du College of Letters and Science avec ses recherches en mathématiques intuitionnistes. Ses textes, en particulier ceux coécrits avec Richard Vesley, ont établi une norme américaine pour l'interprétation des énoncés intuitionnistes par la réalisabilité récursive.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Héritage de carrière
Kleene a pris sa retraite de son poste de professeur de mathématiques Cyrus C. MacDuffee en 1979. Sur quatre décennies, il a encadré 13 doctorants et influencé des générations grâce à des manuels qui ont clarifié les théorèmes d'incomplétude de Gödel. Son leadership professionnel a compris des mandats de président de l'Association for Symbolic Logic et de l'Union internationale d'histoire et de philosophie des sciences. En 1990, il a reçu la National Medal of Science pour ses réalisations.
En bref
- Naissance : 1909, Hartford - Décès : 1994, Madison - Éducation : Amherst College, Université de Princeton - Grade militaire clé : Lieutenant de vaisseau - Domaine principal : Informatique théorique - Récompense majeure : National Medal of Science (1990) - Appartenance professionnelle : National Academy of Sciences
Questions des lecteurs
### Qu'est-ce que l'étoile de Kleene ?
Il s'agit d'une opération mathématique, également connue sous le nom de clôture de Kleene, nommée d'après lui pour son rôle dans la théorie des langages formels et l'informatique théorique.
### Kleene a-t-il contribué à l'étude des réseaux de neurones ?
Oui, en 1951, il a développé une méthode pour caractériser les événements acceptés par les automates finis, qu'il a appliquée à l'étude des réseaux de neurones de McCulloch-Pitts.
