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