# Mathematician:Stephen Cole Kleene

Jump to navigation
Jump to search

## Mathematician

American mathematician best known as one of the great pioneers in the field of recursion theory.

## Nationality

American

## History

- Born: January 5, 1909, Hartford, Connecticut, USA
- Died: January 25, 1994, Madison, Wisconsin

## Theorems and Definitions

- Kleene's Normal Form Theorem
- Kleene Closure
- Kleene Hierarchy
- Kleene-Rosser Paradox (with John Barkley Rosser Sr.)
- Kleene-Mostowski Hierarchy (with Andrzej Mostowski)

Results named for **Stephen Cole Kleene** can be found here.

Definitions of concepts named for **Stephen Cole Kleene** can be found here.

## Publications

- 1935:
*The inconsistency of certain formal logics*(*Ann. Math.***Vol. 36**,*no. 3*: pp. 630 – 636) (with J.B. Rosser) www.jstor.org/stable/1968646 - 1952:
*Introduction to Metamathematics* - 1956:
*Representation of Events in Nerve Nets and Finite Automata* - 1965:
*The Foundations of Intuitionistic Mathematics*(with Richard Eugene Vesley) - 1967:
*Mathematical Logic* - 1981:
*Origins of Recursive Function Theory*