- Hardcover: 438 pages
- Publisher: American Mathematical Society; illustrated edition edition (13 Mar 2008)
- Language English
- ISBN-10: 0821835505
- ISBN-13: 978-0821835500
- Product Dimensions: 26 x 18.4 x 2.8 cm
- Amazon Bestsellers Rank: 1,996,585 in Books (See Top 100 in Books)
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
Product details |
More About the Author
Product Description
Product Description
Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called ``proof theory'' but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. Particular emphasis in the book is put on the conditions of scientific research, in this case mathematical logic, in National Socialist Germany, the ideological fight for ``German logic'', and their mutual protagonists. Numerous hitherto unpublished sources, family documents, archival material, interviews, and letters, as well as Gentzen's lectures for the mathematical public, make this book an indispensable source of information on this important mathematician, his work, and his time. The volume is completed by two deep substantial essays by Jan von Plato and Craig Smorynski on Gentzen's proof theory; its relation to the ideas of Hilbert, Brouwer, Weyl, and Godel; and its development up to the present day. Smorynski explains the Hilbert program in more than the usual slogan form and shows why consistency is important. Von Plato shows in detail the benefits of Gentzen's program. This important book is a self-contained starting point for any work on Gentzen and his logic. The book is accessible to a wide audience with different backgrounds and is suitable for general readers, researchers, students, and teachers. Information for our distributors: Co-published with the London Mathematical Society beginning with Volume 4. Members of the LMS may order directly from the AMS at the AMS member price. The LMS is registered with the Charity Commissioners.
Inside This Book
(Learn More)
First Sentence
Gerhard Carl Erich Gentzen was born on 24 November 1909 in the obstetric unit of the university hospital in Greifswald. Read the first page Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Gerhard Carl Erich Gentzen was born on 24 November 1909 in the obstetric unit of the university hospital in Greifswald. Read the first page Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Reviews
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
Look for similar items by category
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
