Il giorno Wed, 01 Nov 2006 10:13:26 +0100 Davide Prina <DavidePrina a email.it> ha scritto: > se non puoi dimostrare che una cosa è corretta, allora non puoi > dimostrare che è priva di bug E perché mai? OK ci rinuncio, siamo già abbastanza OT... Andrebbe bene sul ng comp.theory! -- Luca