Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

The Annotated Gödel

Name: The Annotated Gödel
Brand: Homebred Press
SKU: 41637153
Price: 7430 HUF
Availability: InStock
Author: Hal Prince
ISBN: 9798986414218

Hal Prince

Language

English

Book Hardback

Libristo code: 41637153

Publishers Homebred Press, August 2022

A guidebook for reading GödelKurt Gödel's 1931 article on incompleteness revealed some unexpected li... Full description

Libristo code: 41637153

51 b

7 430 Ft

In stock at our supplier Shipping in 9-15 days

Up to 30 days for returns

Customers also purchased

Der Galaterbrief Walter Klaiber

Paperback

16 222 Ft

Gestión práctica de obras y promociones Rafael López Pinel

Paperback

7 778 Ft

Espa¿a y la cuesti>n palestina Ignacio Álvarez-Ossorio y Isaías Barrenada

Book

7 097 Ft

ASPECTOS QUIMICOS DE LA CONTAMINACION ATMOSFERICA CLIMENT

Book

2 069 Ft

Hry na postřeh neuvedený autor

Paperback

2 361 Ft

Gesammelte Erzahlungen Charlotte von Ahlefeld

Paperback

10 267 Ft

(05).LETRA A LETRA 4.(PAUTA).CALIGRAFIA Cabello Sánchez

Book

2 334 Ft

Diable Boiteux, Avec Une Preface Tome 2 Lesage-A-R

Paperback

8 371 Ft

A guidebook for reading Gödel

Kurt Gödel's 1931 article on incompleteness revealed some unexpected limitations in systems for proving theorems from axioms. Today we call these results Gödel's Incompleteness Theorems.

The Annotated Gödel is a book for people who want to read Gödel's article for themselves. It includes the complete article in a new English translation, broken into more than a hundred pieces and interleaved with commentary explaining each piece, step by step.

The translation uses modern mathematical notation and terminology. It replaces Gödel's German-based function names with English equivalents. Its language is less formal than that of the earlier 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.