Warehouse Stock Clearance Sale

Grab a bargain today!


Sign Up for Fishpond's Best Deals Delivered to You Every Day
Go
The Annotated Goedel
A Reader's Guide to his Classic Paper on Logic and Incompleteness

Rating
Format
Paperback, 184 pages
Published
21 August 2022

The Annotated Goedel offers a guided tour of Kurt Goedel's 1931 article on incompleteness, which demonstrated unexpected limits to the power of many logical systems. Today we call these results Goedel's First and Second Incompleteness Theorems. The book includes the complete article in a new English translation, interleaved with commentary that guides the reader through Goedel's work, step by step.


The commentary concentrates on Goedel's exposition. It describes what he is doing at each point, and how it relates to other parts of the article. It elaborates on his proofs by outlining them, for example, or by making a table of his variables and their uses, or by filling in gaps in his arguments.


The translation uses modern mathematical notation and terminology. It replaces Goedel's function and relation names, based on German word fragments, with English equivalents. Its language is less formal than that of the existing translations, which date from the 1960s.


The book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course, as well as some knowledge of formal logic, from an introductory course or the equivalent.





Show more

Our Price
£11.43
Ships from UK Estimated delivery date: 6th Feb - 10th Feb from UK

Buy Together
+
Buy together with The Annotated Gödel at a great price!
Buy Together
£28.19

Product Description

The Annotated Goedel offers a guided tour of Kurt Goedel's 1931 article on incompleteness, which demonstrated unexpected limits to the power of many logical systems. Today we call these results Goedel's First and Second Incompleteness Theorems. The book includes the complete article in a new English translation, interleaved with commentary that guides the reader through Goedel's work, step by step.


The commentary concentrates on Goedel's exposition. It describes what he is doing at each point, and how it relates to other parts of the article. It elaborates on his proofs by outlining them, for example, or by making a table of his variables and their uses, or by filling in gaps in his arguments.


The translation uses modern mathematical notation and terminology. It replaces Goedel's function and relation names, based on German word fragments, with English equivalents. Its language is less formal than that of the existing translations, which date from the 1960s.


The book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course, as well as some knowledge of formal logic, from an introductory course or the equivalent.





Show more
Product Details
EAN
9798986414201
Publisher
Dimensions
23.4 x 15.6 x 1 centimeters (0.24 kg)
Review this Product
Ask a Question About this Product More...
 
Look for similar items by category
Item ships from and is sold by Fishpond World Ltd.

Back to top
We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.