“A formal system is determined by a list of symbols and a list of rules.”

— Stephen Cole Kleene

SK

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

Read full biography

Explore Related Quotes