LIBRISTO
LIBROAMANTO
mandatory
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
0
DPD courier 4.99 GLS courier 9.99

The Annotated Gödel

Language EnglishEnglish
Book Hardback
Book The Annotated Gödel Hal Prince
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
? points 47 b
19.56
In stock at our supplier Shipping in 9-15 days

Up to 30 days for returns


Customers also purchased


Gestión práctica de obras y promociones Rafael López Pinel / Book Paperback
common.buy 22.08
Espa¿a y la cuesti>n palestina Ignacio Álvarez-Ossorio y Isaías Barrenada / Book Book
common.buy 20.06
Hry na postřeh neuvedený autor / Book Paperback
common.buy 6.45
Gesammelte Erzahlungen Charlotte von Ahlefeld / Book Paperback
common.buy 26.72
(05).LETRA A LETRA 4.(PAUTA).CALIGRAFIA Cabello Sánchez / Book Book
common.buy 7.15
Diable Boiteux, Avec Une Preface Tome 2 Lesage-A-R / Book Paperback
common.buy 22.08

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name The Annotated Gödel
Author Hal Prince
Language English
Binding Book - Hardback
Date of issue 2022
Number of pages 184
EAN 9798986414218
Libristo code 41637153
Publishers Homebred Press
Weight 448
Dimensions 161 x 240 x 15
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


The Annotated Gödel Hal Prince / Book Paperback
common.buy 10.18
Landing on the Sun Michael Frayn / Book Paperback
common.buy 10.78
Functional Programming - A PragPub Anthology Michael Swaine / Book Paperback
common.buy 46.69
How to be You Ellie Middleton / E-book Adobe ePub DRM
common.buy 16.43
John Beale Bordley's "Necessaries" Mark G. Spencer / Book Paperback
common.buy 37.21
Chahar Maqala Edward G. Browne / Book Paperback
common.buy 21.17
Digital Image Processing Sarode Dr. Milindkumar Sarode / Book Paperback
common.buy 73.62
Prosperity Colin Mayer / Book Hardback
common.buy 23.19
Bio Labs: The Human Experiments Book 2 Lisa Land / Book Paperback
common.buy 10.28
Know Your Magnetic Field William E Gray / Book Paperback
common.buy 10.28
TRUTH IN LOVE: SERMONS JOSIAH D. 181 SMITH / Book Hardback
common.buy 34.38
Enzymes in Food Processing Tilak W. Nagodawithana / Book Paperback
common.buy 99.85
Mountains Melanie Waldron / Book Paperback
common.buy 8.16
Katherine Carlyle Rupert Thomson / Book Paperback
common.buy 15.73
IP Multicast Arvind Durai / Book Paperback
common.buy 59.50
Boris Mikhailov: Bucher Books Inka Schube / Book Hardback
common.buy 20.36
Types and Programming Languages Pierce / Book Hardback
common.buy 118.00

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?