Overleg:Beweren en bewijzen/de zuilen/Zekerheid/7. Bewijsassistenten

Relatie met complexiteit is onduidelijk.

Een bewijsassistent heeft vrijwel onbeperkt geheugen, maakt geen schrijffouten etc., waardoor de kans op fouten in een lang bewijs aanzienlijk verkleind wordt. Dat maakt een bewijsassistent onmisbaar als je met grote zekerheid een complex bewijs wilt voeren. etc. David Jansen en Engelbert Hubbers