[Discussioni]goedelizzazione [fwd]

[Francesco Potorti`]

Francesco Potortì:
>    fp> È rappresentabile con un numero ogni stampato non più lungo di
>    fp> cento pagine (tanto per mettere un limite), per cui con questo
>    fp> criterio nessun   brevetto  la cui  descrizione   sia di cento
>    fp> pagine o meno sarebbe valido...

Andrea Glorioso:
>E` possibile brevettare un brevetto?  Mi sembrava che il problema
>fosse un altro.

Il problema era che qualcuno, con la faccina in fondo, scriveva che
siccome ogni programma può essere descritto con un numero, e i numeri
non sono brevettabili, allora ne deriva che i programmi non sono
brevettabili.

Io rispondo che la faccina in fondo ci stava tutta, e che il
ragionamento ha senso solo come battuta.  Infatti, se lo si prendesse
sul serio, nulla che sia descrivibile compiutamente in un numero finito
di pagine fotocopiabili sarebbe brevettabile.