Doorheen de geschiedenis van de wiskunde – hedendaagse wiskunde inbegrepen – hebben wiskundigen stellingen herbewezen door middel van verschillende bewijzen. De stelling van Pythagoras is een duidelijk voorbeeld van deze wiskundige praktijk: meer dan 350 bewijzen zijn gedocumenteerd. In de voorbije decennia hebben meerdere filosofen van de wiskunde gesteld dat er een onderscheid is tussen verklarende en niet-verklarende bewijzen. Het idee is dat, terwijl alle bewijzen van theorema T bewijzen dat T waar is, sommige bewijzen ook inzicht geven in waarom T waar is. Dit project heeft als doel ons inzicht te vergroten in wat verklarende bewijzen belangrijk maakt. Wat winnen we als we een verklarend bewijs hebben? Waarin bestaat de verklarende waarde van verklarende bewijzen? Deze vragen worden in de project behandeld.