Frage:Gibt es einen Algorithmus der die Programme nach Korrektheit testen kann?
Antwort:Nein,es gibt keinen und es wird ihn höchstwarhscheinlich nie geben.

Meine Frage an euch:
Warum?Begründet es bitte.