Introduction to Metamathematics
by Stephen Cole Kleene
List Price:
Our Price: $31.54
You Save: $8.41 (21%)
Availability: Usually ships in 24 hours
Buy Used: from $26.99 (click here)
Category: Book
See more book details and other editions
Book Summary Information
Author: Stephen Cole KleeneForeword: Michael Beeson
Edition: Paperback
Audio: English (Unknown); English (Original Language); English (Published)
Published: 2009-03-13
ISBN: 0923891579
Number of pages: 572
Publisher: Ishi Press
Summary of Introduction to Metamathematics
Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gödel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which ?nothing was ever the same.? Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of ?computable? moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Göde1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of ?computable?. When they all turned out to be equivalent, there was a collective realization that this was indeed the ?right notion?. Kleene played a key role in this process. One could say that he was ?there at the beginning? of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gödel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.Mathematics Books
Book Subjects
- Arts & Photography
- Biographies & Memoirs
- Business & Investing
- Children's Books
- Comics & Graphic Novels
- Computers & Internet
- Cooking, Food & Wine
- Entertainment
- Gay & Lesbian
- Health, Mind & Body
- History
- Home & Garden
- Horror
- Law
- Literature & Fiction
- Mystery & Thrillers
- Nonfiction
- Outdoors & Nature
- Parenting & Families
- Professional & Technical
- Reference
- Religion & Spirituality
- Romance
- Science
- Science Fiction & Fantasy
- Sports
- Teens
- Travel
Most talked about in Mathematics Books
Learn to Program with Javaby John Smiley
Osborne/McGraw-Hill; Published: 2002-01-02; Paperback; Book
Best price: $29.99
Price in other shops:
HTML: A Beginner's Guideby Wendy Willard
Mcgraw-Hill Osborne Media; Published: 2000-11-15; Paperback; Book
Best price: $4.86
Price in other shops:
Cisco(r) CCIE(tm) Lab Practice Kitby Stephen Hutnik, Michael Satterlee
McGraw-Hill Companies; Published: 2001-02-12; Paperback; Book
Best price: $14.56
Price in other shops:
Schaum's Outline of Mathematical Handbook of Formulas and Tables, 3ed (Schaum's Outline Series)by Murray Spiegel, Seymour Lipschutz, John Liu
McGraw-Hill; Published: 2008-08-25; Paperback; Book
Best price: $11.68
Price in other shops:
How to Solve Word Problems in Calculusby Eugene Don, Benay Don
McGraw-Hill; Published: 2001-07-09; Paperback; Book
Best price: $6.00
Price in other shops:
Fire in the Valley: The Making of The Personal Computer (Second Edition)by Paul Freiberger, Michael Swaine
McGraw-Hill Companies; Published: 2000-11-29; Paperback; Book
Best price: $139.58
Complex Variables and Applicationsby James Ward Brown
Mcgraw Hill Higher Education; Published: 2008-04-01; Paperback; Book
Best price: $24.52
Schaum's Outline of Trigonometryby Robert E. Moyer, Frank Ayres
McGraw-Hill; Published: 1998-11-30; Paperback; Book
Best price: $7.96
Price in other shops:
Elementary Statistics: A Brief Versionby Allan Bluman
McGraw-Hill Science/Engineering/Math; Published: 2006-12-02; Paperback; Book
Best price: $12.82
Geekspeak: A Guide to Answering the Unanswerable, Making Sense of the Nonsensical, and Solving the Unsolvableby Graham Tattersall
Harper Perennial; Published: 2010-02-02; Paperback; Book
Best price: $0.01
Price in other shops:
Similar Books and other products
Axiomatic Set Theory (Dover Books on Mathematics)by Patrick Suppes
Dover Publications; Published: 1972-06-01; Paperback; Book
Best price: $7.35
Price in other shops:
Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)by Paul J. Cohen, Mathematics
Dover Publications; Published: 2008-12-09; Paperback; Book
Best price: $7.35
Price in other shops:
Gödel's Proofby Ernest Nagel, James Newman
NYU Press; Published: 2008-10-01; Paperback; Book
Best price: $7.18
Price in other shops:
On Formally Undecidable Propositions of Principia Mathematica and Related Systemsby Kurt Gödel
Dover Publications; Published: 1992-04-01; Paperback; Book
Best price: $3.00
Price in other shops:
Introduction to Topology: Third Edition (Dover Books on Mathematics)by Bert Mendelson, Mathematics
Dover Publications; Published: 1990-07-01; Paperback; Book
Best price: $5.61
Price in other shops:
Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)by Alfred Tarski, Andrzej Mostowski, Raphael M. Robinson, Mathematics
Dover Publications; Published: 2010-08-19; Paperback; Book
Best price: $7.34
Price in other shops:
A Book of Abstract Algebra: Second Edition (Dover Books on Mathematics)by Charles C Pinter
Dover Publications; Published: 2010-01-14; Paperback; Book
Best price: $11.38
Price in other shops:
First-Order Logic (Dover Books on Mathematics)by Raymond M. Smullyan
Dover Publications; Published: 1995-01-30; Paperback; Book
Best price: $6.08
Price in other shops:
Introduction to Logicby Alfred Tarski
Dover Publications; Published: 1995-03-27; Paperback; Book
Best price: $6.04
Price in other shops:
Mathematical Logic (Dover Books on Mathematics)by Stephen Cole Kleene, Mathematics
Dover Publications; Published: 2002-12-18; Paperback; Book
Best price: $14.15
Price in other shops: