Accueil | Aller sur le site du Mathemarium
Almanach

5 janvier 1909

Naissance de Stephen Cole Kleene, mathématicien et logicien étatsunien

Voir en ligne : http://fr.wikipedia.org/wiki/Stephe...

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 notamment Alonzo Church, Kurt Gödel et Alan Turing, et aussi la branche du lambda-calcul avec Alonzo Church et J. Barkley Rosser (en). Il est également connu pour avoir inventé le concept d’expression rationnelle et de langage rationnel.


info portfolio

titre documents joints


SPIP