"Zebra" <20186invalid_at_mynewsgate.net> ha scritto nel messaggio
news:2009121311150720186_at_mynewsgate.net...
>
> Buongiorno!
> Goedel ha provato che in ogni sistema formale abbastanza
> complesso
> esiste almeno una affermazione indecidibile.
> Mi chiedo che succede quando il sistema formale � una teoria
> fisica,
> presentata in forma assiomatica.
forse ci ritroverebbe ad avere a che fare con degli "strani
anelli".
Se non l'hai gi� fatto, prova a leggere questo libro famoso:
http://www.ibs.it/code/9788845907555/hofstadter-douglas-r/g-ouml-del-escher-bach-un-eterna.html
ne vale la pena anche perch� � stato tradotto in maniera quasi
perfetta da un quartetto di traduttori bravissimi.
Certo, in lingua originale sarebbe meglio ;)
Prima di imbarcarti nell'avventura leggi anche i commenti di
alcuni lettori, riportati a fondo pagina.
[...]
ciao e buon Anno
Bung
Hic
In vino Veritas
Received on Sun Dec 27 2009 - 11:55:26 CET