Wie beweist man die Korrektheit eines Algorithmus?

• es ist nicht möglich einen allgemeinen Algorithmus zu erschaffen, der die Korrektheit eines Algorithmus beweist
• mathematischer Beweis
  • Definition: Ein Beweis ist eine Herleitung einer Aussage aus bereits bewiesenen Aussagen und/oder Grundannahmen (Axiomen).
  • Man versucht zu beweisenden Sachverhalt auf etwas zurückzuführen, dass bereits bewiesen ist -> Vollständige Induktion
• mit Korrektheitsbeweisen