Stephen Cole Kleene

Born 1909, Hartford, Conn.; logician and linguist, most remembered for his introduction of "Kleene closure" a mechanism for describing the repetition of phrases in a regular language.

Education: Amherst College, 1930; PhD, Princeton University, 1930.

Professional Experience: professor of mathematics, University of Wisconsin, since 1935; president Association for Symbolic Logic, 1956-1958; editor, Journal of Symbolic Logic, 1950-1962.

Honors and Awards: member, National Academy of Sciences, 1969.

QUOTATION

"Logic has the important function of saying what follows from what."

BIBLIOGRAPHY

Biographical

Kleene, Stephen C., "Origins of Recursive Function Theory," Ann. Hist. Comp., Vol. 3, No. 1, 1981, pp. 52-67.

Significant Publications

Kleene, Stephen C., Foundations of Intuitionistic Mathematics, North-Holland, Amsterdam, 1965.

Meene, Stephen C., Introduction to Mathematics, American Elsevier, MY, 1971.

UPDATES

Kline died January 25, 1994 (MRW, 2013), Portrait inserted (MRW, 2013)

PDF version

Original content Copyright © 1995 by the Institute of Electrical and Electronics Engineers Inc.
New content Copyright © 2013-2015 by the IEEE Computer Society and the Institute of Electrical and Electronics Engineers Inc.
All rights reserved. This material may not be reproduced or redistributed without the express written permission of the copyright holder.