[Discussioni] Software libero e teorema di Fermat

[Paolo Mascellani]

Caro Claudio,

	perdonami, ma, secondo me, tutto il tuo discorso non ha attinenza col 
nostro problema.

> Nel 1994 un tizio di nome Andrew Wiles dimostrò l'ultimo teorema
> di Fermat.
 >
> ...
> 
> Come vedete sono tutti e due atteggiamenti (esageratamente)
> sbagliati. Traetene le giuste conseguenze.

Sul fatto che siano sbagliati non ho dubbi, ma non mi pare che qualcuno 
abbia proposto dei teoremi (tantomeno delle dimostrazioni). Sulla lista 
si sono viste essenzialmente delle opinioni.

> Il software libero è un sistema formale.
> Ci sono gli assiomi (le quattro libertà), ci sono i teoremi
> (licenze GPL e compatibili).

Mi pare molto tirato per i capelli. Che la GPL possa essere considerato 
un teorema del software libero mi sembra sbagliato. Casomai potrebbe 
esserne UN modello.

> Se vuoi verificare la validità di un teorema, non puoi verificarlo
> sul campo, come è stato detto, ma lo devi fare sulla base degli
> assiomi e dei teoremi che già esistono. Ti presenti alla comunità
> con la tua idea, la esponi e qualcuno ti dirà se fa parte o meno
> di quel sistema formale. Se non fa parte, ci rimetti le mani, sistemi
> quello che devi sistemare (se puoi) e ti ripresenti... e così via.

Potrebbe anche andare ... se fosse quello il problema, ma qui il 
problema e` molto piu` grande e coinvolge anche domande del tipo: "e` 
utilile?", "e` meglio di altri?", "e` moralmente lecito?" (questa e` 
provocatoria: cercate di non farvi provocare troppo :-)), "e` 
economicamente vantaggioso?", "per chi?", ...

> Il sistema formale "open source", non è isomorfo al sistema formale
> "software libero". Per quale motivo tanta gente insiste nel dire che
> ciò "non conta" ? Provatelo a dire ad un logico.

Ahiahia: nel sistema c'e` anche una nozione di isomorfismo? Addirittura 
e` un isomorfismo tra sistemi formali diversi! Quindi c'e` un super 
sistema formale che li comprende entrambi ...

> Qui si parla di sofwarelibero. Le regole sono precise. Ecco perché
> ieri ho fatto l'esempio della chiesa... anche loro hanno dei dogmi,
> e li abbiamo anche noi.

I dogmi, francamente, li lascerei alle religioni. Gli assiomi di una 
teoria sono una cosa ben diversa. Detto da uno che crede, con tutte le 
difficolta` del caso, nell'incarnazione di Dio (in fondo e` Natale), ma 
  che non "crede" nell'assioma della scelta.

Scusa se ti ho censurato su tutta la linea, ma ... sono opinioni.

Ciao, Paolo.

-- 
Paolo Mascellani
METAware spa - p.mascellani a metaware.it
Margherita onLine - paolomascellani a margheritaonline.it
eLabor scrl - paolo a elabor.homelinux.org
via G. Garibaldi 33, 56127 Pisa - tel. 050 098 0888 - fax 050 313 7878
http://elabor.homelinux.org - info a elabor.homelinux.org