R: R: [aha] Verso un incontro di aha a Torino? Proposte

[gadda1944]

Grazie per la correzione. La stanchezza e la distrazione giocano brutti scherzi. Non solo mi è scappato "coerenza" per "completezza", ma anche "globale" per "modale". 

Mi pare però di poter essere scusato almeno in parte, per il primo svarione, perché il secondo teorema di incompletezza di Goedel afferma appunto che la coerenza di un sistema logico non può essere dimostrata all'interno del sistema stesso (il che lega coerenza e completezza, o meglio coerenza e incompletezza). Per quanto mi riguarda, ho finito con i noiosi post tecnici.

a. 



a.

---------- Initial Header -----------

>From      : aha-bounces at ecn.org
To          : "List on artistic activism and net culture" aha at ecn.org
Cc          : 
Date      : Sun, 9 Dec 2007 15:55:20 +0100
Subject : Re: R: R: [aha] Verso un incontro di aha a Torino? Proposte







> On 09/12/2007, gadda1944 <gadda1944 at libero.it> wrote:
> > Non mi pare che la logica garantisca le basi di alcunché, tanto meno del linguaggio naturale, che è un sistema ben più ricco e complesso di qualsiasi logica, diadica o poliadica, assertiva o globale, determinista o fuzzy.
> 
> Non serviva sfoderare l'arsenale di nozioni, il discorso è molto più
> intuitivo che altro..
> 
> >
> > Non garantisce neppure (Goedel docet) la coerenza dell'aritmetica, figuriamoci quella del linguaggio.
> 
> Goedel, visto che l'hai citato, parla di completezza, non di coerenza.
> E nessuno mai detto che il linguaggio naturale sia , integralmente, un
> sistema formale: e il problema non è se una proposizione è decidibile
> o meno, nella vita quotidiana.
> Sicuramente l'agire e il sentire umano sono governati (chissà poi se
> "governati" è il termine giusto) da qualcosa di più raffinato di un
> set di assiomi e di regole di inferenza (anche se conosco della gente
> su cui nutro dei dubbi, in merito a quest'ultima affermazione)
> 
> E' semmai un interessante tentativo di esprimere la dimensione formale
>  del linguaggio che, lo sappiamo bene, non è quasi mai la più
> interessante e non è di sicuro la più esauriente. Lo dico, con molta
> modestia, da laureato in logica ed ex studioso della medesima
> disciplina.
> >
> > a.
> 
> 
> 
> -- 
> "I can't understand why people are frightened of new ideas. I'm
> frightened of the old ones."
> -- John Cage
> 
> "In hac philosophia
> propositiones deducuntur ex phaenomenis
> et redduntur generales per inductionem"
> -- Isaac Newton
> 
> "Senza la musica per decorarlo il tempo sarebbe solo una noiosa
> sequela di scadenze produttive e di date in cui pagare le bollette".
> -- Frank Zappa
> 
> "..autonomous robots will help you get the ladies."
> -- Anon.
> 
> "Need a zero-volume bottle?
> Searching for a one-sided surface?
> Get an ACME KLEIN BOTTLE!..the finest closed, non-orientable,
> boundary-free manifolds sold anywhere in our three spatial
> dimensions."
> _______________________________________________
> Aha mailing list
> Aha at ecn.org
> http://www.ecn.org/mailman/listinfo/aha
>