1 “Die Axiome eines mathematischen Axiomsystems sollen einleuchtend sein.” Wie leuchten sie denn ein?

Wie wenn ich sagte: so kann ich mir's am leichtesten vorstellen. Und hier ist Vorstellen nicht ein bestimmter seelischer Vorgang bei dem man zumeist die Augen schließt, oder mit den Händen bedeckt.

2 Was sagen wir, wenn uns so ein Axiom dargeboten wird, z.B. das Parallelenaxiom? Hat Erfahrung uns gezeigt, daß es sich so verhält?

Nun vielleicht; aber welche Erfahrung? Ich meine: Erfahrung spielt eine Rolle; aber nicht die, die man unmittelbar erwarten würde. Denn man hat ja doch nicht Versuche gemacht & gefunden, daß wirklich nur eine Gerade die andre Gerade nicht durch den Punkt schneidet. Und doch leuchtet der Satz ein. – Wenn ich nun sagte: es ist ganz gleichgültig, warum er einleuchtet. Genug: wir nehmen ihn an. Wichtig ist nur, wie wir ihn gebrauchen.

Der Satz beschreibt ein Bild. Nämlich dieses:

Dies Bild ist uns annehmbar. Wie es uns annehmbar ist, die ungenaue Kenntnis einer Zahl durch Abrunden auf ein Vielfaches von 10 anzudeuten.

‘Wir nehmen diesen Satz an.’ Aber als was nehmen wir ihn an?

3 Ich will sagen: Wenn der Wortlaut des Parallelen-Axioms, z.B., gegeben ist (& wir die Sprache verstehen) so ist die Art der Verwendung dieses Satzes, & also sein Sinn, noch gar nicht bestimmt. Und wenn wir sagen, er leuchtet uns ein, so haben wir damit, ohne es zu wissen, schon eine bestimmte Art der Verwendung des Satzes gewählt. Der Satz ist kein mathematisches Axiom, wenn wir ihn nicht gerade dazu verwenden.

Daß wir nämlich hier nicht Versuche machen, sondern das Einleuchten gelten lassen legt schon die Verwendung fest. Denn wir sind ja nicht so naiv, das Einleuchten statt des Versuchs gelten zu lassen.

Nicht, daß er uns als wahr einleuchtet, sondern daß wir das Einleuchten gelten lassen, macht ihn zum mathem. Satz.

4 Lehrt uns die Erfahrung daß zwischen je 2 Punkten eine Gerade möglich ist? Oder, daß zwei verschiedene Farben nicht an einem Orte sein können? Man könnte sagen: die Vorstellung lehrt es uns. Und darin liegt die Wahrheit; man muß es nur recht verstehen.

Vor dem Satz ist der Begriff noch geschmeidig.

Aber könnten nicht Erfahrungen uns bestimmen das Axiom zu verwerfen?!

Ja. Und dennoch spielt es nicht die Rolle des Erfahrungssatzes.

Warum sind die Newtonschen Gesetze keine Axiome der Mathematik? Weil man sich sehr wohl vorstellen könnte, daß es sich anders verhielte. Aber – will ich sagen – dies schreibt jenen Sätzen nur eine gewisse Rolle im Gegensatz zu einer andern zu. D.h.: von einem Satz zu sagen: ‘man könnte sich das auch anders vorstellen’ oder ‘man kann sich auch das Gegenteil davon vorstellen’, schreibt ihm die Rolle des Erfahrungssatzes zu.

Der Satz den man sich nicht anders als wahr soll vorstellen können hat eine andere Funktion als der für den es sich nicht so verhält.

5 Die mathem. Axiome funktionieren dergestalt, daß, wenn Erfahrung uns dazu bewegte, ein Axiom aufzugeben, sein Gegenteil damit nicht zum Axiom würde. ‘2 × 2 ≠ 5’ heißt nicht, ‘2 × 2 = 5’ habe sich nicht bewährt.

Man könnte den Axiomen, sozusagen, ein spezielles Behauptungszeichen vorsetzen.

Axiom ist etwas nicht dadurch, daß wir es als äußerst wahrscheinlich, ja als gewiß, anerkennen, sondern dadurch, daß wir ihm eine bestimmte Funktion zuerkennen & eine, die der des Erfahrungssatzes widerstreitet.

Wir geben dem Axiom eine andere Art der Anerkennung als dem Erfahrungssatz. Und damit meine ich nicht daß der ‘seelische Akt des Anerkennens’ ein andrer ist.

Das Axiom ist, möchte ich sagen, ein andrer Redeteil.

6 Man nimmt, wenn man das math. Axiom, das & das sei möglich, hört, ohne weiters an, man wisse, was hier ‘möglich sein’ bedeutet; weil die Satzform uns natürlich geläufig ist.

Man wird nicht gewahr, wie verschiedenerlei die Verwendung der Aussage, etwas sei möglich, ist & kommt nicht auf den Gedanken, nach der besondern Verwendung in diesem Fall, zu fragen.

Ohne die Verwendung im geringsten zu übersehen, können wir hier gar nicht zweifeln, daß wir den Satz verstehen.

Ist der Satz, daß es keine Wirkung in die Ferne gibt von dem Geschlecht der math. Sätze? Man möchte da auch sagen: der Satz ist nicht dazu bestimmt eine Erfahrung auszudrücken, sondern daß man sich etwas nicht anders vorstellen könne.

Zu sagen zwischen zwei Punkten sei – geometrisch – immer eine Gerade möglich, heißt: Von mehr als zwei Punkten zu sagen, sie lägen auf einer Geraden ist eine Aussage; es von zweien zu sagen ist keine.

So wie man sich auch nicht fragt, was ein Satz der Form “Es gibt kein …” (z.B. “Es gibt keinen Beweis dieses Satzes”) im besonderen Fall bedeutet. Auf die Frage was er bedeutet antwortet man dem Anderen & sich selbst mit einem Beispiel des Nicht-existierens.

