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

Uit Werkplaats
Versie door David Jansen (overleg | bijdragen) op 27 mei 2010 om 09:32 (relatie met complexiteit?)
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Ga naar: navigatie, zoeken

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