Discussione:Teoremi di incompletezza di Gödel: differenze tra le versioni

Versione delle 01:29, 8 dic 2010

Versione delle 01:25, 9 dic 2010

Riga 78:

noto che, [http://it.wikipedia.org/w/index.php?title=Teoremi_di_incompletezza_di_G%C3%B6del&diff=28978369&oldid=28521676 a causa dell'accorpamento], le parti provengono dalla voce unita non erano correttamente formattate in [[LaTeX]] e quindi ci sono parti correttamente formattate (es. <math>\lnot \varphi</math>) e parti non formattate e quindi poco comprensibili ("-> P |- r(x)", "-> P|- - r(x)", "P :- G", "-G"). segnalo la discussione anche al progetto Matematica. --[[Utente:valepert|vale]][[Discussioni utente:valepert|pert]] 00:29, 8 dic 2010 (CET)

== link non funzionanti ==

sposto qui dalla voce

* Articoli e saggi del Prof. Piergiorgio Odifreddi: ''[http://www.vialattea.net/odifreddi/godelia.htm Il teorema di Gödel e l'I.A.]''

* Articoli e saggi del Prof. Piergiorgio Odifreddi: ''[http://www.vialattea.net/odifreddi/godel.htm Metamorfosi di un teorema]''

* {{en}}Articoli e saggi del Prof. Piergiorgio Odifreddi: ''[http://www.vialattea.net/odifreddi/boston.pdf Godel's mathematics of philosophy]'' (pdf)

* {{en}}Articoli e saggi del Prof. Piergiorgio Odifreddi: ''[http://www.vialattea.net/odifreddi/g_child.pdf Gödel for children]'' (pdf)