Kleene, Stephen Cole 19091994
Overview
Works:  66 works in 401 publications in 9 languages and 4,662 library holdings 

Genres:  Conference papers and proceedings Records and correspondence 
Roles:  Author, Editor, Honoree, Other 
Classifications:  QA9, 511.3 
Publication Timeline
.
Most widely held works about
Stephen Cole Kleene
 The Kleene Symposium : proceedings of the symposium held June 1824, 1978 at Madison, Wisconsin, U.S.A. by Kleene Symposium( Book )
 Van Heijenoort, Jean, papers by Jean Van Heijenoort( )
 Oral history interview with Leon Henkin by Leon Henkin( )
 The Godel Editorial Project records( )
 Claude Elwood Shannon papers by Claude Elwood Shannon( )
 Interpretations of Kleene's metamathematical predicate [gamma]1 A in intuitionistic arithmetic n by Thomas Thacher Robinson( )
 Interpretations of Kleene's metamathematical predicate. A in intuitionistic arithmetic N by Thomas Thacher Robinson( Book )
 [Oral History Program interview with Stephen Cole Kleene, 1981] by Stephen Cole Kleene( Recording )
more
fewer
Most widely held works by
Stephen Cole Kleene
Introduction to metamathematics by
Stephen Cole Kleene(
Book
)
125 editions published between 1950 and 2012 in 4 languages and held by 1,347 WorldCat member libraries worldwide
125 editions published between 1950 and 2012 in 4 languages and held by 1,347 WorldCat member libraries worldwide
Mathematical logic by
Stephen Cole Kleene(
Book
)
70 editions published between 1961 and 2013 in 6 languages and held by 1,202 WorldCat member libraries worldwide
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilberttype proof theory, and proof theory handled through derived rules. The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentiethcentury logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index
70 editions published between 1961 and 2013 in 6 languages and held by 1,202 WorldCat member libraries worldwide
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilberttype proof theory, and proof theory handled through derived rules. The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentiethcentury logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index
The foundations of intuitionistic mathematics, especially in relation to recursive functions by
Stephen Cole Kleene(
Book
)
24 editions published between 1965 and 2000 in English and Undetermined and held by 558 WorldCat member libraries worldwide
Provability, Computability and Reflection
24 editions published between 1965 and 2000 in English and Undetermined and held by 558 WorldCat member libraries worldwide
Provability, Computability and Reflection
The Kleene Symposium : proceedings of the symposium held June 1824, 1978 at Madison, Wisconsin, U.S.A. by
Kleene Symposium(
Book
)
15 editions published in 1980 in English and held by 284 WorldCat member libraries worldwide
15 editions published in 1980 in English and held by 284 WorldCat member libraries worldwide
Formalized recursive functionals and formalized realizability by
Stephen Cole Kleene(
Book
)
12 editions published in 1969 in English and Italian and held by 216 WorldCat member libraries worldwide
12 editions published in 1969 in English and Italian and held by 216 WorldCat member libraries worldwide
Two papers on the predicate calculus by
Stephen Cole Kleene(
Book
)
38 editions published between 1951 and 1985 in English and Undetermined and held by 192 WorldCat member libraries worldwide
38 editions published between 1951 and 1985 in English and Undetermined and held by 192 WorldCat member libraries worldwide
Introducción a la metamatemática by
Stephen Cole Kleene(
Book
)
3 editions published in 1974 in Spanish and held by 33 WorldCat member libraries worldwide
3 editions published in 1974 in Spanish and held by 33 WorldCat member libraries worldwide
On undecidable propositions of formal mathematical systems by
Kurt Gödel(
Book
)
3 editions published in 1934 in English and held by 25 WorldCat member libraries worldwide
3 editions published in 1934 in English and held by 25 WorldCat member libraries worldwide
Sets, logic, and mathematical foundations : a summer institute for teachers of secondary and college mathematics sponsored
by the National Science Foundation by
Stephen Cole Kleene(
Book
)
5 editions published between 1956 and 1963 in English and held by 24 WorldCat member libraries worldwide
5 editions published between 1956 and 1963 in English and held by 24 WorldCat member libraries worldwide
Sets, logic, and mathematical foundations: by
Stephen Cole Kleene(
Book
)
7 editions published between 1856 and 1991 in English and held by 19 WorldCat member libraries worldwide
7 editions published between 1856 and 1991 in English and held by 19 WorldCat member libraries worldwide
Logic and foundations of mathematics by
A Heyting(
Book
)
2 editions published in 1968 in English and held by 18 WorldCat member libraries worldwide
2 editions published in 1968 in English and held by 18 WorldCat member libraries worldwide
Vvedenie v metamatematiku by
Stephen Cole Kleene(
Book
)
8 editions published in 1957 in Russian and Undetermined and held by 14 WorldCat member libraries worldwide
8 editions published in 1957 in Russian and Undetermined and held by 14 WorldCat member libraries worldwide
A theory of positive integers in formal logic by
Stephen Cole Kleene(
Book
)
8 editions published between 1933 and 1935 in English and held by 14 WorldCat member libraries worldwide
8 editions published between 1933 and 1935 in English and held by 14 WorldCat member libraries worldwide
Permutability of inferences in Gentzen's calculi LK and LJ. by
Stephen Cole Kleene(
Book
)
4 editions published between 1951 and 1971 in English and held by 8 WorldCat member libraries worldwide
4 editions published between 1951 and 1971 in English and held by 8 WorldCat member libraries worldwide
Collected works by
Kurt Gödel(
Book
)
4 editions published in 2003 in English and Multiple languages and held by 8 WorldCat member libraries worldwide
4 editions published in 2003 in English and Multiple languages and held by 8 WorldCat member libraries worldwide
The voice of America : forum lectures(
Book
)
3 editions published in 1964 in English and held by 6 WorldCat member libraries worldwide
3 editions published in 1964 in English and held by 6 WorldCat member libraries worldwide
Two Papers on the predicate calculus by
Stephen Cole Kleene(
Book
)
3 editions published between 1952 and 1972 in Undetermined and English and held by 2 WorldCat member libraries worldwide
3 editions published between 1952 and 1972 in Undetermined and English and held by 2 WorldCat member libraries worldwide
Formalized recursive functionals and formalized realizability by
Stephen Cole Kleene(
Book
)
2 editions published in 1969 in English and held by 1 WorldCat member library worldwide
2 editions published in 1969 in English and held by 1 WorldCat member library worldwide
Collected works by
Kurt Gödel(
)
1 edition published in 1986 in English and held by 0 WorldCat member libraries worldwide
Annotation Kurt Godel (19061978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentiallyof Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and toindividual articles and other material, commenting upon their contents and placing them within a historical framework. This longawaited project is of great significance to logicians, mathematicians, philosophers and historians
1 edition published in 1986 in English and held by 0 WorldCat member libraries worldwide
Annotation Kurt Godel (19061978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentiallyof Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and toindividual articles and other material, commenting upon their contents and placing them within a historical framework. This longawaited project is of great significance to logicians, mathematicians, philosophers and historians
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Vesley, Richard Eugene 1932 Author Editor
 Barwise, Jon Editor
 Kunen, Kenneth Editor
 Keisler, H. Jerome Editor
 Godel, Kurt 19061978 Author
 Feferman, Solomon Editor
 Heijenoort, Jean van Editor
 Moore, Gregory H. Editor
 Solovay, Robert M. Editor
 Dawson, John William Editor
Useful Links
Associated Subjects
ArithmeticFoundations Bell Telephone Laboratories Bode, Hendrik W.(Hendrik Wade), Calculus Campbell, J. W.(John William), Church, Alonzo, Computer chess Computers Decidability (Mathematical logic) Dowling, Kevin Dreben, Burton Elias, P.(Peter) Flanagan, Dennis, Functions Gabor, Dennis, GamesData processing Gödel, Kurt Gödel's theorem Heyting, A.(Arend), Hubbard, L. Ron(La Fayette Ron), Information theory Intuitionistic mathematics Kleene, Stephen Cole, Kreisel, Georg Lasker, Edward, Levy, David N. L Logic, Symbolic and mathematical Management Mathematicians Mathematics MathematicsPhilosophy McCarthy, John, Metamathematics Moore, Edward F Pierce, John R.(John Robinson), Piore, Emanuel Ruben, Predicate calculus Price, G. Baley(Griffith Baley), Quine, W. V.(Willard Van Orman) Recursion theory Recursive functions Sagan, Carl, Set theory Shneidman, Edwin S Stratton, Julius Adams, Telecommunication Universities and collegesFaculty Van Heijenoort, Jean, Von Neumann, John, Weaver, Warren,
Alternative Names
Cole Kleene, Stephen 19091994
Kleene, S. C.
Kleene, S. C. 19091994
Kleene, S. C. (Stephen Cole), 19091994
Kleene, Stephen 19091994
Kleene, Stephen C.
Kleene, Stephen C. 19091994
Klini, C. K. 19091994
Klini, S.
Klini, S. K.
Klini, S. K. 19091994
Klini, Stefen K.
Klini, Stefen K. 19091994
S. C. Cole.
Stephen Cole Kleene Amerikaans wiskundige
Stephen Cole Kleene amerikansk datavetare och matematiker
Stephen Cole Kleene amerikansk informatikar og matematikar
Stephen Cole Kleene amerikansk informatiker og matematiker
Stephen Cole Kleene mathématicien américain
Stephen Cole Kleene USamerikanischer Mathematiker und Logiker
Stephen Kleene
Stephen Kleene matematico statunitense
Στίβεν Κλέινι
Клини, Стефен К..
Клини, Стефен К 1909
Клини, Стефен К. (Стефен Коул), 1909
Клини, Стивен Коул математик и логик США
Стівен Коул Кліні
Ստիվեն Կոուլ Կլինի
استیفن کول کلین ریاضیدان و دانشمند علوم کامپیوتر آمریکایی
스티븐 클레이니
クリーネ
スティーヴン・コール・クリーネ
史蒂芬·科爾·克萊尼
斯蒂芬·科尔·克莱尼
Languages
English
(297)
French (15)
Russian (13)
Italian (3)
Spanish (3)
Japanese (2)
German (1)
Multiple languages (1)
Dutch (1)
French (15)
Russian (13)
Italian (3)
Spanish (3)
Japanese (2)
German (1)
Multiple languages (1)
Dutch (1)
Covers