Product details

Format:

Paperback

Language of text:

English

:

Isbn-13:

9798986414201, 979-8986414201

Author:

Prince

Publisher:

Homebred Press

Imprint:

Homebred Press

Publication date:

2022-08-21

Product dimensions:

155mm (w) x 233mm (h) x 14mm (d)

Overview

The Annotated G?del offers a guided tour of Kurt G?del's 1931 article on incompleteness, which demonstrated unexpected limits to the power of many logical systems. Today we call these results G?del'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 G?del's work, step by step. The commentary concentrates on G?del'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 G?del'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.

About Wordery

Wordery is one of the UK's largest online booksellers. With millions of satisfied customers who enjoy low prices on a huge range of books, we offer a reliable and trusted service and consistently receive excellent feedback.

We offer a huge range of over 8 million books; bestsellers, children's books, cheap paperbacks, baby books, special edition hardbacks, and textbooks. All our books are dispatched from the UK. Wordery offers Free Delivery on all UK orders, and competitively priced international delivery.

#HappyReading