Discussione:Teoremi di incompletezza di Gödel: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Cronologia di Primo teorema di incompletezza di Gödel |
|||
Riga 21:
In realtà, l'assiomatizzazione della geometria sposta il problema della completezza dalla geometria all'aritmetica: infatti è possibile rappresentare l'aritmetica nella geometria: se questa fosse completa, lo sarebbe anche l'aritmetica, in contraddizione con il primo teorema. Un po' come la rappresentazione delle geometrie non euclidee con cerchi e linee sposta la correttezza di queste a quella della geometria euclidea. --[[Utente:Blakwolf|<font color=black size +1>'''BW'''</font>]] [[Discussioni utente:Blakwolf|Insultami]] 07:24, Set 1, 2005 (CEST)
==Cronologia di ''Primo teorema di incompletezza di Gödel''==
{{Cassetto|Il 31 dicembre 2009 la voce [[Primo teorema di incompletezza di Gödel]] è stata integrata in [[Teoremi di incompletezza di Gödel]]. La precedente cronologia della voce ''Primo teorema di incompletezza di Gödel'':|
<pre>
* (corr) (prec) 12:49, 9 dic 2009 Mr buick (Discussione | contributi | blocca) (1.702 byte) (fix cat) (rollback | annulla)
* (corr) (prec) 18:06, 7 dic 2009 Dr Zimbu (Discussione | contributi | blocca) m (1.661 byte) (miglioro cat S) (annulla)
* (corr) (prec) 22:35, 2 nov 2009 No2 (Discussione | contributi | blocca) m (1.665 byte) (dato templ. U) (annulla)
* (corr) (prec) 16:20, 29 set 2007 Bultro (Discussione | contributi | blocca) m (1.650 byte) (annulla)
* (corr) (prec) 15:56, 29 set 2007 Helios (Discussione | contributi | blocca) m (1.639 byte) (annulla)
* (corr) (prec) 06:09, 23 lug 2007 Brownout (Discussione | contributi | blocca) m (1.661 byte) (orfanizzo template:scienza) (annulla)
* (corr) (prec) 21:44, 8 lug 2007 SunBot (Discussione | contributi | blocca) m (1.674 byte) (Bot: Sostituzione automatica (-\{\{[dD]a[ _]unire +{{U)) (annulla)
* (corr) (prec) 17:12, 24 mar 2007 Ylebru (Discussione | contributi | blocca) m (cat) (annulla)
* (corr) (prec) 11:15, 16 mar 2007 Littoria (Discussione | contributi | blocca) (annulla)
* (corr) (prec) 17:17, 13 mar 2007 Bultro (Discussione | contributi | blocca) (annulla)
* (corr) (prec) 18:49, 22 feb 2007 Silent Bob (Discussione | contributi | blocca) m (annulla)
* (corr) (prec) 18:48, 22 feb 2007 Silent Bob (Discussione | contributi | blocca) (annulla)
* (corr) (prec) 18:48, 22 feb 2007 Silent Bob (Discussione | contributi | blocca) (annulla)
* (corr) (prec) 18:47, 22 feb 2007 Silent Bob (Discussione | contributi | blocca) (annulla)
* (corr) (prec) 18:22, 13 feb 2007 Marcol-it (Discussione | contributi | blocca) m (Crea un paio di collegamenti) (annulla)
* (corr) (prec) 13:58, 11 gen 2007 ElborBot (Discussione | contributi | blocca) m (Bot: Sostituzione automatica (-\{\{[Ss]tub[ _]([^}]+)\}\} +{{S|\1}})) (annulla)
* (corr) (prec) 13:57, 8 gen 2007 Rossa1 (Discussione | contributi | blocca) m (ö) (annulla)
* (corr) (prec) 16:20, 24 nov 2006 Fabio.gastone (Discussione | contributi | blocca) (annulla)
* (corr) (prec) 18:30, 8 mag 2006 Paulatz bot (Discussione | contributi | blocca) m (Bot: Sostituzione automatica (-\{\{[Ww]ik *\| +{{W||)) (annulla)
* (corr) (prec) 23:35, 28 mar 2006 Ilafra (Discussione | contributi | blocca) (annulla)
* (corr) (prec) 23:34, 28 mar 2006 Ilafra (Discussione | contributi | blocca) m (annulla)
* (corr) (prec) 17:15, 21 mar 2006 143.225.178.249 (Discussione | blocca) (annulla)
* (corr) (prec) 17:14, 21 mar 2006 143.225.178.249 (Discussione | blocca) (annulla)
* (corr) (prec) 16:11, 12 mar 2006 Elitre (Discussione | contributi | blocca) (+{{da aiutare}}) (annulla)
* (corr) (prec) 15:47, 9 mar 2006 87.1.93.4 (Discussione | blocca)
</pre>}}
| |||