7 Der math. Satz steht auf vier Füßen, nicht auf dreien; er ist überbestimmt.

8 Wenn wir das Tun eines Menschen, z.B., durch eine Regel beschreiben, so wollen wir, daß der, dem wir die Beschreibung geben, durch Anwendung der Regel wisse, was im besonderen Fall geschieht. Gebe ich ihm nun durch die Regel eine indirekte Beschreibung?

Es gibt natürlich einen Satz, der sagt: wenn Einer die Zahlen … nach den & den Regeln zu multiplizieren trachtet so erhält er ‥‥․.

Eine Anwendung des math. Satzes muß immer das Rechnen selber sein. Das bestimmt das Verhältnis der Rechentätigkeit zum Sinn der math. Sätze.

Wir beurteilen Gleichheit & Übereinstimmung nach den Resultaten unseres Rechnens, darum können wir nicht das Rechnen mit Hilfe der Übereinstimmung erklären.

Wir beschreiben mit Hilfe der Regel: Wozu? Warum das ist eine andre Frage.

‘Die Regel, auf diese Zahlen angewandt, gibt jene’ könnte heißen: der Regelausdruck auf den Menschen angewendet läßt ihn aus diesen Zahlen jene erzeugen.

Man fühlt ganz richtig daß dies kein math. Satz wäre.

Der math. Satz setzt einen gewissen Weg fest.

Es ist kein Widerspruch daß er eine Regel ist und nicht einfach festgesetzt, sondern nach Regeln erzeugt wird.

Wer mit einer Regel beschreibt, weiß selbst auch nicht mehr als er sagt. D.h., er sieht auch nicht die Anwendung voraus, die er im besondern Fall von der Regel machen wird. Wer “u.s.w.” sagt, weiß selbst auch nicht mehr als “u.s.w.”.

9 Wie könnte man Einem erklären, was der zu tun hat, der einer Regel folgen soll?

Man ist versucht zu erklären: vor allem tu das Einfachste (wenn die Regel z.B. ist immer das gleiche zu wiederholen). Und daran ist natürlich etwas. Es ist von Bedeutung, daß wir sagen können, es sei einfacher eine Zahlenreihe anzuschreiben, in der jede Zahl gleich der vorhergehenden ist, als eine Reihe, in der jede Zahl um 1 größer ist als die vorhergehende. Und wieder, daß dies ein einfacheres Gesetz ist als das, abwechselnd 1 und 2 zu addieren.

10 Ist es denn nicht übereilt, einen Satz, den man an Stäbchen & Bohnen erprobt hat, auf Wellenlängen des Lichts anzuwenden? Ich meine: daß 2 × 5000 = 10000 ist. Rechnet man wirklich damit, daß, was sich in so viel Fällen bewahrheitet hat, auch für diese stimmen muß? Oder ist es nicht vielmehr, daß wir uns mit der arithmetischen Annahme noch gar nicht binden?

11 Die Arithm. als die Naturgeschichte (Mineralogie) der Zahlen. Wer spricht aber so von ihr? Unser ganzes Denken ist von dieser Idee durchsetzt.

Die Zahlen sind Gestalten (ich meine nicht die Zahlzeichen) & die Arithm. teilt uns die Eigenschaften dieser Gestalten mit. Aber die Schwierigkeit ist da, daß die Eigenschaften der Gestalten Möglichkeiten sind; nicht die gestaltlichen Eigenschaften der Dinge, die die Gestalt haben. Und diese Möglichkeiten wieder entpuppen sich als physikalische, oder psychologische, Möglichkeiten (der Zerlegung, Zusammensetzung, etc.). Die Gestalten aber spielen (nur) die Rolle der Bilder, die man so & so verwendet. Nicht Eigenschaften von Gestalten ist es, was wir geben, sondern Transformationen von Gestalten, als irgendwelche Paradigmen aufgestellt.

12 Wir beurteilen nicht die Bilder, sondern mittels der Bilder. Wir erforschen sie nicht sondern mittels ihrer etwas anderes.

Du bringst ihn zu der Entscheidung dies Bild aufzunehmen. Und zwar durch Beweis, d.i., durch Vorführung einer Bilderreihe, oder einfach dadurch, daß Du ihm das Bild zeigst. Was zu dieser Entscheidung bewegt ist hier gleichgültig. Die Hauptsache ist, daß es sich um das Annehmen eines Bildes handelt.

Das Bild des Zusammensetzens ist kein Zusammensetzen; das Bild einer Zerlegung keine Zerlegung; das Bild des Passens kein Passen. Aber diese Bilder sind von der größten Bedeutung. So sieht es aus, wenn zusammengesetzt wird; wenn zerlegt wird; usw.

13 Wie wäre es, wenn Tiere oder Kristalle so schöne Eigenschaften hätten wie die Zahlen? Es gäbe also z.B. eine Reihe von Gestalten, eine immer um eine Einheit größer als die andere.

Ich möchte darstellen können, wie es kommt, daß die Math. jetzt uns als Naturgeschichte des Zahlenreiches, jetzt wieder als eine Sammlung von Regeln erscheint.

Könnte man aber nicht Transformationen von Tiergestalten (z.B.) studieren? Aber wie ‘studieren’? Ich meine: könnte es nicht nützlich sein, sich Transformationen von Tiergestalten vorzuführen? Und doch wäre dies kein Zweig der Zoologie. –

Ein math. Satz wäre es dann (z.B.), daß diese Transformation diese Gestalt in diese überleitet. (Die Gestalten & die Transformation wiedererkennbar.)

14 Wir müssen uns aber dessen erinnern, daß der math. Beweis durch seine Umformungen nicht nur zeichengeometrische Sätze, sondern Sätze des verschiedenartigsten Inhalts beweist.

