Trianello, 11/07/2008 18.55:
avrei dovuto scrivere:
Penrose, grande estimatore del teorema di Godel, cita anche il caso di alcune verità elementari dell’aritmetica, tipo “nessun numero dispari è la somma di due numeri pari”, di cui non esistono dimostrazioni a livello computazionale, ma che tutti sappiamo essere veri (intuitivamente).
infatti, avresti dovuto scrivere cio'.
Dimenticando un pezzo (il "a livello computazionale") hai scritto un'affermazione che non era vera.
Dovrei poi capire cosa tu intendi con "a livello computazionale".
Me lo chiedo perche' nessuno, calcolatore o umano che sia, è in grado di contare tutti i numeri interi, e quindi nemmeno nel dimostrare qualsiasi affermazione su di loro elencandoli.
ciao