041 / 100
Pourquoi certains programmes sont-ils impossibles à vérifier entièrement ?
Explosion combinatoire, indécidabilité, et ce que la preuve formelle permet réellement.
Pourquoi cette question compte
Nos infrastructures reposent sur des systèmes dont personne ne peut établir la correction. Savoir pourquoi est une question d'hygiène intellectuelle.