So beweist die Umformung eines Russellschen Beweises, daß dieser logische Satz mit Hilfe dieser Regeln sich aus den Grundgesetzen bilden lasse. Aber der Beweis wird als Beweis der Wahrheit des Schlußsatzes angesehen, oder als Beweis dafür, daß der Schlußsatz nichts sagt. Das ist nun nur durch eine Beziehung des Satzes nach außen möglich; d.h. durch seine Beziehung zu andern Sätzen, z.B., & deren Anwendung.

‘Die Tautologie (‘p ⌵ ~p’, z.B.) sagt nichts’ ist ein Satz der sich auf das Sprachspiel bezieht, worin der Satz p angewendet wird. (Z.B.: “Es regnet, oder regnet nicht” ist keine Mitteilung über das Wetter.)

Die R.sche Logik sagt nichts darüber, welcher Art & Verwendung Sätze, ich meine nicht logische Sätze, sind: Und doch erhält die Logik ihren ganzen Sinn (nur) von der supponierten Anwendung auf die Sätze.

15 Man kann sich denken daß Leute eine angewandte Mathematik haben ohne eine reine Mathematik. Sie können z.B. – nehmen wir an – die Bahn berechnen, welche gewisse sich bewegende Körper beschreiben & deren Ort zu einer gegebenen Zeit vorhersagen. Dazu benüutzen sie ein Koordinatensystem, die Gleichung von Kurven (eine Form der Beschreibung wirklicher Bewegung) & die Technik des Rechnens im Dezimalsystem.

Die Idee eines Satzes der reinen Mathematik kann ihnen ganz fremd sein. Diese Leute haben also Regeln denen gemäß sie die betreffenden Zeichen insbesondere z.B. Zahlzeichen transformieren zum Zweck der Voraussage des Eintreffens gewisser Ereignisse.

Aber wenn sie nun z.B. multiplizieren, werden sie da nicht einen Satz gewinnen, der sagt, daß das Resultat der Multiplikation das gleiche ist, wie immer man die Faktoren vertauscht? Das wird keine primäre Zeichenregel sein, aber auch kein Satz ihrer Physik. Nun, sie brauchen so einen Satz nicht zu erhalten – selbst wenn sie das Vertauschen der Faktoren erlauben.

Ich denke mir die Sache so, daß diese Mathematik ganz in Form von Geboten betrieben wird. “Du mußt das & das tun” – um nämlich die Antwort darauf zu erhalten, ‘wo wird sich dieser Körper zu der & der Zeit befinden’. (Wie diese Menschen zu dieser Methode der Vorhersagung gekommen sind, ist ganz gleichgültig).

Der Schwerpunkt der Mathem. liegt für diese Menschen ganz im Tun.

16 Ist das aber möglich? Ist es möglich, daß sie das kommutative Gesetz (z.B.) nicht als Satz ansprechen?

Ich will doch sagen: Diese Leute sollen nicht zu der Auffassung kommen, daß sie mathem. Entdeckungen machen – sondern nur physikalische Entdeckungen. [Wie sehr ich doch bei meinem Denken von Spengler beeinflußt bin!]

Frage: Müssen sie mathem. Entdeckungen als Entdeckungen machen? Was geht ihnen ab wenn sie keine machen? Könnten sie (z.B.) den Beweis des kommutativen Gesetzes gebrauchen, aber ohne die Auffassung, er gipfle in einem Satz, er habe also ein Resultat das ihren physikalischen Sätzen irgendwie vergleichbar sei?

17 Das bloße Bild

einmal als 4 Reihen zu 5 Punkten, einmal als 5 Kolumnen zu 4 Punkten betrachtet könnte jemand vom kommutativen Gesetz überzeugen. Und er könnte daraufhin Multiplikationen einmal in der einen, einmal in der andern Richtung ausführen.

06.04.1942

Ein Blick auf die Vorlage & die Steine überzeugt ihn, daß er mit ihnen die Figur wird legen können, d.h., er unternimmt darauf, sie zu legen.

‘Ja, aber nur, wenn die Steine sich nicht ändern? – Wenn sie sich nicht ändern & wenn wir keinen unbegreiflichen Fehler machen, oder Steine unbemerkt verschwinden oder dazukommen. ‘Aber es ist doch wesentlich, daß sich die Figur tatsächlich allemal aus den Steinen legen läßt! Was geschähe wenn sie sich nicht legen ließe?’ – Vielleicht würden wir uns dann für geistesgestört halten. Aber – was weiter? – Vielleicht würden wir die Sache auch hinnehmen, wie sie ist. Und dann würde Frege sagen: “Hier haben wir eine neue Art der Verrücktheit”.

18 Es ist klar, daß die Mathematik als Technik des Umwandelns von Zeichen zum Zweck des Vorhersagens mit (der) Grammatik nichts zu tun hat.

19 (Jene) Leute, deren Mathematik nur eine solche Technik ist, sollen nun auch Beweise anerkennen, die sie von der Brauchbarkeit einer Zeichentechnik überzeugen.

20 Wenn uns das Rechnen als maschinelle Tätigkeit erscheint, so ist der Mensch, der die Rechnung ausführt, die Maschine.

Die Rechnung wäre dann gleichsam ein Diagramm, das ein Teil der Maschine hinschreibt.

21 Und das bringt mich darauf daß ein Bild uns sehr wohl davon überzeugen kann daß ein bestimmter Teil eines Mechanismus sich so & so bewegen werde wenn man den Mechanismus in Gang setzt.

So ein Bild (oder eine Bilderreihe) wirkt wie ein Beweis. So könnte ich z.B. konstruieren, wie der Punkt x des Mechanismus

sich bewegen werde.

Ist es nicht seltsam, daß es nicht augenblicklich klar ist, wie uns das Bild der Periode im Dividieren von der Wiederkehr der Ziffernreihe überzeugt?

