Stephen C.
Kleene
For his leadership in the theory of recursion and effective computability and for developing it into a deep and broad field of mathematical research.