assiomatizzazione

From: Zebra <20186invalid_at_mynewsgate.net>
Date: Sun, 13 Dec 2009 11:15:07 GMT

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 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?
Ivan
Received on Sun Dec 13 2009 - 12:15:07 CET