Physique et ingénierie

Pourquoi les logiciels ont des bugs : la preuve mathématique que la vérification parfaite est impossible

Les bugs logiciels coûtent plus de 2 000 milliards de dollars à l’économie américaine chaque année, et les mathématiques prouvent qu’on ne pourra jamais les éliminer entièrement. Trois théorèmes du XXe siècle expliquent pourquoi l’impossibilité de la vérification logicielle parfaite est une loi de la nature, et non une lacune de l’ingénierie.

Intemporel Physique et ingénierie