Lillo ha scritto:
> ...
> Inoltre, per il teorema di completezza, sappiamo gi� che non sapremo
> MAI tutte le cose, con un sistema coerente di conoscenze.
Suppongo che questo sia un riferimento a Goedel, ma guarda che l'hai
pesantemente frainteso...
Il teorema cui alludi non riguarda una vaga e generica "conoscenza",
ma solo la possibilita' di dimostrare in un dato sistema formale tutte
le proposizioni vere del sistema.
Sono sicuro che non e' colpa tua: ci sono un sacco di chiacchieroni che
si riempiono la bocca con quel teorema, di cui non hanno capito niente.
Alcuni di questi si autodefiniscono "filosofi" :-<
--
Elio Fabri
Received on Mon May 12 2008 - 20:34:11 CEST