Re: Quanti di spazio-tempo

From: Stefano Gemma <stefano_at_millesimo.com>
Date: Sun, 11 Sep 2005 00:20:28 +0200

"Giulio Severini" <fenice1976_at_hotmail.com> ha scritto nel messaggio
news:1126039104.874499.308010_at_f14g2000cwb.googlegroups.com...
> Ciao popinga, non � che potresti tradurre quanto hai appena detto in
> .... un italiano comprensibile ad un non addetto ai lavori? :)

Io credo che abbia detto:

1) un sistema logico formale non pu� essere completo e allo stesso tempo
coerente... ma ci� non � necessariamente vero per qualche altro tipo di
sistema
1a) un sistema logico formale � quello in cui ogni deduzione logica � basata
sullle relazioni tra i simboli
1b) senza attribuire loro un significato (dimensione semantica)
2) la logica formale non la usano propriamente neanche i matematici (non
concordo, ma non conosco abbastanza matematici per contraddirlo in modo
certo)
3) un fisico lavora con grandezze fisiche: nessun goedel gli impedir� di
stabilire verit� "fisiche"

Riassumendo, dice (IMHO) che abbiamo il problema della completezza o
dell'incoerenza solo per quei sistemi basati su simboli, quando i simboli
non hanno un significato... ovvero il significato � dato dal sistema stesso.
Quindi parrebbe che questo non si possa applicare alla fisica, dove si parte
dall'esperimento (significato) per dedurne la logica. Si tratta di
un'affermazione interessante, ma forzata, IMHO. Il sistema che si ottiene �
comunque un sistema formale, basato su simboli. Solo la sua costruzione �
"guidata" dall'esperimento... ma, alla fine, ci troviamo comunque con quello
che chiama sistema formale. Se fosse completo e coerente, contraddirrebbe
Goedel... e questo non mi dispiacerebbe ;)))

Quindi, se l'universo � completo e coerente... cos� lo � il "sistema
formale" che lo descrive... ma... siccome Goedel ha "dimostrato" che questo
sistema non esiste =>

o � impossibile descrivere l'universo
o Goedel ha sbagliato
o l'universo � incompelto/incoerente
oppure ho sbagliato qualcosa io! ;))))))

Stefano
Received on Sun Sep 11 2005 - 00:20:28 CEST