La prova di Gödel

This Statement is False. How can anyone wrap oneself around that ancient paradox? A true statement whose unprovability resulted precisely from its truth! With this self-undermining formula as his hammer, Godel knocked down the fortress of Principia Mathematica (PM), so painstakingly constructed by Rus Leggi tutto

I don't read much math these days, so when I do read it, it's a little like climbing a steep wall following a winter of sitting in front of a computer. You discover a lot of soreness in muscles you scarcely remember you ever had in the first place. The long and the short of it is that once upon a tim Leggi tutto

Other reviews here do an excellent job of going over the book's subject matter. I'd encountered the proof before in "Gödel, Escher, Bach" - this book gives a really deep, clear dive into the main thrust of Gödel's proof that it's not possible to write an absolute proof of consistency for a formal sy Leggi tutto

How do I come up with a fair review for this book, without having my judgement clouded by the genius of Godel? On one hand I am speechless by the ingenuity of the proof devised by Godel and what it signifies, while on the other I am disappointed with the authors for how insufficiently the legend's m Leggi tutto

مخم صوووووت کشید! کی بود این گودل!!

The Book is the best to explain Godel's Proof of the Incompleteness Theorem. Gödel showed that Principia, or any other system within which arithmetic can be developed, is essentially incomplete. In other words, given any consistent set of arithmetical axioms, there are true arithmetical statements th Leggi tutto

The first 80 pages are a breeze, but pages 80-92 need many re-reads. P.S. Remember to not miss-use the incompleteness proof to give sweeping and profound statements about nature of the world or other mumbo jumbo. Godel went to a great deal of trouble to write a very exact and general proof, do not de Leggi tutto