QED

Het decembernummer van de Notices of the American Mathematical Society heeft als thema “formal proof”, met artikels over door computers gegenereerde en door computers geverifieerde bewijzen. De volgende vier artikels van experts geven een overzicht van de nieuwste ontwikkeling in het domein van formele bewijzen en de computertools daarvoor:

Formal Proof, door Thomas Hales, University of [...]