[Discussioni]goedelizzazione [fwd]

[Carlo Strozzi]

Interessanti osservazioni sulla non brevettabilità del sw.

----- Forwarded message -----

From: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
To: xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Subject: goedelizzazione
Date: Thu, 25 Sep 2003 11:52:08 +0200

In attach 2 pdf che parlano di quello che ti dicevo (goedelizzazione): biunivocita' tra numero intero e macchina di turing (ossia
tra numero intero e funzione ricorsiva parziale, ossia ancora tra numero intero ed ogni cosa calcolabile, per la "Tesi di Church").
Sotto altri link che parlano dell'argomento, in modo matematico e/o filosofico.

http://www.humnet.unipi.it/filosofia/epistemologia/hosni/godel.htm

http://www.humnet.unipi.it/filosofia/epistemologia/hosni/sq1b.htm

http://www.humnet.unipi.it/filosofia/epistemologia/hosni/indice.htm

http://www.matematicamente.it/maida/5%5C15.htm

Quindi, in pratica, dato che:

- la direttiva "brevettabilita' del sw" presuppone che il sw in questione che i "brevettatori" vogliono brevettare deve essere
essere "calcolabile", ossia "utilizzabile" (terminare in un "tempo finito") e "produrre un risultato" (altrimenti nessuno lo
potrebbe utilizzare e loro non guadagnerebbero nulla dal brevetto)
- ogni cosa "calcolabile" puo' matematicamente (goedelizzazione) essere messa in rapporto biunivoco con un numero intero

Si deduce che:

- la direttiva "brevettabilita' del sw" si propone di rendere brevettabile un numero intero; potrebbe dunque tranquillamente
cambiare nome, e chiamarsi "brevettabilita' di un numero intero"

Essendo ovvio che un numero intero non e' brevettabile, non e' brevettabile nemmeno il sw ;-)


----- End forwarded message -----
--Cs
-- 
Per la libertà di Impresa: http://www.scriptaworks.com/swpat/
Freedom for Business: http://swpat.ffii.org