“We must be able to say, at any moment, what has already been accomplished.”

About Stephen Cole Kleene

Mathematician • American

Stephen Cole Kleene was a highly influential American mathematician and logician whose work helped lay the foundations for theoretical computer science. He is best known for his foundational contributions to recursion...