so lehrt der Pythagorische Lehrsatz uns eine qualitas occulta des rechtwinklichten Dreiecks kennen: des Eukleides stelzbeiniger, ja hinterlistiger Beweis verläßt uns beim Warum, und beistehende, schon bekannte, einfache Figur giebt auf einen Blick weit mehr, als jener Beweis, Einsicht in die Sache und innere feste Ueberzeugung von jener Nothwendigkeit und von der Abhängigkeit jener Eigenschaft vom rechten Winkel:
Auch bei ungleichen Katheten muß es sich zu einer solchen anschaulichen Ueberzeugung bringen lassen, wie überhaupt bei jeder möglichen geometrischen Wahrheit, schon deshalb, weil ihre Auffindung allemal von einer solchen angeschauten Nothwendigkeit ausgieng und der Beweis erst hinterher hinzu ersonnen ward: man bedarf also nur einer Analyse des Gedankenganges bei der ersten Auffindung einer geometrischen Wahrheit, um ihre Nothwendigkeit anschaulich zu erkennen. Es ist überhaupt die analytische Methode, welche ich für den Vortrag der Mathematik wünsche, statt der synthetischen, welche Eukleides gebraucht hat. Allerdings aber wird dies, bei komplicirten mathematischen Wahrheiten, sehr große, jedoch nicht unüberwindliche Schwierigkeiten haben. Schon fängt man in Deutschland hin und wieder an, den Vortrag der Mathematik zu andern und mehr diesen analytischen Weg zu gehn. Am entschiedensten hat dies Herr Kosack, Lehrer der Mathematik und Physik am Gymnasio zu Nordhausen, gethan, indem er dem Programm zur Schulprüfung am 6. April 1852 einen ausführlichen Versuch, die Geometrie nach meinen Grundsätzen zu behandeln, beigegeben hat.
Um die Methode der Mathematik zu verbessern, wird vorzüglich erfordert, daß man das Vorurtheil aufgebe, die bewiesene Wahrheit habe irgend einen Vorzug vor der anschaulich erkannten, oder die logische, auf dem Satz vom Widerspruch beruhende, vor der metaphysischen, welche unmittelbar evident ist und zu der auch die reine Anschauung des Raumes gehört.
Das Gewisseste und überall Unerklärbare ist der Inhalt des Satzes vom Grunde. Denn dieser, in seinen verschiedenen Gestalten, bezeichnet die allgemeine Form aller unserer Vorstellungen und Erkenntnisse. Alle Erklärung ist Zurückführung auf ihn. Nachweisung im einzelnen Fall des durch ihn überhaupt ausgedrückten Zusammenhangs der Vorstellungen. Er ist sonach das Princip aller Erklärung und daher nicht selbst einer Erklärung fähig, noch ihrer bedürftig, da jede ihn schon voraussetzt und nur durch ihn Bedeutung erhält. Nun hat aber keine seiner Gestalten einen Vorzug vor der andern: er ist gleich gewiß und unbeweisbar als Satz vom Grunde des Seyns, oder des Werdens, oder des Handelns, oder des Erkennens. Das Verhältniß des Grundes zur Folge ist, in der einen wie in der andern seiner Gestalten, ein nothwendiges, ja es ist überhaupt der Ursprung, wie die alleinige Bedeutung, des Begriffs der Nothwendigkeit. Es giebt keine andere Nothwendigkeit, als die der Folge, wenn der Grund gegeben ist, und es giebt keinen Grund, der nicht Nothwendigkeit der Folge herbeiführte. So sicher also aus dem in den Prämissen gegebenen Erkenntnißgrunde die im Schlußsatze ausgesprochene Folge fließt, so sicher bedingt der Seynsgrund im Raum seine Folge im Raum: habe ich das Verhältniß dieser Beiden anschaulich erkannt, so ist diese Gewißheit eben so groß, wie irgend eine logische. Ausdruck eines solchen Verhältnisses ist aber jeder geometrische Lehrsatz, eben so gut, wie eines der zwölf Axiome: er ist eine metaphysische Wahrheit und als solche eben so unmittelbar gewiß, wie der Satz vom Widerspruche selbst, der eine metalogische Wahrheit und die allgemeine Grundlage aller logischen Beweisführung ist. Wer die anschaulich dargelegte Nothwendigkeit der in irgend einem Lehrsatze ausgesprochenen räumlichen Verhältnisse leugnet, kann mit gleichem Recht die Axiome leugnen, und mit gleichem Recht die Folge des Schlusses aus den Prämissen, ja den Satz vom Widerspruch selbst: denn alles Dieses sind gleich unbeweisbare, unmittelbar evidente und a priori erkennbare Verhältnisse. Wenn man daher die anschaulich erkennbare Nothwendigkeit räumlicher Verhältnisse erst durch eine logische Beweisführung aus dem Satze vom Widerspruch ableiten will; so ist es nicht anders, als wenn dem unmittelbaren Herrn eines Landes ein anderer dasselbe erst zu Lehn ertheilen wollte. Dies aber ist es, was Eukleides gethan hat. Bloß seine Axiome läßt er nothgedrungen auf unmittelbarer Evidenz beruhen: alle folgenden geometrischen Wahrheiten werden logisch bewiesen, nämlich, unter Voraussetzung jener Axiome, aus der Uebereinstimmung mit den im Lehrsatz gemachten Annahmen, oder mit einem frühern Lehrsatz, oder auch aus dem Widerspruch des Gegentheils des Lehrsatzes mit den Annahmen, den Axiomen, den früheren Lehrsätzen, oder gar sich selbst. Aber die Axiome selbst haben nicht mehr unmittelbare Evidenz, als jeder andere geometrische Lehrsatz, sondern nur mehr Einfachheit durch geringeren Gehalt.
Wenn man einen Delinquenten vernimmt, so nimmt man seine Aussagen zu Protokoll, um aus ihrer Uebereinstimmung ihre Wahrheit zu beurtheilen. Dies ist aber ein bloßer Nothbehelf, bei dem man es nicht bewenden läßt, wenn man unmittelbar die Wahrheit jeder seiner Aussagen für sich erforschen kann; zumal da er von Anfang an konsequent lügen konnte. Jene erste Methode ist es jedoch, nach der Eukleides den Raum erforschte. Zwar gieng er dabei von der richtigen Voraussetzung aus, daß die Natur überall, also auch in ihrer Grundform, dem Raum, konsequent seyn muß und daher, weil die Theile des Raumes im Verhältniß von Grund und Folge zu einander stehn, keine einzige räumliche Bestimmung anders seyn kann, als sie ist, ohne mit allen andern im Widerspruch zu stehn. Aber dies ist ein sehr beschwerlicher und unbefriedigender Umweg, der die mittelbare Erkenntniß der eben so gewissen unmittelbaren vorzieht, der ferner die Erkenntniß, daß etwas ist, von der, warum es ist, zum großen Nachtheil der Wissenschaft trennt, und endlich dem Lehrling die Einsicht in die Gesetze des Raumes gänzlich vorenthält, ja, ihn entwöhnt vom eigentlichen Erforschen des Grundes und des Innern Zusammenhanges der Dinge, ihn statt dessen anleitend, sich an einem historischen Wissen, daß es so sei, genügen zu lassen. Die dieser Methode so unablässig nachgerühmte Uebung des Scharfsinns besteht aber bloß darin, daß sich der Schüler im Schließen, d.h. im Anwenden des Satzes vorn Widerspruch, übt, besonders aber sein Gedächtniß anstrengt, um alle jene Data, deren Uebereinstimmung zu vergleichen ist, zu behalten.
Es ist übrigens bemerkenswerth, daß diese Beweismethode bloß auf die Geometrie angewandt worden und nicht auf die Arithmetik: vielmehr läßt man in dieser die Wahrheit wirklich allein durch Anschauung einleuchten, welche hier im bloßen Zählen besteht. Da die Anschauung der Zahlen in der Zeit allein ist und daher durch kein sinnliches Schema, wie die geometrische Figur, repräsentirt werden kann; so fiel hier der Verdacht weg, daß die Anschauung nur empirisch und daher dem Schein unterworfen wäre, welcher Verdacht allein die logische Beweisart hat in die Geometrie bringen können. Zählen ist, weil die Zeit nur eine Dimension hat, die einzige arithmetische Operation, auf die alle andern zurückzuführen sind: und dies Zählen ist doch nichts Anderes, als Anschauung a priori, auf welche sich zu berufen man hier keinen Anstand nimmt, und durch welche allein das Uebrige, jede Rechnung, jede Gleichung, zuletzt bewährt wird. Man beweist z.B. nicht, daß (7+9)·8-2 / 3 = 42; sondern man beruft sich auf die reine Anschauung in der Zeit, das Zählen, macht also jeden einzelnen Satz zum Axiom. Statt der Beweise, welche die Geometrie füllen, ist daher der ganze Inhalt der Arithmetik und Algebra eine bloße Methode zum Abkürzen des Zählens. Unsere unmittelbare Anschauung der Zahlen in der Zeit reicht zwar, wie oben erwähnt, nicht weiter, als etwan bis Zehn: darüber hinaus muß schon ein abstrakter Begriff der Zahl, durch ein Wort fixirt, die Stelle der Anschauung vertreten, welche daher nicht mehr wirklich vollzogen, sondern nur ganz bestimmt bezeichnet wird. Jedoch ist selbst so, durch das wichtige Hülfsmittel der Zahlenordnung, welche größere Zahlen immer durch die selben kleinen repräsentiren läßt, eine anschauliche Evidenz jeder Rechnung möglich gemacht, sogar da, wo man die Abstraktion so sehr zu Hülfe nimmt, daß nicht nur die Zahlen, sondern unbestimmte Größen und ganze Operationen nur in abstracto gedacht und in dieser Hinsicht bezeichnet werden, wie √(r-b), so daß man sie nicht mehr vollzieht, sondern nur andeutet.
Mit dem selben Recht und der selben Sicherheit, wie in der Arithmetik, könnte man auch in der Geometrie die Wahrheit allein durch reine Anschauung a priori begründet seyn lassen. In der That ist es auch immer diese, gemäß dem Satz vom Grunde des Seyns anschaulich erkannte Nothwendigkeit, welche der Geometrie ihre große Evidenz ertheilt und auf der im Bewußtseyn eines Jeden die Gewißheit ihrer Sätze beruht: keineswegs ist es der auf Stelzen einherschreitende logische Beweis, welcher, der Sache immer fremd, meistens bald vergessen wird, ohne Nachtheil der Ueberzeugung,
