| |||||
|
Beweis Im wirklichen Leben und in der Softwaretechnik spielt 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 |
