Bewijstheorie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k typo |
→Formeel en informeel bewijs: Link naar doorverwijspagina gerepareerd. Help mee!, replaced: → [[Programmeren (computer)| met [[Project:AWB|AWB |
||
Regel 17:
==Formeel en informeel bewijs==
De ''informele'' bewijzen uit de wiskundige dagelijkse praktijk komen niet overeen met de ''[[formeel bewijs|formele bewijzen]]'' uit de bewijstheorie. Men kan informele bewijzen nog het beste vergelijken met schetsen, waarin de grote lijnen worden uitgezet, aan de hand waarvan een expert met genoeg tijd en geduld een formeel bewijs kan reconstrueren. Voor de meeste wiskundigen zou het schrijven van een volledig formeel bewijs echter dezelfde nadelen hebben als [[
Formele bewijzen worden in de [[interactieve bewijsvoering]] met de hulp van speciale [[software]] op de [[computer]] geconstrueerd. Belangrijker is echter dat deze bewijzen op deze computer automatisch kunnen worden gecontroleerd. Het controleren van formele bewijzen is meestal eenvoudig, terwijl het ''vinden'' van bewijzen ([[automatisch bewijzen van stellingen]]) daarentegen zeer ingewikkeld is. Een informeel bewijs in de wiskundeliteratuur vereist in contrast daarmee weken van [[collegiale toetsing]] (Eng: peer review) om dit bewijs te controleren en kan ook dan nog steeds fouten bevatten.
| |||