Discussione:Problemi di Hilbert: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Diciannovesimo problema: nuova sezione |
|||
Riga 16:
::A questo momento non saprei fare dai nomi. Il discorso e` questo: Goedel mostro` che non si puo` dimostrare la coerenza dell'aritmetica, assumendo soltanto gli assiomi dell'aritmetica stessa. Pero` non e` ovvio che fosse questo che Hilbert intendeva. Chi sostiene che il teorema di Goedel risolve il problema deve dare un rendiconto del perche` il teorema di Gentzen non soddisfa gli occorenti posti da Hilbert per una dimostrazione della coerenza dell'aritmetica.
::Ho recentemente comprato il libro di Franzén; a casa ci daro' un'occhiata per vedere se lui tratti l'argomento. --[[Utente:Trovatore|Trovatore]] 05:16, 6 nov 2007 (CET)
Credo che ci sia una piccola incoerenza con il secondo problema, rispetto a quanto riportato in queste altre due pagine:
http://it.wikipedia.org/wiki/Entscheidungsproblem
http://it.wikipedia.org/wiki/Programma_di_Hilbert
== 7° problema ==
| |||