Stephen Cole Kleene , mathématicien et informaticien américain (décédé en 1994)
Stephen Cole Kleene ( KLAY-nee ; 5 janvier 1909 - 25 janvier 1994) était un mathématicien américain. L'un des étudiants de l'église Alonzo, Kleene, avec Rózsa Péter, Alan Turing, Emil Post et d'autres, est surtout connu comme fondateur de la branche de la logique mathématique connue sous le nom de théorie de la récursivité, qui a ensuite contribué à jeter les bases de la théorie. l'informatique. Le travail de Kleene fonde l'étude des fonctions calculables. Un certain nombre de concepts mathématiques portent son nom: la hiérarchie de Kleene, l'algèbre de Kleene, l'étoile de Kleene (fermeture de Kleene), le théorème de récursivité de Kleene et le théorème du point fixe de Kleene. Il a également inventé des expressions régulières en 1951 pour décrire les réseaux de neurones de McCulloch-Pitts et a apporté des contributions significatives aux fondements de l'intuitionnisme mathématique.