Il 03 Set 2005, 19:00, "Stefano Gemma" <stefano_at_millesimo.com> ha scritto:
> > completezza e coerenza le intendi nel senso
> > di Goedel?
>
> Yes, per "quanto" ne so ;)
allora non va bene;)
completezza e coerenza sono "incompatibili" solo in un sistema logico
formale, in cui ogni deduzione logica � basata sullle relazioni tra i
simboli,
senza attribuire loro una dimensione semantica. ma la logica formale non
la usano prorpiamente neanche i matematici.... figuriamoci un fisico lavora
con grandezze fisiche: nessun goedel gli impedir� di stabilire verit�
"fisiche"
(e vale anche per un matematico non troppo... "formale")
--------------------------------
Inviato via
http://arianna.libero.it/usenet/
Received on Mon Sep 05 2005 - 14:25:51 CEST