European Pupils

Magazine
Stavroula Tzimoulia
Experimental High School, Thessaloniki, Greece
stavrouli_to@hotmail.com

Mathematics & Philosophy Μαθηµατικά & Φιλοσοφία

Many of you believe that Mathematics is very
different from Philosophy. Are you sure about this?
If this is true, why the most famous Mathematicians
are also famous Philosophers or why the most fa-
mous Philosophers are also famous Mathemati-
cians? In other words what is the link between
Mathematics and Philosophy?
The bond between these two sciences is based on
a time line from Ancient Greece to today…
Ancient Greece
In Ancient Greece, there were schools and indi-
viduals who were interesting in Philosophy and
Mathematics. Thales (624-548 B.C.) was the first
one who convinced Mathematics and Philosophy.
He is known not only as a mathematician, but also
as a philosopher, astronomer, physician and even a π.Χ.) ήταν ο πρώτος που συνδύασε τα Μαθηµατικά
politician. Furthermore he is the founder of Reduc- µε τη Φιλοσοφία. Είναι γνωστός όχι µόνο ως
tio ad absurdum method.
Reductio ad absurdum method is very usual in
Number Theory. In addition many
use it when they want to make a deci-
sion about an issue, and they finally
choose on solution from many just with
rejecting the rest one after another.
Moreover, he was the first who
used axioms based on logic to confirm
geometrical problems.
His ideas influenced…
Pythagoreans who believed that
the world has been made by integer
numbers, so if they studied numbers
Pythagoreans
(especially using the Reductio ad ab-
surdum method), they could discover all the mys-
teries of the world. Their ideas influenced…
Plato (Please don’t get confused with the mod-
ern Plato’s Academy. In other words the nowadays
-philosophy of some people who live in this area
and of course is the philosophy of drinking, boring
and generally doing nothing).
Πολλοί από εσάς πιστεύετε πως τα
Μαθηµατικά είναι πολύ διαφορετικά από τη
Φιλοσοφία. Είστε σίγουροι για αυτό; Αν είναι αυτό
αλήθεια, τότε γιατί οι πιο διάσηµοι Μαθηµατικοί
είναι και διάσηµοι Φιλόσοφοι ή γιατί οι πιο
διάσηµοι Φιλόσοφοι είναι και διάσηµοι
Μαθηµατικοί; Με άλλα λόγια, τι ενώνει τα
Μαθηµατικά µε τη Φιλοσοφία;
Η ενότητα αυτών των δύο επιστηµών βασίζεται
σε ένα χρονολογικό πίνακα από την Αρχαία
Ελλάδα µέχρι σήµερα…
Αρχαία Ελλάδα
Στην Αρχαία Ελλάδα υπήρχαν και σχολές και
αυτόνοµα άτοµα που είχαν ενδιαφέρον για
Μαθηµατικά και Φιλοσοφία. Ο Θαλής (624-548
µαθηµατικός, αλλά και ως Φιλόσοφος,
Αστρονόµος, Φυσικός ακόµη και Πολιτικός.
Επίσης είναι ο θεµελιωτής της µεθόδου
εις άτοπον απαγωγής.
Η µέθοδος εις άτοπον απαγωγής
είναι πολύ συνηθισµένη στη Θεωρία
Αριθµών. Επιπλέον πολλοί τη
χρησιµοποιούνε όταν θέλουν να πάρουν
αποφάσεις για ένα ζήτηµα, και τελικά
διαλέγουν µία λύση από πολλές απλά
απορρίπτοντας τις υπόλοιπες τη µία
µετά την άλλη.
Επίσης ήταν ο πρώτος που
χρησιµοποίησε αξιώµατα βασισµένα
στη λογική για να λύσει γεωµετρικά
προβλήµατα.
Οι ιδέες του επηρέασαν τους…
Πυθαγόρειους οι οποίοι πίστευαν πως ο κόσµος
έχει φτιαχτεί από ακέραιους αριθµούς, εποµένως αν
µελετούσαν τους αριθµούς (κυρίως
χρησιµοποιώντας τη µέθοδο εις άτοπον απαγωγή),
θα µπορούσαν να ανακαλύψουν όλα τα µυστικά του
κόσµου. Οι ιδέες τους επηρέασαν τον…
16
 European Pupils
Magazine
Mathematics & Philosophy

On the door of his Academy had written: Μηδείς Πλάτωνα… σας παρακαλώ µην µπερδεύεστε µε
αγεωµέτρητος εισίτ, which means that anyone who την µοντέρνα Ακαδηµία Πλάτωνα… µε άλλα
doesn’t know geometry or he hasn’t thought of phi- λόγια τη σηµερινή φιλοσοφία µερικών ανθρώπων
losophical questions in his life, he cannot enter this που µένουν σε αυτήν την περιοχή και φυσικά
Academy… On Platonists’ point of view, our world πρόκειται για τη φιλοσοφία του ποτού, της
is the Idea World, which is a reflection of the Real τεµπελιάς και γενικότερα να µην κάνεις τίποτα…
World and the Real World have been made of Στην πόρτα της Ακαδηµίας ήταν γραµµένη η
Mathematics. This φράση: Μηδείς αγεωµέτρητος εισίτω, το οποίο
means that every- σηµαίνει πως όποιος δεν ξέρει γεωµετρία ή όποιος
thing we live now δεν έχει φιλοσοφήσει στη ζωή του, δεν µπορεί να
is not real, we µπει στην Ακαδηµία… Κατά την άποψη των
should find the Πλατωνιστών ο δικός µας κόσµος είναι ο Κόσµος
truth. In his book, των Ιδεών και ο Πραγµατικός Κόσµος έχει
Politia (Πολιτεία), δηµιουργηθεί από τα µαθηµατικά. Αυτό σηµαίνει
he describe his πως ό,τι ζούµε δεν είναι αληθινό, εµείς πρέπει να
thoughts with an βρούµε την αλήθεια. Στο βιβλίο του, Πολιτεία,
example as it fol- περιγράφει τις σκέψεις του µε παράδειγµα όπως
lows: αυτό που ακολουθεί:
We are in a Είµαστε σε µια σπηλιά, µε χέρια και πόδια
cave, gagged and δεµένα και κοιτάµε στον τοίχο. Πίσω µας υπάρχει
trussed up and we φωτιά και µετά τη φωτιά περνούν οι εικόνες του
look the wall. Be- Πραγµατικού Κόσµου, το µόνο πράγµα που
hind us there is fire βλέπουµε είναι η αντανάκλαση αυτών των εικόνων
and after the fire the pictures of Real World are στον τοίχο… Άρα αν θέλουµε να φτάσουµε στην
passing, the only thing we see is the reflection of αλήθεια πρέπει να λύσουµε τα χέρια µας και τα
these pictures on the wall… So if we want to reach πόδια µας, να περάσουµε µέσα απ’ τη φωτιά και να
the truth we have to work our hands and legs free, βγούµε απ’ τη σπηλιά…
pass through the fire and then to get out of this Επίσης οι υποστηρικτές του Πλατωνισµού
grave… πίστευαν πως δεν υπάρχει άπειρο στο διάστηµα και
In addition, the supporters of Platonism believed η λέξη άπειρο είχε αρνητική σηµασία.
that there is no infinity in the universe and the word
άπειρο (=infinity) had a negative meaning. Απ’ την άλλη πλευρά, οι Ελεάτες δηµιούργησαν
τα πρώτα παράδοξα για το
On the other hand, διάστηµα. Το παράδοξο
Eleatics made the first para- του Αχιλλέα και της
doxes about the infinity in χελώνας είναι ένα από τα
the universe. The paradox πιο διάσηµα παράδοξα, το
of Achilles and Tortoise is οποίο υποστηρίζει πως αν ο
one of the most famous Αχιλλέας και η χελώνα
paradoxes, which states that αρχίσουν να τρέχουν µαζί
if Achilles and a tortoise Achilles is trying to reach the tortoise... µε τη χελώνα να βρίσκεται
start running and the tortoise απ’ την αρχή σε µια
is from the beginning a distance in front of Achilles. απόσταση από τον Αχιλλέα, ο Αχιλλέας δε θα
So Achilles will never come up to the tortoise be- φτάσει ποτέ τη χελώνα επειδή τη στιγµή που θα
cause the moment he will be at a place where the βρίσκεται εκεί που ήταν η χελώνα πριν, την ίδια
tortoise were, the same moment the tortoise will στιγµή η χελώνα θα έχει καλύψει µια καινούρια
have covered a new distance and this distance be- απόσταση και ανάµεσα στον Αχιλλέα και τη
17
 European Pupils
Magazine
Mathematics & Philosophy

tween Achilles and tortoise is going to exist for χελώνα θα υπάρχει πάντα µια απόσταση...
ever… So do not be surprise with the idea that at the Εποµένως µην ξαφνιάζεστε µε την ιδέα πως ο
end of his life Zeno was crazy… Furthermore, Ζήνωνας τρελάθηκε στο τέλος της ζωής του…
Eleatics were the first ones whose cosmology in- Επίσης οι Ελεάτες ήταν οι πρώτοι οι οποίοι στην
cluded the word chaos meaning an area of absolute κοσµολογία τους περιείχαν τη λέξη «χάος» µε τη
nothing like the space void. σηµασία µιας περιοχής µε απολύτως τίποτα σαν
κενός χώρος.
With Ancient Greek people LOGIC was the
beginning of all the science as Aristotle state the 4 Με τους Αρχαίους Έλληνες, η ΛΟΓΙΚΗ ήταν
rules of logic: η αρχή όλων των επιστηµών όπως ο Αριστοτέλης
Principium identitatis, this axiom states that έθεσε τους 4 κανόνες της λογικής:
something is equal to itself, A=A, or the statement: Η αρχή της ταυτότητας, αυτό το αξίωµα
2+2=4. υποστηρίζει ότι κάτι είναι ισοδύναµο µε τον εαυτό
Principium contradictionis, the logic is every- του, Α=Α, ή η αποδοχή του 2+2=4.
where, because for example a human is human and Η αρχή της αντιφάσεως, η λογική είναι παντού,
not something else. So everything επειδή για παράδειγµα ο άνθρωπος
which is not no A is necessary A… είναι άνθρωπος και όχι κάτι άλλο.
(double negative) Εποµένως ο,τιδήποτε δεν είναι όχι Α
Principium exclusi tertii, this axiom είναι αναγκαστικά Α.
is based on Reductio ad absurdum Η αρχή του αποκλειοµένου τρίτου
method and states that A=B or A≠B. µέσου, αυτό το αξίωµα βασίζεται
Principium rationis sufficientis, πάνω στη µέθοδο εις άτοπον
everything has a reason if it exists, rea- απαγωγής και υποστηρίζει ότι Α=Β ή
son-result, for example the student did Α≠Β.
not write well, so they did not study. Achilles is thinking why Η αρχή του επαρκούς ή
he cannot reach the αποχρώντος λόγου, όλα έχουν λόγο
And how all these ideas survived? tortoise… για να υπάρχουν, αίτιο-αποτέλεσµα,
για παράδειγµα ο µαθητής δεν έγραψε καλά άρα δεν
Arabs and Hindus saved a lot of the ancient είχε µελετήσει.
passages with two ways:
1. They translated the ancient books in their lan- Αλλά πως διασώθηκαν όλες αυτές οι ιδέες;
guage
2. They used them to create their own work. Οι Άραβες και οι Ινδοί έσωσαν πολλά αρχαία
One of their greatest contributions to Mathemat- κείµενα µε δύο τρόπους:
ics was: 0… And from zero we have the philosophy Μεταφράσανε τα αρχαία βιβλία στη γλώσσα τους.
of nihilism (nihil=zero), which states that every- Τα χρησιµοποίησαν για να κάνουν τα δικά τους
thing comes out of nothing … δηµιουργήµατα.
Ένα από τα µεγαλύτερα επιτεύγµατά τους στα
Middle age in Europe Μαθηµατικά είναι το: 0… Και από το µηδέν έχουµε
During the Middle age, every revolutionary or και τη φιλοσοφία του νιχιλισµού (nihil=µηδέν), που
innovative idea was burned in the name of Christ. υποστηρίζει πως όλα προέρχονται από το τίποτα…
However the first idea that managed to survive
was… Μεσαίωνας στην Ευρώπη
Στη διάρκεια του Μεσαίωνα κάθε πιο εξελιγµένη
Empiricism ή κάθε καινοτόµα ιδέα καιγότανε στο όνοµα του
Thomas Hobbes (1588-1679) was one of the 1st Χριστού. Παρόλα αυτά η πρώτη ιδέα που κατάφερε
empiricists. He supported that if we can’t imagine να επιζήσει ήταν…
18
 European Pupils
Magazine
Mathematics & Philosophy
something, it doesn’t exist. This Theory was Plato’s
Theory Reversed, because Plato stated that we live
in an Idea World…
Moreover Quine and Putnam support the indis-
pensability argument: Mathematics is indispensa-
ble to all empirical sciences, and if we want to be-
lieve in the reality of the phenomena described by
the sciences, we ought also believe in the reality of
those entities required for this description. That is,
since physics needs to talk about electrons to say
why light bulbs behave as they do, then electrons
must exist. Since physics needs to talk about num-
bers in offering any of its explanations, then num-
bers must exist.
David Hilbert
Formalism
Formalism was one of the main theories created
in 19th century. Its supporters believed that there is
no problem without a solution, under the necessary
circumstances such us to say the problem in a cor-
rect way. One of the main supporters, David Hil-
bert, said: in Mathematics there is no Ignorabimus
which means that in Mathematics there is nothing
we are going to avoid because we do not know it,
this was the only statement accepted by everyone…
Moreover Hilbert believed that we can create an
algorithm which will give a solution for every prob-
lem. In Philosophical option it could be a way to
find solutions for all the every-day problems… His
ideas were laughed by Intuitionism, especially by
Poincare who said that Hilbert’s ideas was like hav-
ing a machine and you put on the one side pig and at
the other side you get sausages…
19
Ο Εµπειρισµός
Ο Thomas Hobbes (1588-1679) ήταν ένας από
τους πρώτους εµπειριστές. Υποστήριξε πως αν δεν
µπορούµε να φανταστούµε κάτι τότε αυτό δεν υπάρχει.
Αυτήν η θεωρία ήταν µια αντιστροφή της θεωρίας του
Πλάτωνα διότι ο Πλάτωνας πίστευε ότι ζούµε σε έναν
κόσµο ιδεών…
Επιπλέον, ο Quine και ο Putnam υποστήριξαν
το indispensability argument:
Τα µαθηµατικά είναι αναπόφευκτα σε όλες τις
εµπειρικές επιστήµες, και εάν θέλουµε να
πιστεψουµε στην πραγµατικότητα των
φαινοµένων που περιγράφονται από τις
επιστήµες, πρέπει επίσης να πιστεψουµε στην
πραγµατικότητα εκείνων των οντοτήτων που
απαιτούνται για αυτήν την περιγραφή. ∆ηλαδή
δεδοµένου ότι η φυσική πρέπει να µιλήσει για τα
ηλεκτρόνια για να πει γιατί οι λάµπες φωτός
συµπεριφέρονται όπως συµπεριφέρονται, κατόπιν
τα ηλεκτρόνια πρέπει να υπάρξουν. ∆εδοµένου ότι
η φυσική πρέπει να µιλήσει για τους αριθµούς για
οποιαδήποτε από τις εξηγήσεις της σε φαινόµενα,
έτσι οι αριθµοί πρέπει να υπάρξουν.
Φορµαλισµός
Ο Φορµαλισµός ήταν µια από της κυριότερες
θεωρίες που δηµιουργήθηκαν τον 19ο αιώνα. Οι
υποστηρικτές του πίστευαν πως δεν υπάρχει
πρόβληµα χωρίς λύση, κάτω από τις σωστές
καταστάσεις όπως δηλαδή να λέµε το πρόβληµα µε
τον σωστό τρόπο. Ένας από τους κύριους
υποστηρικτές, ο David Hilbert, είπε: Στα
Μαθηµατικά δεν υπάρχει Ignorabimus το οποίο
σηµαίνει ότι στα Μαθηµατικά δεν υπάρχει τίποτα
που θα παραµελήσουµε επειδή δεν το γνωρίζουµε,
αυτή ήταν η µόνη κοινά αποδεκτή ιδέα απ’
όλους…
Επίσης ο Hilbert πίστευε ότι µπορούµε να
δηµιουργήσουµε έναν αλγόριθµο που θα έδινε
λύση για κάθε πρόβληµα. Από Φιλοσοφική άποψη
αυτό θα µπορούσε να είναι ένας τρόπος για να
βρίσκουµε λύσεις για όλα τα καθηµερινά
προβλήµατα… Αυτήν η ιδέα του χλευάστηκε από
τους Ιντουινιστές, ιδιαίτερα από τον Poincare που
είπε πως οι ιδέες του Hilbert είναι σαν να έχεις µια
µηχανή όπου από τη µία βάζεις γουρούνια και από
την άλλη βγαίνουν λουκάνικα…
 European Pupils
Magazine
Mathematics & Philosophy
Logicism
Logicists believe that Mathematics are a part of
our knowledge of logic, so every mathematical
statement should be necessary a logical truth.
But Russell’s paradox came opposite to this
idea. Russell’s paradox is similar to what
Evoulidis’ paradox, he stated: Now I am lying to
you! If he is lying, he is actually telling the truth,
but if he is telling the truth, he is actually lying…
Russell said that if there is a total which contain all
the totals, then this total should contain itself which
contain all the totals, which should contain itself…
On the other hand, another important issue is the
language of science and about this issue Philosopher
Wittgenstein believed that there are not paradoxes;
there is just the wrong use of language… He also
believed that there are not any Philosophical ques-
tions and this idea was con-
firmed that was wrong at a
dispute with the subject: Are
there any philosophical
questions? which took
place in 1956 and Popper
was opposite to Wittgen-
stein. This is the most fa-
mous dispute of all due to
the strong dissent. In addi-
tion, Wittgenstein was hold-
ing a torch against to Popper.
Gödel’s incompleteness theorem
Kurt Gödel was a young full-of-life Mathemati-
cian and he was preparing his postgraduate studies
when a phrase started stabilizing in his mind: There
is no ignorabimus in Mathematics… On the other
hand Russell’s paradox had disturbed the whole
Mathematical Society. Gödel finally confirmed that
every system is incomplete. In other words, there are
problems without a solution and we can not know if
a problem has a solution or not. In Philosophy and
every day life this incompleteness means that we
can not control everything and sometimes there is
not a perfect solution to our problems, so choose
what you thing is the best solution, because chaos is
in our lives.
20
Λογικισµός
Οι Λογικιστές πίστευαν ότι τα Μαθηµατικά είναι
ένα µέρος της γνώσης µας για τη λογική, εποµένως
κάθε µαθηµατική δήλωση είναι αναγκαστικά λογική
αλήθεια.
Αλλά το παράδοξο του Russell ήταν αντίθετο µε
αυτά τα λεγόµενα. Το παράδοξο του Russell είναι
παρόµοιο µε αυτό του Ευβουλίδη, ο οποίος δήλωσε:
Τώρα σας λέω ψέµατα! Αν ψεύδεται, στην
πραγµατικότητα λέει την αλήθεια, αν όµως λέει την
αλήθεια, τότε ψεύδεται… Ο Russell είπε πως αν
υπάρχει ένα σύνολο που περιέχει όλα τα σύνολα, τότε
αυτό το σύνολο θα πρέπει να περιέχει και τον εαυτό
του, όµως ο εαυτός του περιέχει όλα τα σύνολα µαζί
και τον εαυτό του.
Από την άλλη πλευρά ένα σηµαντικό ζήτηµα είναι
η γλώσσα της επιστήµης και για αυτό το ζήτηµα ο
Φιλόσοφος Wittgenstein πίστευε πως δεν υπάρχουν
παράδοξα· υπάρχει µόνο η κακή χρήση της γλώσσας…
Επίσης υποστήριζε πως δεν υπάρχουν φιλοσοφικά
ερωτήµατα και αυτήν η άποψη αποδείχτηκε πως ήταν
λάθος στην λεκτική αντιπαράθεση µε θέµα Υπάρχουν
φιλοσοφικά ερωτήµατα το οποίο έγινε το 1950 και ο
Popper ήταν αντίθετος µε τον Wittgenstein. Αυτήν
είναι η πιο διάσηµη αντιπαράθεση από όλες, εξαιτίας
της διαφωνίας που κορυφώθηκε. Επιπλέον ο
Wittgenstein κρατούσε µια δάδα εναντίον του Popper.
Το Θεώρηµα της Μη Πληρότητας του Gödel
Ο Kurt Gödel ήταν ένας νέος, γεµάτος ζωή
Μαθηµατικός και ετοίµαζε τις µεταπτυχιακές του
εργασίες όταν µια φράση άρχισε να στριφογυρίζει στο
µυαλό του: Στα Μαθηµατικά δεν υπάρχει
Ignorabimus. Απ’ την άλλη πλευρά το παράδοξο του
Russell είχε αναστατώσει ολόκληρη τη Μαθηµατική
Κοινότητα. Ο Gödel τελικά απέδειξε ότι κάθε σύστηµα
είναι Μη Πλήρες. Με άλλα λόγια, υπάρχουν
προβλήµατα χωρίς λύση και δεν µπορούµε να
γνωρίζουµε αν ένα πρόβληµα έχει λύση ή δεν έχει. Στη
Φιλοσοφία και στην καθηµερινή ζωή αυτή η Μη
Πληρότητα σηµαίνει πως δεν µπορούµε να ελέγξουµε
τα πάντα και µερικές φορές δεν υπάρχει µια τέλεια
λύση για τα προβλήµατά µας, γιαυτό διαλέξτε αυτήν
που νοµίζετε πως είναι η καλύτερη λύση, επειδή το
χάος βρίσκεται µέσα στις ζωές µας.
 European Pupils
Magazine
Mathematics & Philosophy

Nowadays, Hilary Putnam states: Στις µέρες µας ο Hilary Putnam υποστηρίζει ότι:
When philosophy discovers something Όταν η φιλοσοφία ανακαλύπτει κάτι
wrong with science, sometimes science has λανθασµένο µε την επιστήµη, µερικές φορές η
to be changed — Russell's paradox comes επιστήµη πρέπει να αλλάξει - το παράδοξο του
to mind, as does Berkeley's attack on the Russell έρχεται να µας απασχολήσει, όπως η
actual infinitesimal — but more often it is επίθεση του Berkeley στο πραγµατικό
philosophy that απειροελάχιστο -
has to be αλλά συχνότερα
changed. I do not είναι φιλοσοφία
think that the που πρέπει να
difficulties that αλλάξει. ∆εν
philosophy finds νοµίζω ότι οι
with classical δυσκολίες που η
mathematics to- φιλοσοφία βρίσκει
day are genuine µε τα κλασσικά
difficulties; and µαθηµατικά είναι
I think that the σήµερα γνήσιες
philosophical in- δυσκολίες και
terpretations of νοµίζω ότι οι
mathematics that φιλοσοφικές
we are being of- ερµηνείες των
fered on every µαθηµατικών που
hand are wrong, and that philosophical in- µας προσφέρονται σε κάθε περίπτωση κάνουν
terpretation is just what mathematics does- λάθος, και αυτήν η "φιλοσοφική ερµηνεία" είναι
n't need. (Putnam, 169-170) ακριβώς αυτό που τα Μαθηµατικά δεν έχουν
ανάγκη (Putnam, 169-170)

In conclusion,
What links Mathematics and Philosophy,
Logic or Chaos?
From my point of view, the answer is both,
but you do not have to agree with me…
Just think before you answer!
Bibliography
Doxiadis, Apostolos, et. Al. Logicomix, Greece:
Ikaros publishing, 2008
Rucker, Rudy, Infinity and the Mind, Creta: Univer-
sity of Creta, 1982 (translated 1995)
Clawson, Calvin C, The Math Traveler, U.S.A: Ple-
num publishing, 1994
Nikolaou Soulia, Logic, Greece: O.E.D.V., 1978
www.telemath.gr/mathematical_ancient_times/
ancient_greek_mathematicians/greeks.php
21
Τελικά,
Τι ενώνει τα Μαθηµατικά και τη Φιλοσοφία, η
Λογική ή το Χάος;
Κατά την άποψή µου, η απάντηση είναι και τα
δύο, αλλά δε χρειάζεται να συµφωνήσετε µαζί
µου…
Aπλά σκεφτείτε πριν απαντήσετε!
Iconography
http://kougemitros.files.wordpress.com/2009/11/
raf_pythagoras.jpg
http://en.wikipedia.org/wiki/File:Hilbert.jpg
http://images.fanpop.com/images/image_uploads/
Athens-ancient-greece-585514_1278_95