|
|
|
|
Beweis
Im wirklichen Leben und in der Softwaretechnik spielt
die Erklärbarkeit von Abläufen eine wichtige Rolle.
Einzelheiten
Da man zwar in das Innere einer Rechenmaschine schauen kann, aber die Abläufe nicht in der
gegebenen Geschwindigkeit und mit Sicherheit verfolgen kann,
ist es wichtig, die Grenzen des Verfahrens mittels vorgegebener Bedingungen
festzulegen und eine Gewissheit zu haben, daß sie auch eingehalten werden. In der Welt der Mathematik nennt man solche Gewährleistung von Bedingungen eines Beweis und
nutzt dies insbesondere auch für transzendente Annahmen, die der Mensch nicht erfassen kann. In anderen
Wissensgebieten unterscheidet man empirische und methodische Beweise.
Erläuterung
In der wirklichen Welt ergeben sich Beweise meistens aus Tatsachen,
die ein oder mehrere Zeugen erlebt haben. Die selektive Wahrnehmung, manchmal als Vorurteil bezeichnet,
spielt dabei eine wichtige Rolle.
Stichwörter
Axiomatik, Methodik, Erklärung, Begründung, Folgerung, Rückschluss, Umkehrschluss, Kausalkette, Analogie
Werkzeuge
PVS Specification System
Vienna Development Method
Coq Proof Assistant
Isabelle Proof Assistant
2026-02-11
|
|
|
|
|
