Re: Domanda banale

From: Elio Fabri <elio.fabri_at_tiscali.it>
Date: Mon, 12 May 2008 20:34:11 +0200

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

This archive was generated by hypermail 2.3.0 : Fri Nov 08 2024 - 05:10:07 CET