Re: assiomatizzazione

From: ?manu* <paolini_at_no.spam.unifi.it>
Date: Sun, 13 Dec 2009 17:51:06 +0100

Zebra wrote:
> 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.
> Come dire: se prendiamo la forma assiomatica della meccanica
> quantistica, allora certamente esiste un teorema derivabile dagli
> assiomi

errata: un teorema derivabile dagli assiomi
corrige: un enunciato

> sulla cui verit� e falsit� nulla si pu� dire. Pero': poich� la
> teoria si applica al mondo, un esperimento pu� decidere in merito all
> verit� del teorema.
> Questo fatto non � strano?

Potrebbe anche darsi che il mondo fisico non sia "abbastanza complesso".
Ad esempio non si pu� escludere che l'universo sia finitamente
descrivibile (cio� che tutta l'informazione dell'universo possa essere
codificata in un numero intero).

E.
Received on Sun Dec 13 2009 - 17:51:06 CET