Ich habe diesen Abschnitt ersatzlos gelöscht. Es handelt sich keineswegs um eine 'konstruktive' Benutzung eines Beweisverfahrens, derart, dass eine wahre Aussage sozusagen 'errechnet' wird. Ich habe wirklich wunder was gedacht und deshalb den genannten Artikel aus den Semesterberichten im Zeitschriftenmagazin aufgesucht und gelesen. Es wird dem Autor dieses Artikels sicher nicht recht sein, hier noch Jahrzehnte später so prominent an ziemlich unpassender Stelle erwähnt zu werden, zumal die Idee nicht einmal von ihm ist (wie im Artikel selbst angemerkt). Der Autor benutzt lediglich das Verfahren der vollständiger Induktion quasi in retrograder Weise (und genau genommen, selbst das nicht), um eine Aussageform A(k) geschickt zu erraten(!), die dann hoffentlich mit ('vorwärts' durchgeführter) vollständiger Induktion für alle natürlichen Zahlen bewiesen werden kann. Das Ganze gehört in den Bereich 'systematisches Raten', wie es wohl die meisten Theoretiker in ihren Arbeitsstuben machen, und ist in keinem Fall etwas 'Konstruktives'. -- Stefan Neumeier 20:06, 10. Feb. 2015 (CET)