(Es ist so schwer für mich, die innere Beziehung von der äußeren zu scheiden – das Bild von der Vorhersage.)

Der Doppelcharakter des math. Satzes – als Gesetz & als Regel.

22 Wie, wenn man statt “Intuition” sagen würde “richtiges Erraten”? Das würde den Wert einer Intuition in einem ganz andern Lichte zeigen. Denn das Phänomen des Ratens ist ein psychologisches, aber nicht das des richtig Ratens.

23 Daß wir die Technik gelernt haben, macht, daß wir sie nun, auf den Anblick dieses Bildes hin, so & so abändern.

‘Wir entschließen uns zu einem neuen Sprachspiel.’ ‘Wir entschließen uns spontan (möchte ich sagen) zu einem neuen Sprachspiel.’

24 Ja – es scheint: wenn unser Gedächtnis anders funktionierte, daß wir dann nicht so, wie wir's tun, rechnen könnten. Könnten wir aber dann Definitionen geben, wie wir es tun; so reden & schreiben, wie wir es tun? Wie aber können wir die Grundlage unsrer Sprache durch Erfahrungssätze ausdrücken?!

25 Angenommen, eine Division wenn wir sie ganz ausführen würde nicht zu demselben Resultat führen wie das Kopieren der Periode. Das könnte z.B. daher kommen, daß wir die Rechengesetzchen ohne uns dessen bewußt zu sein veränderten. (Es könnte aber auch daher kommen, daß wir anders kopieren.)

26 Was ist der Unterschied zwischen nicht rechnen & falsch rechnen. – Oder: ist eine scharfe Grenze zwischen dem, die Zeit nicht zu messen & sie falsch messen? Keine Zeitmessung zu kennen & eine falsche?

27 Gib auf das Geschwätz acht, wodurch wir jemand von der Wahrheit eines math. Satzes überzeugen. Es gibt einen Aufschluß über die Funktion dieser Überzeugung. Ich meine das Geschwätz womit die Intuition wachgerufen wird. Womit also die Maschine einer Technik in Gang gesetzt wird.

28 Kann man sagen, daß, wer eine Technik lernt, sich dadurch von der Gleichförmigkeit der Resultate überzeugt??

29 Die Grenze der Empirie – ist die Begriffsbildung.

Welchen Übergang mache ich von “es wird so sein” zu “es muß so sein”? Ich bilde einen andern Begriff. Einen, in dem inbegriffen ist was es früher nicht war. Wenn ich sage: “Wenn diese Ableitungen gleich sind, dann muß …”, Bilde also meinen Begriff der Gleichheit um.

Wie aber, wenn Einer nun sagt: “Ich bin mir nicht dieser zwei Vorgänge bewußt, ich bin mir nur der Empirie bewußt, nicht einer von ihr unabhängigen Begriffsbildung & Begriffsumbildung; alles scheint mir im Dienste der Empirie zu stehen.”? Mit andern Worten: wir scheinen nicht bald mehr, bald weniger rational zu werden, oder die Form unseres Denkens zu verändern, so daß damit sich das ändert, was wir “Denken” nennen. Wir scheinen es nur immer der Erfahrung anzupassen.

Das ist klar: daß, wenn Einer sagt: “Wenn Du der Regel folgst so muß es so sein”, (daß) er keinen klaren Begriff von Erfahrungen hat die dem Gegenteil entsprächen.

Oder auch so: Er hat keinen klaren Begriff davon, wie es aussähe, wenn es anders wäre. Und das ist sehr wichtig.

30 Was zwingt uns den Begriff der Gleichheit so zu formen, daß wir etwa sagen: “wenn Du beidemale wirklich das Gleiche tust, muß auch dasselbe herauskommen”? – Was zwingt uns, nach einer Regel vorzugehen, etwas als Regel aufzufassen? Was zwingt uns mit uns selbst in den Formen der von uns gelernten Sprache zu reden

Denn das Wort “muß” drückt doch aus, daß wir von diesem Begriff nicht abgehen können. (Oder soll ich sagen “wollen”?)

Ja, auch wenn ich von einer Begriffsbildung zu einer andern übergegangen bin, so bleibt der alte Begriff noch (immer) im Hintergrund.

Kann ich sagen: “Ein Beweis bringt uns zu einer gewissen Entscheidung, & zwar zu der, eine bestimmte Begriffsbildung anzunehmen”??

Sieh den Beweis nicht als einen Vorgang an der Dich zwingt, sondern der Dich führt. – Und zwar führt er Deine Auffassung eines (gewissen) Sachverhalts.

Aber wie kommt es, daß er jeden von uns so führt, daß wir übereinstimmend von ihm beeinflußt werden? Nun, wie kommt es daß wir übereinstimmend zählen? ‘Wir sind eben so abgerichtet’, kann man sagen, ‘und die Übereinstimmung die so erzeugt wird setzt sich durch die Beweise fort’.

Während dieses Beweises haben wir eine Anschauungsweise von der 3-Teilung des Winkels gebildet, die eine Konstruktion mit Lineal & Zirkel ausschließt.

Dadurch, daß wir einen Satz als selbstverständlich anerkennen, sprechen wir ihn auch von jeder Verantwortung gegenüber der Erfahrung frei.

Während des Beweises wird unsere Anschauung geändert – & daß das mit Erfahrungen zusammenhängt tut dem keinen Eintrag.

Unsre Anschauung wird umgemodelt.

31 Es muß so sein, heißt nicht, es wird so sein. Im Gegenteil: ‘Es wird so sein, wählt zwischen einer & einer andern Möglichkeit. ‘Es muß so sein’ sieht nur eine Möglichkeit.

Der Beweis leitet unsere Erfahrungen sozusagen in bestimmte Kanäle. Wer das & das immer wieder versucht hat gibt den Versuch Beweis auf.

