"Elio Fabri" <elio.fabri_at_tiscali.it> ha scritto nel messaggio
news:68rgv7F2upagrU2_at_mid.individual.net...
> 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.
E gi�.
> 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" :-<
Chi, per esempio?
Received on Sun May 18 2008 - 22:42:17 CEST
This archive was generated by hypermail 2.3.0
: Mon Feb 10 2025 - 04:23:34 CET