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.)
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.)