Es versucht Einer ein gewisses Bild aus Steinen zusammenzulegen. Er sieht nun eine Vorlage in welcher ein Teil jenes Bilds aus allen seinen Steinen zusammengelegt erscheint, & gibt nun seinen Versuch auf. Die Vorlage war der Beweis dafür, daß sein Vorhaben unmöglich ist.

Auch die Vorlage, sowie die, die ihm zeigt daß er wird ein Bild aus diesen Steinen zusammensetzen können, ändert seinen Begriff. Denn er hat, könnte man sagen, das Zusammensetzen dieses Bildes aus diesen Steinen noch nie so angesehen.

Ist es gesagt, daß Einer, der sieht, daß man mit diesen Steinen einen Teil des Bildes legen kann, einsieht, daß man also auf keine Weise das ganze Bild aus ihnen wird legen können? Ist es nicht möglich, daß er versucht & versucht, ob nicht doch eine Stellung der Steine dies Ziel erreicht?

Muß man hier nicht zwischen (dem) Denken & dem praktischen Erfolg des Denkens unterscheiden?

32 “… die nicht, wie wir, gewisse Wahrheiten unmittelbar einsehen, sondern vielleicht auf den langwierigen Weg der Induktion angewiesen sind”, so sagt Frege. Aber was mich interessiert ist das unmittelbare Einsehen, ob es nun das einer Wahrheit ist, oder einer Falschheit. Ich frage: was ist das charakteristische Benehmen von Menschen, die etwas ‘unmittelbar einsehen’ – was immer der praktische Erfolg dieses Einsehens ist?

Mich interessiert nicht das unmittelbare Einsehen einer Wahrheit, sondern das Phänomen des unmittelbaren Einsehens. Nicht (zwar) als einer besondern seelischen Erscheinung sondern als einer Erscheinung im Handeln der Menschen.

33 Ja; es ist, als ob die Begriffsbildung unsre Erfahrung in bestimmte Kanäle leitete so daß man nun die eine Erfahrung mit der andern auf neue Weise zusammensieht. (Wie ein optisches Instrument Licht von verschiedenen Quellen auf bestimmte Art in einem Bild zusammenkommen läßt.)

Denke Dir, der Beweis wäre eine Dichtung ja ein Theaterstück. Kann mich das Ansehen eines solchen zu nichts bringen?

Ich wußte nicht wie es gehen werde, – aber ich sah ein Bild, & nun wurde ich überzeugt, daß es so gehen werde, wie im Bilde. Das Bild verhalf mir zur Vorhersage. Nicht als ein Experiment – – es war nur der Geburtshelfer der Vorhersage.

Denn, was immer meine Erfahrungen sind, oder waren, ich muß doch noch die Vorhersage machen. (Die Erfahrungen machen sie nicht für mich.)

Dann ist es ja kein so großes Wunder, daß der Beweis uns zur Vorhersage hilft. Ohne dieses Bild hätte ich nicht sagen können, wie es werden wird, aber wenn ich es sehe so ergreife ich es zur Vorhersage.

Welche Farbe eine chemische Verbindung haben wird kann ich nicht mit Hilfe eines Bildes vorhersagen, das mir die Substanzen in der Proberöhre & ihre Reaktion veranschaulicht. Zeigt das Bild ein Aufschäumen & am Ende rote Kristalle, so könnte ich nicht sagen: “Ja, so muß es sein”, oder “Nein, so kann es nicht sein”. Anders aber ist es wenn ich das Bild eines Mechanismus in Bewegung setze; dieses kann mich lehren wie ein Teil sich wirklich bewegen wird. Stellte aber das Bild einen Mechanismus dar dessen Teile aus einem sehr weichen Material (etwa Teig) bestünde & sich daher im Bild auf verschiedenste Art verbögen, so würde mir das Bild vielleicht wieder nicht zu einer Vorhersage verhelfen.

Kann man sagen: ein Begriff wird so gebildet daß er einer gewissen Vorhersage angepaßt ist, d.h., sie in den einfachsten Termini ermöglicht –?

34 Das philosophische Problem ist: wie können wir die Wahrheit sagen, & dabei diese starken Vorurteile beruhigen?

Es ist ein Unterschied: ob ich etwas als eine Täuschung meiner Sinne oder als ein äußeres Ereignis deute, ob ich diesen Gegenstand zum Maß jenes nehme, oder umgekehrt, ob ich mich entschließe, zwei Kriterien entscheiden zu lassen, oder nur eins.

35 Wenn richtig gerechnet wurde, so muß das herauskommen. Muß es dann immer so herauskommen? Natürlich.

Indem wir zu einer Technik erzogen sind, sind wir auch zu einer Betrachtungsweise abgerichtet, die ebenso fest sitzt als jene Technik.

Der math. Satz scheint weder von den Zeichen, noch von den Menschen zu handeln, & er tut es daher auch nicht.

Er zeigt die Verbindungen die wir als starr betrachten. Wir schauen aber sozusagen, von diesen Verbindungen weg & auf etwas anderes. Wir drehen ihnen sozusagen den Rücken. Oder: wir lehnen uns an sie oder fußen auf ihnen.

Nochmals: wir sehen den math. Satz nicht als einen Satz, der von Zeichen handelt an, & er ist es daher auch nicht.

Wir erkennen ihn an, indem wir ihn den Rücken drehen.

Wie ist es, z.B., mit den Grundgesetzen der Mechanik? Wer sie versteht, muß wissen, auf welche Erfahrungen sie sich stützen. Anders verhält es sich mit den Sätzen der reinen Mathematik.

36 Ein Satz kann ein Bild beschreiben & dieses Bild mannigfach in unserer Betrachtungsweise der Dinge, also in unserer Lebens- & Handlungsweise verankert sein.

