Am Mittwoch, 18. Februar 2004 01:43 schrieb Rainer Zenz:
At 23:52 Uhr +0100 17.2.2004, Ivo Köthnig wrote:
Ich hänge den Entwurf hier an (so lang ist er ja nicht), aber mir ist klar,
daß so eine Diskussion eigentlich nicht hierher (oder gar hierhin?) gehört. Mir fällt nur keine bessere Lösung ein.
Zumindest der mathematische Teil war korrekt. Man sollte noch anmerken, dass es auch in der Mathematik/Logik einen "induktiven Beweis" gibt (Vollständige Induktion).
Da es unter den bekennenden Wikipedianern nur einen Spezialisten (für mathematische Logik, das müßte es doch sein) gibt, der leider per E-Mail nicht erreichbar ist, habe ich den Text jetzt doch auf die Diskussionseite von "Beweis" gestellt. Ich würde mich freuen, wenn die Angelegenheit da weitergebracht werden könnte.
Abgesehen davon, dass ich mich als Informatiker damit auch sehr gut auskenne, ist dein Text allemal besser, als der vorherige. Es gilt nicht umsonst bei uns: Sei mutig beim Ändern der Seite. Zur Not lässt sich auch die alte Version wieder herstellen.
--Ivo Köthnig