[tc] lettera alla commissione europea

[daniel]

On Tuesday 31 October 2006 23:42, Luca Brivio wrote:

> Se è un problema NP-completo per definizione ha una soluzione. Il che
> non esclude che essa possa essere impraticabile sopra una certa
> complessità dell'algoritmo.

no, la NP-completezza è un concetto che non ha nulla a che fare con il nostro 
discorso. Per spiegare che l'accesso ai codici offerto da Microsoft è solo 
un'operazione di facciata, ho scritto: 
> > > a) nessuno leggendo un programma può essere sicuro che non contiene
> > > errori o codici malevoli. Ci sono molti risultati formali della
> > > logica-matematica che hanno dimostrato questo.
c'era un riferimento alle conseguenze del teorema di incompletezza che Prinna 
aveva scambiato per NP-completezzza.
Cosa che 167_ ha poi chiarito. Questa discussione tecnica, IMHO, è OTT per 
questa lista. 
daniel