Ist nicht der Beweis ein flimsy Grund die Suche nach einer Konstruktion der Dreiteilung ganz aufzugeben? Du bist nur ein oder zweimal diese Zeichenreihe durchgegangen & daraufhin willst Du Dich entschließen? Nur weil Du diese eine Transformation gesehen hast willst Du die Suche aufgeben?

Der Effekt des Beweises sei, daß sich in die neue Regel hineinstürzt.

Er hatte bisher nach der & der Regel gerechnet; nun zeigt ihm Einer den Beweis, man könne auch anders rechnen, & er schaltet nun (auf die andre Technik) um – nicht weil er sich sagt, es werde so auch gehen, sondern weil er die neue Technik mit der alten als identisch empfindet, weil er ihr denselben Sinn geben muß weil er sie als gleich anerkennt wie er diese Farbe als grün anerkennt. D.h.: das Einsehen der math. Relationen spielt eine ähnliche Rolle wie das Einsehen der Identität. Man könnte beinahe sagen, es ist eine kompliziertere Art der Identität.

Man könnte sagen: Die Gründe warum er nun auf eine andere Technik umschaltet, sind von gleicher Art wie die, die ihn eine neue Multiplikation so ausführen lassen, wie er sie ausführt; indem er die Technik als die gleiche anerkennt, wie die, die er bei andern Multiplikationen angewandt hatte.

37 18.05.1942

Ein Mensch ist in einem Zimmer gefangen, wenn die Türe unversperrt ist, sich nach innen öffnet; er aber nicht auf die Idee kommt zu ziehen, statt gegen sie zu drücken.

38 Wenn Weiß zu Schwarz wird, sagen manche Menschen “Es ist im wesentlichen noch immer dasselbe”. Und andere, wenn die Farbe um einen Grad dunkler wird, sagen “Es hat sich ganz verändert”.

39 Die Sätze “a = a”, “p ⊃ p”, “Das Wort ‘Bismarck’ hat 8 Buchstaben”, “Es gibt kein rötlichgrün”, sind alle einleuchtend & Sätze über das Wesen: was haben sie gemeinsam? Sie sind offenbar jeder von andrer Art & anderem Gebrauch. Der vorletzte ist einem Erfahrungssatz am ähnlichsten. Und es ist verständlich daß man ihn einen synthetischen Satz a priori nennen kann. Man kann sagen: wenn einer die Zahlenreihe mit der Buchstabenreihe nicht zusammenhält, kann er nicht wissen, wieviel Buchstaben das Wort hat.

40 15.09.1942

Eine Figur aus der andern nach einer Regel abgeleitet. (Etwa die Umkehrung vom Thema.)

Dann das Resultat als Äquivalent der Operation gesetzt.

41 Wenn ich schrieb “der Beweis muß übersichtlich sein” so hieß das: Kausalität spielt im Beweis keine Rolle. Oder auch: der Beweis muß sich durch bloßes Kopieren reproduzieren lassen.

42 Daß bei der Fortsetzung der Division von 1 ÷ 3 immer wieder 3 herauskommen muß wird ebenso wenig durch Intuition erkannt, wie, daß die Multiplikation 25 × 25 wenn man sie wiederholt immer wieder dasselbe Produkt liefert.

43 Man könnte vielleicht sagen daß der synthetische Charakter der Sätze der Math. sich am klarsten in der unregelmäßigen Verteilung der Primzahlen zeigt.

Aber weil sie synthetisch sind (in diesem Sinne), sind sie drum nicht weniger a priori. Man könnte sagen, will ich sagen, daß sie nicht aus den Begriffen durch einen Vorgang der Analyse abgeleitet werden können dennoch aber einen Begriff nach der Hand bestimmen.

Die Verteilung der Primzahlen wäre ein ideales Beispiel für das was man synthetisch a priori nennen könnte, denn man kann sagen, daß sie jedenfalls durch eine Analyse des Begriffs der Primzahl nicht zu finden ist.

44 Könnte man nicht wirklich von Intuition in der Math. reden? Nicht so aber, daß eine mathem. Wahrheit intuitiv erfaßt würde wohl aber eine physikalische, oder psychologische. So weiß ich mit großer Sicherheit, daß ich jedesmal 625 errechnen werde, wenn ich zehnmal 25 mit 25 multipliziere. D.h. ich weiß die psychologische Tatsache, daß mir immer wieder diese Rechnung als richtig erscheinen wird; so wie ich weiß, wenn ich die Zahlenreihe von 1 bis 20 zehnmal nacheinander aus dem Gedächtnis aufschreibe, die Aufschreibungen sich beim Kollationieren als gleich erweisen werden. – Ist das nun eine Erfahrungstatsache? Freilich – und doch wäre es schwer Experimente anzugeben die mich von ihr überzeugen würden. Man könnte so etwas eine intuitiv erkannte Erfahrungstatsache nennen.

45 Du willst sagen, daß jeder Beweis in einer oder der anderen Weise den Begriff des Beweises ändert.

Aber nach welchem Prinzip wird denn etwas als neuer Beweis anerkannt? Oder vielmehr gibt es da gewiß kein ‘Prinzip’.

46 Soll ich nun sagen: “wir sind überzeugt, daß immer wieder dasselbe Resultat herauskommen wird”? Nein, das ist nicht genug. Wir sind überzeugt, daß immer dieselbe Rechnung herauskommen, gerechnet werden, wird. Ist das nun eine mathematische Überzeugung? Nein – denn würde nicht immer dasselbe gerechnet so könnten wir nicht folgern, daß die Rechnung einmal ein Resultat das andre mal, ein anderes ergiebt.

Wir sind freilich auch überzeugt, daß wir beim wiederholten Rechnen das Bild der Rechnung reproduzieren werden. –

