Εύδοξος ο Κνίδιος

  Για πολλά χρόνια, η κοινή πεποίθηση στον κόσμο των επιστημών ήταν ότι ο Ισαάκ Νεύτων και ο Γκότφριντ Βίλχελμ Λάιμπνιτς ήταν οι αποκλειστικοί εφευρέτες αυτού που σήμερα ονομάζουμε λογισμό. Ο Νεύτων ονόμασε το έργο του «ροές» (fluxions), ενώ η σημειογραφία του Λάιμπνιτς είναι αυτή που χρησιμοποιούμε ακόμα και σήμερα στη μελέτη του διαφορικού και ολοκληρωτικού λογισμού. Ωστόσο, η σύγχρονη έρευνα έχει αποκαλύψει ότι ο πραγματικός «εφευρέτης» των θεμελίων αυτής της επιστήμης ήταν, στην πραγματικότητα, ο Εύδοξος ο Κνίδιος.

Ο Εύδοξος θεωρείται συχνά ο σπουδαιότερος από τους κλασικούς Έλληνες μαθηματικούς, με μόνη ίσως εξαίρεση τον Αρχιμήδη. Παρόλο που το σύνολο του γραπτού του έργου φαίνεται να έχει χαθεί στο πέρασμα των αιώνων, η επιρροή του παραμένει ανεξίτηλη, καθώς το έργο του αναφέρεται εκτενώς από μεταγενέστερους μαθηματικούς, συμπεριλαμβανομένου του Ευκλείδη.

  Οι περισσότερες πληροφορίες που διαθέτουμε για τη ζωή του Εύδοξου προέρχονται από τον ιστορικό του τρίτου αιώνα, Διογένη Λαέρτιο. Γεννημένος στην Κνίδο της Μικράς Ασίας γύρω στο 390 π.Χ., ο Εύδοξος ξεκίνησε το πνευματικό του ταξίδι σε νεαρή ηλικία. Σε ηλικία είκοσι τριών ετών, βρέθηκε στην Αθήνα, όπου παρακολούθησε διαλέξεις στην Ακαδημία του Πλάτωνα. 

