5 janvier 1909
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.