47 Könnte ich nicht sagen: wer die Multiplikation macht findet jedenfalls nicht das math. Faktum, aber den math. Satz? Denn, was er findet ist das nicht-math. Faktum, & so den math. Satz. Denn der math. Satz ist eine Begriffsbestimmung die auf eine Entdeckung folgt.

Du findest eine neue Physiognomie. Du kannst Dir sie z.B. jetzt merken oder sie kopieren.

Es ist eine neue Form gefunden, konstruiert worden. Aber sie wird dazu benützt mit der alten einen neuen Begriff zu geben:

Man ändert den Begriff so, daß das hat herauskommen müssen.

Ich finde nicht das Resultat; sondern ich finde, daß ich dahin gelange.

Und nicht das ist eine Erfahrungstatsache, daß dieser Weg da anfängt & da endet; sondern, daß ich diesen Weg, oder einen Weg zu diesem Ende, gegangen bin.

48 Aber könnte man nicht sagen, daß die Regeln diesen Weg führen, auch wenn niemand ihn gienge?

Denn das ist es ja, was man sagen möchte – und hier ist die Vorstellung von einem math. Mechanismus, einem, der nicht den Gesetzen der Physik, sondern nur denen der Math. gehorcht.

Ich will sagen: das Arbeiten der math. Maschine ist nur das Bild des Arbeitens einer Maschine.

Die Regel arbeitet nicht, denn, was immer der Regel nach geschieht, ist eine Interpretation der Regel.

49 Nehmen wir an, ich habe die Stadien der Bewegung von

im Bilde vor mir, so verhilft mir das zu einem Satz, den ich von diesem Bild gleichsam ablese. Der Satz enthält das Wort “ungefähr” & ist ein Satz der Geometrie.

Es ist seltsam, daß ich einen Satz von einem Bild soll ablesen können.

Der Satz aber handelt nicht von dem Bild das ich sehe. Er sagt nicht, daß auf diesem Bild das & das zu sehen ist. Er sagt aber auch nicht, was der wirkliche Mechanismus tun wird, obwohl er dies andeutet.

Aber könnte ich von der Bewegung des Mechanismus wenn ihre Teile sich nicht ändern, auch andere Zeichnungen anfertigen? D.h., bin ich nicht gezwungen eben dies als Bild der Bewegung, unter diesen Bedingungen, anzunehmen.

Denken wir uns die Konstruktion der Stadien des Mechanismus mit Strichen von wechselnder Farbe ausgeführt. Die Striche seien zum Teil schwarz auf weißem Grund, zum Teil weiß auf schwarzem Grund. Denke Dir die Konstruktionen im Euklid so ausgeführt; sie werden allen Augenschein verlieren.

50 Das umgekehrte Wort hat ein neues Gesicht.

Wie, wenn man sagte: Wer die Folge 1 2 3 umgekehrt hat, lernt über sie, daß sie umgekehrt 3 2 1 ergibt? Und zwar ist, was er lernt, nicht eine Eigenschaft dieser Tintenstriche, sondern der Folge von Formen. Er lernt eine formale Eigenschaft von Formen. Der Satz, welcher diese formale Eigenschaft aussagt, wird durch die Erfahrung bewiesen, die ihm die Entstehung der einen Form, in dieser Weise, aus der andern zeigt.

Hat nun, wer das lernt, zwei Eindrücke? Einen davon daß die Reihenfolge umgekehrt wird, den andern davon daß 3 2 1 entsteht? Und könnte er die Erfahrung, den Eindruck, daß 1 2 3 umgekehrt wird nicht haben und doch nicht den daß 3 2 1 entsteht? Vielleicht wird man sagen: “nur durch eine seltsame Täuschung”. –

Warum man eigentlich nicht sagen kann, daß man jenen formalen Satz aus der Erfahrung lernt – weil man es erst dann diese Erfahrung nennt, wenn dieser Prozeß zu diesem Resultat führt. Die Erfahrung, die man meint, besteht schon aus diesem Prozeß mit diesem Resultat.

Darum ist sie mehr wie die Erfahrung: ein Bild zu sehen.

Kann eine Buchstabenreihe zwei Umkehrungen haben? Etwa eine akustische & eine andere optische Umkehrung. Angenommen ich erkläre jemandem was die Umkehrung eines Wortes auf dem Papier ist, was man so nennt. Und nun stellt sich heraus daß er eine akustische Umkehrung des Wortes hat, d.h., etwas was er so nennen möchte was aber nicht ganz mit der geschriebenen Buchstabenreihe übereinstimmt. So daß man sagen kann: er hört das als Umkehrung des Wortes. Gleichsam als verzerrte sich ihm das Wort beim Umkehren. Und dies könnte etwa eintreten wenn er das Wort & die Umkehrung fließend ausspricht im Gegensatz zu dem Fall wenn er es buchstabiert. Oder die Umkehrung könnte anders scheinen, wenn er das Wort in einem Zuge vor- & rückwärts spricht.

Es wäre möglich, daß man das genaue Spiegelbild eines Profils sogleich nach diesem gesehen nie für das gleiche & nur in die andere Richtung gedrehte erklärte, sondern daß, um den Eindruck der genauen Umkehrung zu machen, das Profil in den Maßen etwas geändert werden müßte.

Ich will doch sagen, man könne nicht sagen: wir mögen zwar über die korrekte Umkehrung, eines langen Wortes z.B., im Zweifel sein, aber wir wissen, daß das Wort nur eine Umkehrung hat.

‘Ja, aber wenn es eine Umkehrung in diesem Sinne sein soll, dann kann es nur eine geben!’ Heißt hier ‘in diesem Sinne’: nach diesen Regeln, oder: mit dieser Physiognomie. Im ersten Falle wäre der Satz tautologisch, im zweiten muß er nicht wahr sein.

