Background
Boolos, George Stephen was born on September 4, 1940 in New York City. Son of Stephen George and Blanche (Salomon) Boolos.
(The Unprovability of Consistency is concerned with connec...)
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields.
http://www.amazon.com/gp/product/0521092973/?tag=2022091-20
(A text for a second course in logic for graduate and adva...)
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
http://www.amazon.com/gp/product/0521389232/?tag=2022091-20
(Computability and Logic has become a classic because of i...)
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
http://www.amazon.com/gp/product/0521701465/?tag=2022091-20
(Will be shipped from US. Used books may not include compa...)
Will be shipped from US. Used books may not include companion materials, may have some shelf wear, may contain highlighting/notes, may not include CDs or access codes. 100% money back guarantee.
http://www.amazon.com/gp/product/B006QCXU76/?tag=2022091-20
Boolos, George Stephen was born on September 4, 1940 in New York City. Son of Stephen George and Blanche (Salomon) Boolos.
Bachelor, Princeton University, 1961; Bachelor of Philosophy, University of Oxford, England, 1963; Doctor of Philosophy, Massachusetts Institute of Technology, 1966.
Assistant professor philosophy, Columbia University, 1966-1969; assistant professor philosophy, Massachusetts Institute of Technology, 1969-1973; associate professor, Massachusetts Institute of Technology, 1973-1980; professor, Massachusetts Institute of Technology, 1980-1996.
(Computability and Logic has become a classic because of i...)
(The Unprovability of Consistency is concerned with connec...)
(The Unprovability of Consistency is concerned with connec...)
(A text for a second course in logic for graduate and adva...)
(Will be shipped from US. Used books may not include compa...)
Fellow American Academy Arts and Sciences. Member Association Symbolic Logic (president 1995-1996), American Philosophical Association, Mathematics Association American.
1 child, Peter.