Preproceedings 2006 - Austrian Ludwig Wittgenstein Society
Preproceedings 2006 - Austrian Ludwig Wittgenstein Society
Preproceedings 2006 - Austrian Ludwig Wittgenstein Society
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
axiom of parallels and showed that they were all<br />
invalid. What a disgrace for the mathematical<br />
community! The problem turned out to be<br />
unsolvable - so geometricians had for many<br />
centuries sought something which, in the end,<br />
turned out to be impossible! Gauss treated this<br />
question as a secret research project, because he<br />
was afraid of the “Geschrei der Böotier!” (“The<br />
uproar of the Boeothians”, cf. Oskar Becker 1975,<br />
page 178).<br />
2) The positive aspect: when a problem has been<br />
definitively established as being unsolvable,<br />
researchers are free not to deal with it any more,<br />
and are therefore able to calm down and start to<br />
work on other questions. The idea of the<br />
independence of a statement had not yet been<br />
invented, and the new geometry was called Meta-<br />
Geometry.<br />
I should like to move now from mathematics to<br />
psychology, because I want to use modern psychology as<br />
a framework of reference for examining the history of<br />
mathematics.<br />
Gregory Bateson and his followers created the<br />
concept of “punctuation” and “re-interpretation”, which is<br />
exactly what happens here in the course of the history of<br />
mathematics (cf. Simon/Clement/Stierlin 1999, page 151).<br />
On the one hand, a catastrophe occurred because an<br />
impossibility had been found. On the other hand, however,<br />
it was possible to achieve the clarification of a longinvestigated<br />
question through a proof. True, it was a<br />
negative proof - but a proof nonetheless.<br />
It is not at all astonishing that it took mathematicians<br />
just over a century to adopt the new, positive view: their<br />
attitude changed from a sense of having utterly failed and<br />
of having suffered a catastrophe towards the relief of<br />
having negatively but definitively clarified an important<br />
issue.<br />
<strong>Wittgenstein</strong> must have been fascinated by this shift<br />
in the attitude of mathematicians towards this new subject,<br />
which incorporated an impossibility at the philosophical<br />
level.<br />
4. <strong>Wittgenstein</strong> on the axiom of parallels<br />
and the trisection of the angle<br />
Now let us look at <strong>Wittgenstein</strong>´s remarks on non-<br />
Euclidean geometry in his talks with Waismann as<br />
presented by McGuinness in 1979! What happened in the<br />
dialogue between these two intellectuals when they met at<br />
Schlick´s house on 1 st January in 1931? They discussed<br />
consistency, and this was not by far the first occasion on<br />
which they talked about this topic: indeed, the question of<br />
consistency was a central focus of their talks. In current<br />
discussions, the connection between geometry and<br />
consistency is drawn based on the fact that a relative proof<br />
of consistency of the two variants of non-Euclidean<br />
geometries is established through reducing the question of<br />
the consistency of non-Euclidean geometries to the<br />
question of the consistency of Euclidean geometry.<br />
Waismann introduces this topic:<br />
“If in the one case [the non-Euclidean geometries],<br />
the theorems included a contradiction, then the<br />
contradiction would have to reveal itself in the other<br />
geometry too” (Brian McGuinness 1979, page 144).<br />
<strong>Wittgenstein</strong>´s reaction to Waismann is a sharp rebuke:<br />
“Consistency ´relative to Euclidean geometry´ is complete<br />
<strong>Wittgenstein</strong>, Waismann and Non-Euclidean Geometries - Martin Ohmacht<br />
nonsense” (op. cit. page 145). This is one of the occasions<br />
where <strong>Wittgenstein</strong> definitely humiliates Waismann and<br />
Waismann is humble enough not to react aggressively to<br />
<strong>Wittgenstein</strong>. The choice of these two elements in the<br />
dialogue would at first lead one to infer that <strong>Wittgenstein</strong> is<br />
not inclined to accept an element of leadership in the<br />
dialogue from Waismann’s side - but this impression is not<br />
totally correct, because when discussing Fermat´s Last<br />
Theorem (op. cit. page 144) in this text on consistency,<br />
<strong>Wittgenstein</strong> accepts a suggestion from Waismann<br />
concerning an issue of discussion, which had been put<br />
forward by Waismann beforehand (op. cit. age 143).<br />
Waismann seems to have interrupted <strong>Wittgenstein</strong>´s flow<br />
of thought by suggesting Fermat´s Last Theorem as a<br />
topic because, before turning to this issue, <strong>Wittgenstein</strong><br />
mentions the trisection of the angle. What is the reason for<br />
mentioning this rather simple piece of mathematics? In my<br />
interpretation of <strong>Wittgenstein</strong>´s philosophy of mathematics,<br />
the reason for choosing this topic is that the trisection of<br />
the angle is another impossible thing to do, as Pierre<br />
Wantzel proved in 1837 following precursory work by<br />
Gauss (see Stillwell 2005, page 55). Although the axiom of<br />
parallels is a proof that is impossible to establish, while the<br />
trisection of the angle is a geometric construction which<br />
cannot be carried out, <strong>Wittgenstein</strong> tells us here that<br />
geometry is not only incomplete because the axiom of<br />
parallels is independent (next heading line op. cit. page<br />
145), but also because the long-sought trisection of the<br />
angle cannot be found (although we can discuss it).<br />
5. Euclidean geometry and consistency<br />
When we examine these parts of the records of the<br />
discussions between <strong>Wittgenstein</strong> and Waismann, then it<br />
becomes clear that geometry is being discussed not for its<br />
own sake, but in order to clarify the question of<br />
consistency. Around 1850, a new term emerges in<br />
mathematical discussions: the term “Euclidean geometry”.<br />
This term only makes sense in relation to the term “non-<br />
Euclidean geometry”, because without this comparison the<br />
term “Euclidean geometry” is a pleonasm. Until the middle<br />
of the 19 th century, before non-Euclidean geometry was<br />
discovered, all geometry represented Euclidean geometry.<br />
<strong>Wittgenstein</strong> says “The rules of Euclidean geometry<br />
do not contradict one another” (op. cit. page 195).<br />
Of course, <strong>Wittgenstein</strong>´s statement that the rules (=<br />
axioms) of Euclidean geometry do not contradict each<br />
other is not at all a provable statement, but it is part of a<br />
hermeneutic approach to what mathematicians believe to<br />
be true. <strong>Wittgenstein</strong>’s overall goal when discussing<br />
consistency is the establishment of a method in<br />
preparation for the appearance of a contradiction in<br />
mathematics. This advance preparation for the worst case<br />
makes it necessary to discuss what is most feared,<br />
whereby a prerequisite for this “talking cure” is a sort of<br />
inner freedom not to be so much afraid of contradiction<br />
that one shrinks from talking about it. “What are we to do?”<br />
(op. cit. page 196) is <strong>Wittgenstein</strong>´s motto. Let us prepare<br />
a method before a contradiction pops up.<br />
6. Conclusion: the close connection<br />
between the issue of geometries and the<br />
issue of consistency<br />
When we examine the records of the discussions between<br />
<strong>Wittgenstein</strong> and Waismann in overview, it becomes quite<br />
clear that the issue of consistency is of the utmost<br />
235