51 Denk Dir eine Maschine, die ‘so konstruiert ist’, daß sie eine Buchstabenreihe umkehrt. Und nun den Satz, daß das Resultat im Falle

ABER

REBA ist. –

Die Regel, wie sie wirklich gemeint ist, scheint eine treibende Kraft zu sein, die eine ideale Reihe so umkehrt, – was immer ein Mensch mit einer wirklichen Reihe tun mag. Dieser ist also der Mechanismus, der für den wirklichen als Maßstab, als Ideal zu gelten hat.

Und das ist verständlich. Denn wird das Resultat der Umkehrung zum Kriterium dafür daß die Reihe wirklich umgekehrt wurde, & drücken wir dies so aus, daß wir es einer idealen Maschine nachtun, so muß diese Maschine unfehlbar dies Resultat erzeugen.

52 Kann man nun sagen: daß die Begriffe, die die Math. schafft, eine Bequemlichkeit sind, daß es, wesentlich auch, ohne sie ginge?

Zuvörderst drückt die Annahme dieser Begriffe die sichere Erwartung gewisser Erfahrungen aus.

Wir nehmen es z.B. nicht hin, daß eine Multiplikation nicht jedesmal das gleiche Resultat ergibt.

Und was wir mit Sicherheit erwarten, ist für unser ganzes Leben wesentlich.

53 Warum soll ich aber dann nicht sagen, daß die math. Sätze eben jene bestimmten Erwartungen, d.h. also Erfahrungen ausdrücken? Nur weil sie es eben nicht tun. Die Annahme eines Begriffes ist eine Maßregel die ich vielleicht nicht ergreifen würde, wenn ich nicht das Eintreten gewisser Tatsachen mit Bestimmtheit erwartete; aber darum ist die Festsetzung dieses Maßes nicht äquivalent mit dem Aussprechen der Erwartungen.

54 Es ist schwer den Tatsachenkörper auf die richtige Fläche zu stellen: das Gegebene als gegeben zu betrachten. Es ist schwer den Körper anders aufzustellen als man gewohnt ist, ihn zu sehen. Ein Tisch in einer Rumpelkammer mag immer auf der Tischplatte liegen, aus Gründen der Raumersparnis, etwa So habe ich den Tatsachenkörper immer so aufgestellt gesehen, aus mancherlei Gründen; & nun soll ich etwas anderes als seinen Anfang & etwas anderes als sein Ende ansehen. Das ist schwer. Er will gleichsam nicht so stehen, es sei denn daß man ihn in dieser Lage durch andere Vorrichtungen unterstützt.

55 Es ist eines eine mathem. Technik zu gebrauchen, die darin besteht, den Widerspruch zu vermeiden, & ein anderes gegen den Widerspruch in der Mathematik überhaupt zu philosophieren.

56 Der Widerspruch. Warum grad dieses eine Gespenst? Das ist doch sehr verdächtig.

Warum sollte eine Rechnung zu einem praktischen Zweck angestellt die einen Widerspruch ergibt mir nicht sagen: “Tu wie Dir's beliebt, ich die Rechnung entscheide darüber nicht.”?

Der Widerspruch könnte als Wink der Götter aufgefaßt werden, daß ich handeln soll & nicht überlegen.

57 04.03.1944

“Warum soll es in der Mathematik keinen Widerspruch geben dürfen?” – Nun, warum darf es in unsern einfachen Sprachspielen keinen geben? (Da besteht doch gewiß ein Zusammenhang.) Ist das also ein Grundgesetz, das alle denkbaren Sprachspiele beherrscht?

Angenommen ein Widerspruch in einem Befehl z.B. bewirkt Staunen & Unentschlossenheit – & nun sagen wir: das eben ist der Zweck des Widerspruchs in diesem Sprachspiel.

58 Einer kommt zu Leuten & sagt: “Ich lüge immer”. Sie antworten: “Nun, dann können wir dir trauen!”. – Aber konnte er meinen, was er sagte? Und warum nicht? Gibt es nicht ein Gefühl, man sei unfähig etwas wirklich Wahres zu sagen; sei es was immer. –

“Ich lüge immer!” – Nun, & wie war's mit diesem Satz? – “Der war auch gelogen!” – Aber dann lügst du also nicht immer! – “Doch, alles ist gelogen!” Wir würden vielleicht von diesem Menschen sagen, er meint mit “wahr” & mit “lügen” nicht dasselbe was wir meinen. Er meine etwa, alles, was er sage, flimmere; oder nichts komme wirklich vom Herzen.

Man könnte auch sagen: sein “ich lüge immer” war eigentlich keine Behauptung. Eher war es ein Ausruf.

Man kann also sagen: “Wenn er jenen Satz nicht ohne Gedanken aussprach, – so mußte er die Worte so & so meinen, er konnte sie nicht auf die gewöhnliche Weise meinen”? aussprechen”?

59 Warum sollte man den Russellschen Widerspruch nicht als etwas Überpropositionales auffassen, etwas das über den Sätzen thront & nach beiden Seiten (wie ein Januskopf) schaut. N.B.: der Satz F(F) – in welchem F(ξ) = ~ξ(ξ) – enthält keine Variablen & könnte also als etwas Überlogisches, als etwas Unangreifbares, dessen Verneinung nur wieder es selber aussagt, gelten. Ja könnte man nicht sogar die Logik mit diesem Widerspruch anfangen? Und von ihm gleichsam zu den Sätzen niedersteigen.

Der sich selbst widersprechende Satz stünde wie ein Denkmal (mit einem Januskopf) über den Sätzen der Logik.

60 Nicht das ist ein Unglück, einen Widerspruch zu erzeugen in der Region, in der weder der widerspruchsfreie noch der widerspruchsvolle Satz eine Arbeit zu leisten hat; wohl aber das, nicht zu wissen, wo man in diese Region eingetreten ist wo der Widerspruch nicht mehr schadet.