I came across an interesting person in my office and through him, I got to read ‘Godel’s Proof‘, it is a wonderful book and an awesome read for many reasons. My journey to this book started with Logicomix, which is about the creation of all time classic and bible of Mathematics – ‘The Principles of Mathematics‘ by Bertrand Russell. Godel’s proof broke the castles of principia mathematica.
Godel’s Proof is of two parts:
- Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory
- For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent.
I have heard from many people(esp. those who believe science is everything and who denies God’s existence) that the universe is written in the language of Mathematics, but the poor thing is they have grouped a set of things which are un-answerable/un-provable as PROBABILITY. Lets not get off-track. We can break the questions put forward by these set of people with Godel’s proof, we can TECHNICALLY derive at a solution to prove them the existence of God. The answer is not readily available, but their so called thirst can be quenched if you extend Godel’s proof. My last statement is at axiomatic stage, will update the proof if I come out with one convincingly.
About the Book:
- A must read for every engineer/thinker
- The proof sections are little heavy
- Clear examples and derivations is good enough to reach a common man- like me, non-mathematicians.
- Do some homework about ‘principia mathematica‘, before starting this book, it will help a lot.
- ‘The Richardian Paradox’ – would stay with you forever, you will feel the difference.
Further Read :
- Godel’s Papers
- principia mathematica
And as its back cover says, ‘any educated person with a taste for logic and philosophy the chance to satisfy his intellectual curiosity about a previously inaccessible subject.’
I would say : 5/5