+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: ARTICLES (https://mklab.gr/forumdisplay.php?fid=13)
+---- Thread: Are Mathematics is discovered or invented ? (/showthread.php?tid=365)
Are Mathematics is discovered or invented ? - mklabgr - 06-14-2026
Summary
The blog post describes a debate on whether mathematics is a human invention or something discovered, where the author argues against the motion and defends the idea that mathematics is primarily discovered rather than invented. He illustrates this by pointing to deep, unexpected connections across different areas of mathematics—such as Monstrous Moonshine and the ADE classification—which were initially seen as coincidences but later revealed to be part of rich, unified structures.
The author suggests that the repeated emergence of the same mathematical structures in unrelated contexts indicates an underlying reality being uncovered rather than something freely created. He also acknowledges a subtle distinction between mathematical objects themselves and the language used to describe them, but ultimately concludes that the coherence and universality of mathematics strongly support the view that it is discovered.
ARTICLE
(FOLLOWS A TRANSLATION TO GREEK-AΚΟΛΟΥΘΕΙ ΜΕΤΑΦΡΑΣΗ ΣΤΑ ΕΛΛΗΝΙΚΑ)
RE: Are Mathematics is discovered or invented ? - mklabgr - 06-14-2026
Χθες το βράδυ έλαβα μέρος σε μια συζήτηση που διοργάνωσαν από κοινού η Φοιτητική Λέσχη Αντιλογίας και η Μαθηματική Εταιρεία. Η πρόταση που τέθηκε προς ψηφοφορία ήταν:
Quote:Η παρούσα Βουλή πιστεύει ότι τα Μαθηματικά είναι ανθρώπινη εφεύρεση και όχι ανακάλυψη.
Όταν με κάλεσαν να συμμετάσχω, μου δόθηκε η επιλογή πλευράς. Πιστεύω ότι θα μπορούσα να υποστηρίξω και τις δύο, αλλά αποφάσισα ότι θα ήταν πιο διασκεδαστικό να εναντιωθώ στην πρόταση. Υπολόγισα σωστά, όπως αποδείχθηκε, ότι σκοπός της βραδιάς δεν ήταν να κερδίσει κανείς, αλλά να προσφερθεί στο κοινό μια εντυπωσιακή και προβληματίζουσα συζήτηση.
Τα επιχειρήματα των αντιπάλων
Οι άλλοι τρεις ομιλητές ήταν, τουλάχιστον σε κάποιο βαθμό, φιλόσοφοι. Τα επιχειρήματα των υποστηρικτών της πρότασης δεν με έπεισαν. Το πρώτο ήταν ότι είναι δυνατό συγκεκριμένα τμήματα των μαθηματικών να είναι ανακαλύψεις, ενώ τα μαθηματικά ως σύνολο να αποτελούν εφεύρεση. Η άποψή μου είναι ότι κάτι τέτοιο θα μόλυνε ολόκληρο το οικοδόμημα. Το δεύτερο επιχείρημα ήταν ότι υπάρχουν τρεις ιδιότητες που χαρακτηρίζουν αναπόφευκτα κάθε εφεύρεση, και τα μαθηματικά τις παρουσιάζουν και τις τρεις — η ανοικτότητα και η στοχοκατευθυνόμενη φύση τους ήταν δύο από αυτές. Διαφωνώ και με τα δύο μέρη. Είναι εύκολο να αναφερθούν εφευρέσεις που δεν οδηγούν πουθενά· και εκείνο το τμήμα των μαθηματικών που είναι στοχοκατευθυνόμενο είναι ακριβώς αυτό που ο G. H. Hardy θα απέρριπτε ως «όχι πραγματικά μαθηματικά».
Είχα μόλις δέκα λεπτά, οπότε δεν αφιέρωσα χρόνο στην ανασκευή αυτών των επιχειρημάτων, πέρα από την παρατήρηση ότι αν ήθελα να μάθω κάτι για την πρόταση, δεν θα απευθυνόμουν σε φιλόσοφο· θα εξέταζα τα ίδια τα μαθηματικά αναζητώντας εσωτερικές αποδείξεις.
Τι εννοούμε «ανακάλυψη»;
Ανέφερα ότι χρειαζόμαστε μια σαφή κατανόηση της έννοιας «ανακάλυψη». Βέβαια, τα μαθηματικά δεν ανακαλύπτονται με τον τρόπο που ανακαλύφθηκε η Αμερική ή ένα παλιό βίκινγκ σπαθί στο υπόγειο. Το μοντέλο που πρότεινα βασίστηκε στο εξής: κάτοικοι διαφόρων κοιλάδων των Ιμαλαΐων έβλεπαν ένα μεγάλο βουνό, αλλά πίστευαν ότι ήταν διαφορετικά βουνά — έως ότου ανακαλύφθηκε ότι όλοι έβλεπαν το ίδιο (αυτό που σήμερα ονομάζουμε Έβερεστ). Το επιχείρημά μου ήταν ότι υπάρχουν ιδέες που διατρέχουν σαν ενωτικές κλωστές ολόκληρα τα μαθηματικά, και ανακαλύπτονται σε διαφορετικούς τομείς από ανθρώπους που αρχικά αγνοούν ο ένας τον άλλον. Οι συμπτώσεις είναι πολύ εντυπωσιακές για να θεωρηθούν εφεύρεση, και η πανταχού παρουσία ορισμένων ιδεών δείχνει ότι δεν αποτελούν απλά τοπικά φαινόμενα.
Πρώτο παράδειγμα: το Monstrous Moonshine
Ξεκίνησα λέγοντας ότι η συμμετρία είναι πραγματική και σημαντική — τόσο στην καθημερινή ζωή (όταν κοιτάμε στον καθρέπτη) όσο και στη θεμελιώδη φυσική (για την κατάταξη των στοιχειωδών σωματιδίων). Οι μαθηματικοί μελετούν τη συμμετρία μέσω της «θεωρίας ομάδων». Τον 19ο αιώνα ανακαλύψαμε ότι οι πεπερασμένες ομάδες «χτίζονται» από άτομα που ονομάζονται «πεπερασμένες απλές ομάδες»· τον 20ό αιώνα βρήκαμε όλες τις πεπερασμένες απλές ομάδες, αν και η πληρότητα της ταξινόμησης επιβεβαιώθηκε αυτόν τον αιώνα. Οι περισσότερες ανήκουν σε άπειρες οικογένειες, αλλά υπάρχουν είκοσι έξι εξαιρέσεις. Η μεγαλύτερη από αυτές λεγόταν αρχικά «Φιλικός Γίγαντας» — προς τιμήν των ανακαλυπτών της, Fischer και Griess — αλλά τελικά επικράτησε ο όρος Τέρας (Monster), που εισήγαγε ο John Conway.
Στα πρώτα χρόνια, ορισμένα χαρακτηριστικά του Τέρατος είχαν ήδη γίνει γνωστά: η τάξη του (πάνω από 10[sup]50[/sup], τεράστια αλλά πολύ μικρότερη από τον αριθμό των στοιχειωδών σωματιδίων του σύμπαντος) και η ελάχιστη διάσταση των μητρών που μπορούν να το αναπαραστήσουν: 196.883. Για το ευρύτερο κοινό εξήγησα ότι ένα λογιστικό φύλλο με 196.883 στήλες και τον ίδιο αριθμό γραμμών θα μπορούσε να περιέχει ένα στοιχείο του Τέρατος.
Όταν ο John McKay το έμαθε αυτό, ήταν ίσως ένας από τους ελάχιστους στον κόσμο που γνώριζε επίσης τη μορφική ανάλυση: συγκεκριμένα, τη διαμορφική συνάρτηση, η οποία μπορεί να εκφραστεί ως σειρά Fourier. Οι δύο πρώτοι συντελεστές είναι 1 και 0 — αδιάφοροι. Αλλά ο τρίτος είναι 196.884 = 196.883 + 1. Όταν ο Conway το έμαθε, χαρακτήρισε τη σύμπτωση «φεγγαρίσιο παραλήρημα» (moonshine). Αν τα μαθηματικά ήταν εφεύρεση, ο Conway θα είχε δίκιο. Όμως δεν ήταν παραλήρημα: περαιτέρω έρευνα αποκάλυψε μια βαθιά αντιστοιχία που σήμερα έχει αποδειχθεί επίσημα, αν και δεν έχει πλήρως κατανοηθεί. Αυτός ο νέος κλάδος ονομάζεται Monstrous Moonshine — ένας όρος που ξεκίνησε ως υποτιμητικός αλλά σήμερα χρησιμοποιείται με υπερηφάνεια.
Δεύτερο παράδειγμα: τα ADE διαγράμματα
Εισήγαγα το δεύτερο παράδειγμα αναφερόμενος στις δύο κλασικές αντιλήψεις για το Σύμπαν: ως διακριτό ή ως συνεχές. Αυτή η αντίθεση ανάγεται στους προσωκρατικούς Έλληνες. Ο Alan Watts την περιέγραψε ως «μύτες και γλίτσα», ενώ ο μαθηματικός βιολόγος John Maynard Smith ως «ποιότητα και ποσότητα». Μια από τις μεθόδους σύνδεσης των δύο κόσμων ήταν η Θεωρία Καταστροφών (Catastrophe Theory), που αναγνώριζε επτά «στοιχειώδεις καταστροφές». Στη συνέχεια ο Vladimir Arnold έδειξε ότι υπάρχει πολύ περισσότερη δομή: αυτές οι ιδιομορφίες περιγράφονται από τα ADE διαγράμματα. Η πανταχού παρουσία τους — από τη γενική σχετικότητα και τη θεωρία γράφων έως τις Lie άλγεβρες — υποστηρίζει το επιχείρημά μου. Ειδικότερα, ο McKay (και πάλι!) βρήκε μια γέφυρα που συνδέει τα κανονικά πολύεδρα στον τρισδιάστατο χώρο με συνεχείς δομές όπως τα οκτονία.
Ως τεκμήριο χρησιμοποίησα το πρόσφατο βιβλίο «ADE: Patterns in Mathematics», και αναφέρθηκα ακόμη στην ανακάλυψη της σύνδεσης μεταξύ ADE διαγραμμάτων και φασματικής θεωρίας πεπερασμένων γράφων — η οποία οδήγησε τελικά στη συμμετοχή μου ως συγγραφέα στο βιβλίο αυτό.
Γλώσσα και Μαθηματικά
Αρκετά μέλη του κοινού επισήμαναν ότι υπάρχει διαφορά μεταξύ των ίδιων των μαθηματικών και της γλώσσας που χρησιμοποιούμε για να τα περιγράψουμε: τα πρώτα θα μπορούσαν να είναι ανακάλυψη, ενώ η δεύτερη είναι αναμφίβολα εφεύρεση. Στα σχόλια κλεισίματος ανέφερα το αίτημα του Conway για ένα «κίνημα απελευθέρωσης των μαθηματικών», όπου αντί για υπέρμετρα σύνθετες κατασκευές θα ορίζαμε απλά τις ιδιότητες που θέλουμε μια δομή να έχει και θα εγγυόμασταν την ύπαρξή της — ξεπερνώντας έτσι το πρόβλημα της γλώσσας. Παραδέχτηκα, βέβαια, ότι κάτι τέτοιο ανήκει ακόμη στο μέλλον.
Αποτέλεσμα
Η συζήτηση έληξε με σαφή πλειοψηφία εναντίον της αρχικής πρότασης, ενώπιον του μεγαλύτερου κοινού που έχει παρακολουθήσει αυτές τις φοιτητικές συζητήσεις εδώ και καιρό — πιθανώς από την εποχή της πανδημίας. Όσοι μίλησα μαζί τους στη συνέχεια εξέφρασαν θετικά σχόλια για τη συμβολή μου.
Πηγή: Peter Cameron's Blog – Discovered or invented?