Gödel’s Proof - Ernest Nagel Audiobook
Shared by:a900
Written by
Read by Dennis Kleinman
Format: M4B
Bitrate: 128 Kbps
Unabridged
Length: 3 hrs and 29 mins
Release date: 08-28-26
An accessible explanation of Kurt Gödel’s groundbreaking work in mathematical logic
In 1931 Kurt Gödel published his fundamental paper, “On Formally Undecidable Propositions of Principia Mathematica and Related Systems.” This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences―perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as “one of the greatest contributions to the sciences in recent times.”
However, few mathematicians of the time were equipped to understand the young scholar’s complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel’s discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.
New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.
This audiobook is expertly read by Dennis Kleinman, with audio engineering by Blake Rook. It was produced and published by Echo Point Books & Media, an independent bookseller in Brattleboro, Vermont.
| Announce URL: | udp://tracker.torrent.eu.org:451/announce |
| This Torrent also has several backup trackers | |
| Tracker: | udp://tracker.torrent.eu.org:451/announce |
| Tracker: | udp://bittorrent-tracker.e-n-c-r-y-p-t.net:1337/announce |
| Tracker: | udp://retracker01-msk-virt.corbina.net:80/announce |
| Tracker: | udp://tracker.opentrackr.org:1337/announce |
| Tracker: | udp://open.stealth.si:80/announce |
| Tracker: | udp://tracker.dler.org:6969/announce |
| Tracker: | http://ipv4announce.sktorrent.eu:6969/announce |
| Tracker: | http://tracker.bt4g.com:2095/announce |
| Tracker: | http://tracker.mywaifu.best:6969/announce |
| Creation Date: | Tue, 01 Sep 2026 01:48:43 +0200 |
| This is a Multifile Torrent | |
| Gödel’s Proof [B0HCWZJT96].jpg 147.11 KBs | |
| Gödel’s Proof [B0HCWZJT96].m4b 190.34 MBs | |
| Gödel’s Proof [B0HCWZJT96].pdf 2.55 MBs | |
| Combined File Size: | 193.03 MBs |
| Piece Size: | 256 KBs |
| Comment: | Updated by Science Audiobook |
| Info Hash: | 26d24e5a065fef2db57038bc6c0f1c356a085eb8 |
| Torrent Download: | Torrent Free Downloads |
| Tips: | Sometimes the torrent health info isn’t accurate, so you can download the file and check it out or try the following downloads. |
| Direct Download: | Start Direct Download |
| Tips: | You could try out alternative bittorrent clients. |
| Secured Download: | Download Files Now |
| AD: |
|







This post has 5 comments with rating of 5/5
September 1st, 2026
thanks!
September 1st, 2026
Thanks again.
September 1st, 2026
Hofstadter understands Gödel’s proofs precisely backwards, “there are true things which cannot be proven” rather than “some things can neither be proven false nor true”.
To a computer programmer, the result can be understood intuitively through the halting problem, that some programs fall into indefinite while loops rather than terminating and static analysis can’t generally identify them. (Most) people in pure maths have an “infinity” shaped mental block preventing their understanding this, that mathematics exists not in static-block-universe but rather dynamic computation, and so treat incompleteness mystically, akin to Bohr’s “complementarity”.
September 1st, 2026
Thanks a lot !
September 3rd, 2026
Looking forward to this. Thanks
Add a comment