turing
A propos de l'Espace-Turing | Partenaires | Nous contacter
twitterfacebookrssyoutube
Accueil > Historique > Historique > Naissance de Stephen Cole Kleene, mathématicien et logicien américain

Naissance de Stephen Cole Kleene, mathématicien et logicien américain

5 janvier 1909

Voir en ligne : http://fr.wikipedia.org/wiki/Stephe...
JPEG - 25.3 ko

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


Suivre la vie du site RSS 2.0 | Plan du site | Espace privé | SPIP | squelette | Contact site : marc.monticelli [at] unice [point] fr