Visto che non accetti la sfida, ti spiego la vecchia questione del millennium bug
Scusami se intervengo ancora criticando ciò che dici.
Il problema del Millennium Bug è stato sostanzialmente una delle innumerevoli bufale mediatiche!
E' verissimo che il problema fosse un problema potenzialmente pericoloso. Ma ciò era vero solo per i sistemi più arcaici, sviluppati per hardaware con memorie estremamente limitate.
Ma già qualche decina di anni prima dell'approssimarsi del momento fatidico tutti iniziarono ad interessarsi al problema. Il risultato fu la definizione di un nuovo standard: l'Y2K.
In pratica, al cambio del secolo non fu osservato alcun evento catastrofico e, per quanto io ne sappia, nemmeno alcun evento che possa essere considerato significativo.
Ovviamente la soluzione fu trovata in maniera efficiente con larghissimo anticipo e, sempre altrettanto ovviamente, fu trovata grazie all'impiego della logica formale (se la definizione di uno standard non rispecchia la logica formale, cosa credi che rispecchi?).
Ora, io non so cosa tu abbia dovuto fare per riscrivere i codici che tu utilizzavi per risolvere eventuali problemi.
Da parte mia ti dico che al CNR di fatto non abbiamo fatto un bel nulla. Non parlo solo dei codici scientifici, ma parlo anche di tutti i codici di gestione amministrativa, contabile e di aggiornamento della banche dati.
Tutto era pronto da almeno dieci anni a funzionare perfettamente. E non solo i main frame! Qualunque PC era pronto da tempo ad affrontare il cambio di secolo. Anche quelli delle utenze domestiche.
Quindi, tante chiacchiere inutili sui media ma assolutamente nulla nel mondo reale!
In conclusione, non capisco di cosa tu stia parlando e del perchè tu dalla vicenda del Millennium Bug riesca a trarre un senso di sfiducia nei confronti della logica formale.
A me sembra proprio che, in questo caso, sia il buon senso che la logica formale abbiano operato correttamente a dispetto delle varie Cassandra di turno che si divertivano a spargere il panico in giro.
Ma, nel mondo dell'Informatica, non ci fu alcun panico. Tutti attraversarono serenamente il cambio di secolo, brindando e fottendosene alla grande del Millennium Bug. Questo rimase solo in una divertente puntata dei Simpson!