13.02.2013 Views

Preproceedings 2006 - Austrian Ludwig Wittgenstein Society

Preproceedings 2006 - Austrian Ludwig Wittgenstein Society

Preproceedings 2006 - Austrian Ludwig Wittgenstein Society

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!