Anleitungen

[~ÔttÔ~]

@Hausigel: Aus dem Duden: Annahme = Hypothese; Vorraussetzung = Vorbedingung, unerlässliche 'Conditio sine qua non'. Eine Annahme kann man verwerfen, eine Voraussetzung nicht. Beispiele: "Voraussetzung für die Zulassung zum Medizinstudium ist ein bestandenes Abitur". "Nehmen wir an, es gäbe nur endlich viele Primzahlen ... Widerspruch. Also war die Annahme falsch und es gibt unedlich viele Primzahlen".

Genau das passierte in unserer Diskussion. Calavera sieht die Eindeutigkeit der Lösugen aus Voraussetzung in der Diskussion, gelangt in eine Sackgasse und das war's. An der Voraussetzung kann man ja nicht rütteln. Ich sehe die Eindeutigkeit der Lösung als Annahme, gelange in die geiche Sackgasse wie Calavera und verwerfe dann die Annahme (und nehme das Gegenteil an, also dass die Aufgabe zwei oder keine Losung hat).

Vielleicht sollte ich es so formulieren (letzter Versuch):

Otto: Unter der *Annahme* der Eindeutigkeit der Lösung finde ich immer eine Lösung (wenn sie existiert), da ich die Annahme verwerfe, wenn ich in eine Sackgasse gelange (Backtracking oder auch 'nächster Zweig der Fallunterscheidung').

Calavera: Unter der *Voraussetzung*, dass eine Aufgabe nur eine Lösung hat, kann es sein, dass ich in eine Sackgasse gelange, wenn die Voraussetzung nicht stimmt. Ich verwerfe die Voraussetzung aber nicht (sie ist ja eine 'Conditio sine qua non'), sondern höre auf und finde keine Lösung.

~ÔttÔ~