En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies pour vous proposer des publicités adaptées à vos centres d’intérêts, réaliser des statistiques ainsi qu’interagir avec des réseaux sociaux.

Pour en savoir plus et paramétrer les cookies

Identifiez-vous ou Créez un compte

Stephen Cole Kleene

Logicien et mathématicien américain (Hartford 1909-Madison 1994).

On lui doit une importante contribution à la théorie des fonctions récursives et à la théorie des automates. (Introduction to Metamathematics, 1952.)