Η δίψα του για γνώση τον οδήγησε σύντομα στην Αίγυπτο, όπου πέρασε δεκαέξι μήνες μελετώντας κοντά σε ιερείς και πραγματοποιώντας αστρονομικές παρατηρήσεις από ένα αστεροσκοπείο. Για να συντηρηθεί, στράφηκε στη διδασκαλία και επέστρεψε στη Μικρά Ασία, πριν γυρίσει ξανά στην Αθήνα για να εργαστεί ως δάσκαλος στην Πλατωνική Ακαδημία. Τελικά, επέστρεψε στη γενέτειρά του, την Κνίδο, όπου υπηρέτησε ως νομοθέτης, ενώ συνέχισε την έρευνά του μέχρι τον θάνατό του, περίπου το 337 π.Χ..

  Μία από τις σημαντικότερες συνεισφορές του Εύδοξου βρίσκεται στο πέμπτο βιβλίο των Στοιχείων του Ευκλείδη, το οποίο του πιστώνεται σε μεγάλο βαθμό. Εκείνη την εποχή, οι Έλληνες μαθηματικοί μετρούσαν τα αντικείμενα μέσω της αναλογίας. Ο Εύδοξος ήταν εκείνος που έδωσε νόημα στην ισότητα δύο λόγων, δημιουργώντας αυτό που ονομάζουμε αναλογία. 

  Η σημασία αυτής της ανακάλυψης γίνεται κατανοητή αν αναλογιστούμε την κρίση που αντιμετώπισαν οι Πυθαγόρειοι όταν ανακάλυψαν τους άρρητους αριθμούς. Οι Πυθαγόρειοι πίστευαν ότι όλα τα μεγέθη ήταν «σύμμετρα», δηλαδή ότι για οποιαδήποτε δύο μήκη α και β, υπήρχε πάντα μια κοινή μονάδα μέτρησης γ που τα χώραγε ακριβώς. Ωστόσο, η ανακάλυψη ότι η υποτείνουσα ενός ισοσκελούς ορθογωνίου τριγώνου με πλευρά 1 είναι η τετραγωνική ριζα του 2 —ένας αριθμός που δεν μπορεί να εκφραστεί ως λόγος ακεραίων— κατέρριψε αυτή την κοσμοθεωρία.

  Ο Εύδοξος έσωσε τα μαθηματικά από αυτό το αδιέξοδο. Ο ορισμός του για την ισότητα των λόγων δεν απαιτούσε οι ποσότητες να είναι ρητοί αριθμοί· λειτούργησε εξίσου καλά και για τους άρρητους. Με αυτόν τον τρόπο, έγινε ο πρώτος που κατέστησε τους άρρητους αριθμούς μετρήσιμους. Αιώνες αργότερα, ο Γερμανός μαθηματικός Richard Dedekind τόνισε ότι εμπνεύστηκε από τις ιδέες του Εύδοξου για να αναπτύξει την έννοια της «τομής Dedekind», που αποτελεί σήμερα τον τυπικό ορισμό των πραγματικών αριθμών.

  Η πλέον ιδιοφυής επινόηση του Εύδοξου ήταν η «Μέθοδος της Εξάντλησης». Πρόκειται για μια διαδικασία εύρεσης του εμβαδού ενός σχήματος μέσω της εγγραφής μιας σειράς πολυγώνων με ολοένα αυξανόμενο αριθμό πλευρών. Καθώς ο αριθμός των πλευρών αυξάνεται, η διαφορά στο εμβαδό μεταξύ του πολυγώνου και του αρχικού σχήματος γίνεται αυθαίρετα μικρή, μέχρι που το εμβαδό του σχήματος ουσιαστικά «εξαντλείται».

  Αυτή η μέθοδος αποτέλεσε τον άμεσο προκάτοχο του ολοκληρωτικού λογισμού. Αν και δεν χρησιμοποιούσε την έννοια των ορίων με τη σύγχρονη μορφή τους, βασιζόταν στη λογική παραδοχή ότι μια ποσότητα μπορεί να γίνει μικρότερη από μια άλλη μέσω της συνεχούς διχοτόμησής της. Ένα κλασικό παράδειγμα της εφαρμογής της ήταν η απόδειξη ότι το εμβαδό ενός κύκλου είναι ανάλογο προς το τετράγωνο της ακτίνας του.

  Ο Εύδοξος δεν έθεσε απλώς τις βάσεις για τον Ευκλείδη, αλλά ενέπνευσε και τον Αρχιμήδη, ο οποίος τελειοποίησε τη μέθοδο της εξάντλησης για να αποδείξει γεωμετρικά θεωρήματα που προμηνύουν τον σύγχρονο λογισμό. Ακόμα και το «αξίωμα του Αρχιμήδη», που χρησιμοποιεί ο Χίλμπερτ στα δικά του αξιώματα, έχει τις ρίζες του σε αυτή την παράδοση.

Η κατανόηση της συνεισφοράς του Εύδοξου μας προσφέρει μια αληθινή εκτίμηση για το πώς η μάθηση είναι συσσωρευτική. Τα τεράστια επιτεύγματα που θεωρούμε δεδομένα σήμερα —από τους υπολογιστές μέχρι τη σύγχρονη φυσική— θα ήταν αδύνατα χωρίς το έργο και τη λαμπρότητα εκείνων που προηγήθηκαν. Ο Εύδοξος ο Κνίδιος στέκεται ως ένας από τους πιο σημαντικούς «θεμελιωτές»  του τεχνολογικού μας κόσμου, αποδεικνύοντας ότι η μαθηματική ομορφιά και η λογική αυστηρότητα είναι διαχρονικές.