Skip to main content

Author picture

Stephen Cole Kleene (1909–1994)

Author of Introduction to Metamathematics

11+ Works 300 Members

About the Author

Includes the names: S.C. Kleene, Stephen Kleene, Steven C. Kleene, Stephen C. Kleene, Stephen C. Kleene, Stephen Cole Kleene, Stephen C. Kleene/ Stephen C. Keene

Works by Stephen Cole Kleene

Introduction to Metamathematics (1971) 147 copies

Mathematical Logic (Dover Books on Mathematics) (1967) 133 copies

The foundations of intuitionistic mathematics : especially in relation to recursive functions (1965) 6 copies

Two papers on the predicate calculus (1952) 5 copies

Formalized recursive functionals and formalized realizability (1969) 3 copies

Foundations of Intuitionistic Mathematics (Study in Logic & Mathematics) (1965) 1 copy

Yoga et santé 1 copy

Mathematical Logic (Dover Books on Mathematics) by Stephen Cole Kleene (2002) Paperback 1 copy

Permutability of Inferences in Gentzen's Calculi LK and LJ, and Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols 1 copy

Kurt Gödel 1906-1978. A biographical memoir 1 copy

The foundations of intuitionistic mathematics 1 copy

Associated Works

Automata Studies (1956) — Contributor — 28 copies

Tagged

Main Associated

11.8 (3) church's thesis (2) corrected printing (1) foundations (3) foundations of mathematics (3) Godel (1) goodreads (2) Grenier (2) history of mathematics (1) hnr (1) logic (30) LR15 (1) math (50) mathematical logic (9) Mathematics/Logic (4) metalogic (2) metamathematics (6) Natural Sciences and Mathematics (2) non-fiction (8) paradox (2) philosophy (5) recursion theory (2) Set Theory and Logic (2) shelves (2) Stephen Cole Kleene (4) textbook (2) theory of computation (2) to-read (5) Turing machines (2) unsolvability (1)

Common Knowledge

Birthdate: 1909-01-05
Date of death: 1994-01-25
Gender: male
Education: Amherst College (BA)
Princeton University (PhD,Mathematics)
Organizations: University of Wisconsin-Madison
Institute for Advanced Study
Awards and honors: National Medal of Science (Mathematics and Computer Science, 1990)
Nationality: USA
Associated Place (for map): USA

Members

Reviews

No reviews found.

You May Also Like

Raymond Smullyan

Jean van Heijenoort

George S. Boolos

Douglas Hofstadter

Associated Authors

Claude E. Shannon

Statistics

Works: 11
Also by: 1
Members: 300
Popularity: #78,267
Rating: 4.0

ISBNs: 16
Languages: 2

Charts & Graphs

See More Charts & Graphs

Pictures

Links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Helpers

ExVivre (4), koffieyahoo (3)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson