[Discussioni]goedelizzazione [fwd]

[Francesco Potorti`]

>- 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 ;-) 

La cosa è carina come battuta, ma niente di più, ovviamente.  È
rappresentabile con un numero ogni stampato non più lungo di cento
pagine (tanto per mettere un limite), per cui con questo criterio nessun
brevetto la cui descrizione sia di cento pagine o meno sarebbe valido...