Comments on: Gödel’s Incompleteness Theorem for dummies

By: r

Sun, 03 Jul 2011 06:42:57 +0000

this is russel’s paradox and has nothing to do with godel?

By: Gödel Summarized « ricketyclick

Gödel Summarized « ricketyclick — Sun, 21 Mar 2010 16:33:06 +0000

[...] Here’s your Sunday Morning Brain Stretcher: Gödel’s Incompleteness Theorem for Dummies. [...]

By: Alta

Alta — Sun, 14 Feb 2010 08:45:08 +0000

So what is the truth, if Maths and logicial thinking can’t be true? Isn’t it time for us to start thinking in the opposite direction? Einsten said that idiocy is when you keep on doing the same mistake over and over, and don’t realise that it is useless. What (or whom) is the truth?? Even though the Truth stood in front of him, Pilate couldn’t recognize it….

By: proctorul

proctorul — Thu, 28 Jan 2010 06:02:42 +0000

this is picturesque and helpful.

By: Giavasan

Giavasan — Wed, 27 Jul 2005 11:45:30 +0000

Sono d’accordo con te. Ancora non sono sicuro di aver capito bene il teorema, nonostante abbia letto più libri al riguardo. Semplicemente mi divertiva l’idea della versione “for dummies”.

By: delio

delio — Wed, 27 Jul 2005 07:15:29 +0000

non so. non sono un logico, ma a me sembra che quello presentato sia molto più una variante del paradosso del cretese che una spiegazione del teorema di incompletezza di goedel (che non ha caso ha bisogno di circa un centinaio di pagine nella sua forma divulgativa più semplice): “in ogni sistema formale che contiene la teoria aritmetica elementare è possibile costruire un asserto aritmetico che sia vero ma né dimostrabile né falsificabile, ammesso che la teoria sia consistente”.