Η έννοια της απόδειξης, θεμελιακό εργαλείο της μαθηματικής μεθόδου από την ελληνική αρχαιότητα, βρίσκεται στο επίκεντρο του βιβλίου «Οι μεταμορφώσεις του λογισμού» (Εκδ. Εκκρεμές. Mετάφραση: Τεύκρος Μιχαηλίδης) του Γάλλου μαθηματικού, ερευνητή και καθηγητή στην École polytechnique, Ζιλ Ντοβέκ.
Πρόκειται για άκρως ενδιαφέρον ανάγνωσμα που επιτρέπει στον αναγνώστη να ακολουθήσει τον συγγραφέα στην περιπέτεια της εξέλιξης της μαθηματικής επιστήμης, με αφετηρία την προϊστορία των μαθηματικών και τα ελληνικά μαθηματικά και προορισμό τη νέα κατεύθυνση της επιστήμης στην εποχή της ραγδαίας τεχνολογικής εξέλιξης και της κυριαρχίας των υπολογιστών.
Όσοι από τους αναγνώστες δεν είναι μαθηματικοί έχουν, σίγουρα, την ευκαιρία να προσεγγίσουν τον «κλειστό» κόσμο των μαθηματικών: τη λογική του Frege που κατάφερε να δώσει έναν ορισμό των ακέραιων και να αποδείξει την πρόταση «2+2=4, τη θεωρία των τύπων του Russel, την τελική μορφή των κατηγορημάτων του Hilbert και πολλές ακόμα κατακτήσεις.
Η συναρπαστική περιπλάνηση στον κόσμο των μαθηματικών αποκαλύπτει σιγά-σιγά ότι στις προθέσεις του συγγραφέα δεν ήταν απλώς η ιστορική καταγραφή μιας επιστήμης, αλλά να δείξει τη σταδιακή μεταμόρφωσή της και τη νέα της κατεύθυνση στο σύγχρονο κόσμο.
Παρουσίαση από τον Γιώργο Καρουζάκη
Η έννοια της απόδειξης, θεμελιακό εργαλείο της μαθηματικής μεθόδου από την ελληνική αρχαιότητα, βρίσκεται στο επίκεντρο του βιβλίου «Οι μεταμορφώσεις του λογισμού» (Εκδ. Εκκρεμές. Μετάφραση : Τεύκρος Μιχαηλίδης) του Γάλλου μαθηματικού, ερευνητή και καθηγητή στην École polytechnique, Ζιλ Ντοβέκ.
Είναι συγγραφέας πολλών βιβλίων, μεταξύ των οποίων και επιστημονικά βιβλία με αποδέκτες το ευρύ κοινό. Σε αυτή την κατηγορία κατατάσσονται και «Οι μεταμορφώσεις του λογισμού», πόνημα το οποίο τιμήθηκε το 2007 και με το «Μεγάλο βραβείο φιλοσοφίας της Γαλλικής Ακαδημίας».
Πρόκειται για άκρως ενδιαφέρον ανάγνωσμα που επιτρέπει στον αναγνώστη να ακολουθήσει τον συγγραφέα στην περιπέτεια της εξέλιξης της μαθηματικής επιστήμης, με αφετηρία την προϊστορία των μαθηματικών και τα ελληνικά μαθηματικά και προορισμό τη νέα κατεύθυνση της επιστήμης στην εποχή της ραγδαίας τεχνολογικής εξέλιξης και της κυριαρχίας των υπολογιστών.
Το στοιχείο το οποίο οδηγεί τον Ζιλ Ντοβέκ να πιστεύει ότι ο νέος αιώνας ενδέχεται να αποτελέσει το πεδίο μιας ακόμα επανάστασης στα μαθηματικά, είναι η, σχετικά πρόσφατη, επανεκτίμηση της παλιάς, μάλλον παραμελημένης, έννοιας του υπολογισμού. Κάνοντας λόγο για τις προκαταλήψεις που έχουν ακόμα αρκετοί μαθηματικοί απέναντι στην αλγοριθμική μέθοδο του υπολογισμού και τη μεγαλύτερη εμπιστοσύνη που δείχνουν στην αξιωματική – παραγωγική μέθοδο του συλλογισμού, επισημαίνει τη σημασία της επανεξέτασης των σχέσεων ανάμεσα στις δυο μεθόδους, αλλά και του διαλόγου των μαθηματικών με τις φυσικές επιστήμες, όπως είναι η φυσική και η βιολογία.
Για να μιλήσει, όμως, ο συγγραφέας για τα νέα δεδομένα στη μαθηματική επιστήμη και για την κρίση της αξιωματικής μεθόδου στα μαθηματικά, μάς οδηγεί με τη γνώση, την πυκνότητα του λόγου του και το χάρισμα της σαφήνειας, στο μακρινό παρελθόν. Στα μαθηματικά πριν από τον Πυθαγόρα, τον Θαλή, τον Αναξίμανδρο που θεμελίωσαν τους κλάδους της αριθμητικής και της γεωμετρίας.
Από την ικανότητα των λογιστών – γραφέων της Μεσοποταμίας να κάνουν διαιρέσεις πριν από την επινόηση της θεωρητικής αριθμητικής, φτάνει στη συνέχεια στους πρώτους κανόνες συλλογισμού των φιλοσόφων και των μαθηματικών, στην κατασκευή του αλγορίθμου του Ευκλείδη, στο θεώρημα του Θαλή με τον υπολογισμό του ύψους μιας πυραμίδας και στις μεταμορφώσεις του λογισμού μέσα στον 20ο αιώνα, που αποτελούν και θεμελιώδες κεφάλαιο του βιβλίου.
Το μεγαλύτερο μέρος της αφήγησης, με τη σχεδόν γραμμική περιγραφή των σταδίων εξέλιξης της μαθηματικής επιστήμης, μοιάζει με την προσπάθειά του να αφηγηθεί συνοπτικά, με ζωηρό και εύληπτο τρόπο την ιστορία των μαθηματικών. Όσοι από τους αναγνώστες δεν είναι μαθηματικοί έχουν, σίγουρα, την ευκαιρία να προσεγγίσουν τον «κλειστό» κόσμο των μαθηματικών: τη λογική του Frege που κατάφερε να δώσει έναν ορισμό των ακέραιων και να αποδείξει την πρόταση «2+2=4, τη θεωρία των τύπων του Russel, την τελική μορφή των κατηγορημάτων του Hilbert και πολλές ακόμα κατακτήσεις.
Η συναρπαστική περιπλάνηση στον κόσμο των μαθηματικών αποκαλύπτει σιγά-σιγά ότι στις προθέσεις του συγγραφέα δεν ήταν απλώς η ιστορική καταγραφή μιας επιστήμης, αλλά να δείξει τη σταδιακή μεταμόρφωσή της και τη νέα της κατεύθυνση στο σύγχρονο κόσμο.
Οι θεωρίες της υπολογισιμότητας και κατασκευασιμότητας, η εμφάνιση νέων αλγορίθμων, η «αυτόματη απόδειξη» στην πληροφορική στις αρχές της δεκαετίας του 70, η απόδειξη, αργότερα, του θεωρήματος των τεσσάρων χρωμάτων με τη συμβολή ενός υπολογιστή, είναι ορισμένα μόνο από τα επιστημονικά παραδείγματα που αξιοποιεί ο Ζιλ Ντοβέκ για να θέσει προς το τέλος του βιβλίου το ερώτημα : «Άραγε ο υπολογισμός θα μας επιτρέψει να απαλλαγούμε μια μέρα από τα αξιώματα ή, παρά τον υπολογισμό, θα είμαστε πάντοτε υποχρεωμένοι να τους παραχωρήσουμε μια θέση στο μαθηματικό οικοδόμημα»;
Κανένας δεν είναι ακόμα σε θέση να πει, σύμφωνα με τον συγγραφέα, ποια από τα μεγάλα ανοικτά προβλήματα των μαθηματικών θα λυθούν με τη βοήθεια οργάνων και ποια θα λυθούν με χρήση των παραδοσιακών τεχνικών. «Δεν είναι προφανές», καταλήγει, «ότι οι υπολογιστές θα προσκομίσουν πολλά νέα αποτελέσματα σε όλους τους κλάδους των μαθηματικών. Κάποιοι από αυτούς ίσως να χρειάζονται περισσότερο από τους άλλους το λογισμό. Μένει να δούμε ποιοι».
Ερωτήσεις, αφορμή για συζήτηση, από τον Γιώργο Καρουζάκη
– Με ποιο τρόπο οι Μεσοποτάμιοι λογιστές έκαναν διαιρέσεις πολύ πριν από την επινόηση της αριθμητικής ;
– Πώς οι ίδιοι μπόρεσαν να συλλάβουν έναν αλγόριθμο για τη διαίρεση χωρίς να καταφύγουν σε κάποιο συλλογισμό ;
– Τι είναι ένας συλλογισμός ;
– Ποιες ήταν οι μεταμορφώσεις του λογισμού κατά τη διάρκεια του 20ου αιώνα ;
– Για ποιο λόγο αποδεχόμαστε τη θέσπιση αξιωμάτων ;
– Ποιες ήταν οι δύο θεωρίες που εμφανίστηκαν στις αρχές του 20ου αιώνα και αφορούσαν και οι δύο τον υπολογισμό ;
– Με ποιο τρόπο το θεώρημα του Church φωτίζει με νέο φως την έννοια της αναλυτικής κρίσης ;
– Είναι δυνατόν μια μηχανή να συντάσσει αποδείξεις εξίσου καλά με ένα ανθρώπινο ον ;
Συνέντευξη στον Γιώργο Καρουζάκη
O κορυφαίος Γάλλος μαθηματικός Gilles Dowek, ερευνητής στο ΙΝRIA και καθηγητής στην École Polytechnique μάς παραχώρησε μια μεγάλη συνέντευξη, ειδικά για την ιστοσελίδα της ομάδας ΘΑΛΗΣ + ΦΙΛΟΙ, με αφορμή την ελληνική έκδοση του βιβλίου του «Οι μεταμορφώσεις του λογισμού» (Εκδ. Εκκρεμές. Μετάφραση: Τεύκρος Μιχαηλίδης). Το βιβλίο, μια συναρπαστική μαθηματική ιστορία, τιμήθηκε το 2007 με το «Μεγάλο βραβείο φιλοσοφίας της Γαλλικής Ακαδημίας».
Ο αναγνώστης ακολουθεί τον συγγραφέα στην περιπέτεια της εξέλιξης της μαθηματικής επιστήμης, με αφετηρία την προϊστορία των μαθηματικών και τα ελληνικά μαθηματικά και προορισμό τη νέα κατεύθυνση της επιστήμης στην εποχή της ραγδαίας τεχνολογικής εξέλιξης και της κυριαρχίας των υπολογιστών.
– Πιστεύετε ότι το νέο επιστημονικό ενδιαφέρον για τον υπολογισμό θα προκαλέσει μια καινούργια επανάσταση στα μαθηματικά τον 21ο αιώνα;
Πριν από το ερώτημα για το ρόλο του υπολογισμού στα μαθηματικά, υπάρχει ακόμα ένα : ποια είναι τα όρια των μαθηματικών και μέχρι πού μπορούν να φτάσουν. Δεν αναφέρομαι στους ιδανικούς μαθηματικούς ενός επίσημου συστήματος, αλλά στη μεγάλη οικογένεια των ενεργών μαθηματικών. Στο μεσοδιάστημα από την εφεύρεση της τυπογραφίας μέχρι και την εμφάνιση των υπολογιστών οι μαθηματικοί έκαναν κάποιες αποδείξεις μερικών χιλιάδων σελίδων. Από την εποχή της εφεύρεσης του υπολογιστή οι αποδείξεις αυξήθηκαν σε εκατομμύρια σελίδες, για να θυμηθούμε, μόνο, την απόδειξη του Θεωρήματος των Τεσσάρων Χρωμάτων και ακόμα δεν ξέρουμε που μπορούν να φτάσουν μέσα στον 21ο αιώνα. Αλλά, ως συνήθως, μια ποσοτική εξέλιξη προαναγγέλλει και μια ποιοτική εξέλιξη. Τι μπορεί να σημαίνει τελικά η κατανόηση μιας απόδειξης εκατομμυρίων σελίδων;
– Στο βιβλίο σας γράφετε ότι οι επιστήμονες πρέπει να επανεξετάσουν το διάλογο ανάμεσα στα μαθηματικά και τις φυσικές επιστήμες, τη φυσική και τη βιολογία. Τι είδους οφέλη μπορεί να προκύψουν από αυτόν τον διάλογο;
Το σημείο εκκίνησης ενός τέτοιου διαλόγου είναι πάντοτε ίδιο: ένα φυσικό φαινόμενο περιγράφεται με μαθηματικό τρόπο. Για παράδειγμα η ελεύθερη πτώση περιγράφεται με μια διαφορική εξίσωση. Οι μαθηματικοί έχουν νέα αντικείμενα να μελετήσουν και οι φυσικοί νέες προβλέψεις για να πειραματιστούν. Στις περισσότερες εποχές οι μαθηματικοί και οι φυσικοί είναι, συχνά, τα ίδια πρόσωπα. Ο διάλογος μοιάζει να λειτουργεί, ακόμα και σήμερα, πολύ καλύτερα ανάμεσα στα μαθηματικά και τη φυσική απ΄ότι ανάμεσα στα μαθηματικά και τη βιολογία. Γιατί ; H υπόθεση που κάνω βασίζεται στο ότι η σχέση των μαθηματικών με τη φυσική έχει ενισχυθεί από το γεγονός ότι η περιγραφή των φυσικών φαινομένων βασίζεται σε μαθηματικά εργαλεία : τις διαφορικές εξισώσεις.
Μοιάζει δύσκολο βιολογικές διεργασίες, όπως είναι η σύνθεση των πρωτεϊνών, να περιγραφούν με τη γλώσσα του απειροστικού λογισμού. Μπορούν όμως να περιγραφούν με μια αλγοριθμική γλώσσα. Υπάρχει, λοιπόν, τώρα μια νέα ευκαιρία να αναπτυχθεί ο διάλογος ανάμεσα στα μαθηματικά και τις φυσικές επιστήμες και με τη χρήση της αλγοριθμικής γλώσσας, συμπληρωματικά με τις διαφορικές εξισώσεις. Από αυτού του τύπου τον διάλογο θα μπορούσε να επωφεληθεί η φυσική. Για παράδειγμα, στη Νευτώνεια φυσική ένα φυσικό φαινόμενο μπορεί, θεωρητικά, να χρησιμοποιήσει μια απεριόριστη ποσότητα πληροφοριών σε ένα πεπερασμένο χρονικό διάστημα, επειδή η πληροφορία ταξιδεύει απεριόριστα γρήγορα και τα μεγέθη περιγράφονται με πραγματικούς αριθμούς, οι οποίοι έχουν έναν άπειρο αριθμό δεκαδικών ψηφίων. Αλλά οι φυσικοί έχουν αποτύχει στο να δημιουργήσουν τέτοιου είδους φαινόμενα στο εργαστήριο. Και αυτό ίσως, να δείχνει ότι φυσικές θεωρίες θα έπρεπε να αποκλείουν τέτοιου είδους φαινόμενα στην αρχή.
– Πώς οι νέες επιστημονικές ανακαλύψεις μπορούν να αλλάξουν τις φιλοσοφικές έννοιες των αναλυτικών και συνθετικών κρίσεων;
Η έννοια «αναλυτική κρίση» είχε διαφόρων ειδών σημασίες μέσα στην ιστορία. Αυτή η διαπίστωση μπορεί να επισημαίνει την έλλειψη των κατάλληλων εργαλείων για να ερμηνεύσουμε την έννοια της «αναλυτικής κρίσης». Για παράδειγμα, λέμε αναλυτική την κρίση που επισημαίνει ότι μια πρόταση είναι αληθής όταν αυτή βασίζεται μόνο στο νόημα των λέξεων που χρησιμοποιούνται στην συγκεκριμένη πρόταση. Για παράδειγμα, η κρίση ότι η πρόταση «2 + 3 = 5» είναι αληθινή βασίζεται μόνο στην έννοια των λέξεων «2», «3», «5», «+», και «=», εξού και λέγεται αναλυτική. Στα μαθηματικά, το νόημα των λέξεων εκφράζεται συχνά από αξιώματα. Για παράδειγμα το νόημα των λέξεων «σημείο», «γραμμή», «πρόσπτωση», … εκφράζεται από τα αξιώματα του Ευκλείδη. Αλλά, στη συνέχεια, η κρίση της αλήθειας κάθε αποδείξιμης πρότασης γίνεται αναλυτική.
Αυτή η διαπίστωση συγκρούεται με μια άλλη ιδέα, σύμφωνα με την οποία όταν μια πρόταση που είναι αληθινή είναι και αναλυτική, η αλήθεια της μπορεί να επιβεβαιωθεί με την εξέταση της ίδιας της πρότασης, αν και ξέρουμε από την δεκαετία του ’30, ότι η αποδειξιμότητα μιας πρότασης δεν μπορεί να αναγνωσθεί στην όψη της, καθώς είναι μη αποφασίσιμη. Μια λύση σε αυτό το παράδοξο, το οποίο στην ουσία είναι εκείνο του Per Martin-Löf, είναι να θεωρείται αληθινή η κρίση ότι μια πρόταση που είναι αληθινή είναι αναλυτική, μόνο όταν έχει βασιστεί στο νόημα των λέξεων που χρησιμοποιούνται σε αυτήν την πρόταση, και αυτό το νόημα να εκφράζεται με αλγοριθμικό τρόπο. Και πάλι το κλειδί για να οριστεί αυτή η ιδέα της αναλυτικότητας είναι εκείνη του υπολογισμού.
– Ποιους νέους προβληματισμούς δημιουργεί η εμπλοκή των υπολογιστών στην επιστήμη των μαθηματικών;
Πάρα πολλούς. Ένας από αυτούς συνδέεται με την ποσότητα των δεδομένων που είμαστε σε θέση να αναλύσουμε, την πολυπλοκότητα, δηλαδή, των συστημάτων που είμαστε ικανοί να μελετήσουμε. Πιθανότατα, το ανθρώπινο γονιδίωμα ή η γραμματική μιας φυσικής γλώσσας είναι δύο αρκετά σύνθετα αντικείμενα για να μελετηθούν χωρίς υπολογιστή. Αλλά αυτός ο προβληματισμός μάς οδηγεί σε έναν άλλο, σχετικό με τη δημιουργία των θεωριών. Γνωρίζουμε ότι ο Γιοχάνες Κέπλερ σχεδίασε τους τρεις Νόμους του, αναλύοντας τα παρατηρησιακά δεδομένα που είχε συλλέξει ο Τύχο Μπράχε. Αν, σήμερα, έχουμε δεδομένα τόσο μεγάλου όγκου που είναι αδύνατον να αναλυθούν από ένα ανθρώπινο ον, τότε μάλλον μόνο οι υπολογιστές είναι σε θέση να δημιουργήσουν νέες θεωρίες. Αυτό εγείρει ένα ακόμα ερώτημα: υπάρχει ένας αλγόριθμος που θα μπορούσε να «αποσπάσει» τους Νόμους του Κέπλερ από τα δεδομένα του Τύχο Μπράχε ; Ο ρόλος των επιστημόνων του 21ου αιώνα θα μπορούσε να επικεντρωθεί στη σχεδίαση τέτοιου είδους αλγορίθμων, και όχι στη δημιουργία θεωριών.
-Ποιες από τις περίφημες μαθηματικές Εικασίες ή άλλα μαθηματικά προβλήματα μπορούν να λυθούν με τη βοήθεια των ηλεκτρονικών υπολογιστών τα επόμενα χρόνια;
Μακάρι να ήξερα… Αλλά εδώ εγείρεται επίσης ένα καινούργιο ερώτημα: θα είναι οι υπολογιστές το ίδιο χρήσιμοι σε όλους τους κλάδους των μαθηματικών ή μερικοί κλάδοι θα επηρεαστούν από τον υπολογισμό περισσότερο από άλλους ; Φαίνεται ότι οι υπολογιστές είναι περισσότερο χρήσιμοι στη Διακριτή Γεωμετρία από ό,τι σε άλλους κλάδους των μαθηματικών και ίσως να μην είμαστε ακόμα ικανοί να εφεύρουμε νέες μεθόδους για τους υπόλοιπους κλάδους των μαθηματικών.
– Αν και ζούμε σε μια τεχνολογική εποχή πολλοί άνθρωποι, ανάμεσά τους επιστήμονες και δάσκαλοι, είναι καχύποπτοι απέναντι στην τεχνολογία. Τι τους τρομάζει; Είναι κάποιοι από τους φόβους τους δικαιολογημένοι;
Στην πρώιμη Ευρωπαϊκή Αρχαιότητα, οι ιερείς βρισκόταν στην κορυφή της κοινωνικής ιεραρχίας, οι «παραγωγοί», όπως και οι τεχνίτες, ήταν προς στο κάτω μέρος της ιεραρχικής λίστας, και δεν υπήρχαν πουθενά επιστήμονες. Στη σύγχρονη εποχή, ανακαλύψαμε ότι η επιστήμη εξηγεί τον κόσμο και συμβάλλει στο μετασχηματισμό του, και ότι οι επιστήμονες έχουν πράγματα κοινά τόσο με τους ιερείς όσο και με τους τεχνίτες. Αυτό ίσως να εξηγεί ότι οι επιστήμονες αντιμετωπίζουν κάποιες δυσκολίες στο να βρουν τη θέση τους σε μια κοινωνική ιεραρχία, που δεν τους είχε, αρχικά, συμπεριλάβει.
Μία επιλογή τους είναι να προσπαθούν να μιμηθούν τους ιερείς : και αυτό εξηγεί την περιφρόνηση πολλών από αυτούς σε ο,τι αποκαλούμε «Εφαρμοσμένες Επιστήμες». Η επιμονή τους σε αισθητικά κριτήρια και η καχυποψία τους απέναντι στην τεχνολογία περιγράφεται θαυμάσια στο βιβλίο του Τεύκρου Μιχαηλίδη «Πυθαγόρεια Εγκλήματα». Αλλά αυτή τους η στάση μπορεί να μην έχει πέραση στον 21ο αιώνα, όπου η επιστήμη και η τεχνολογία θα αναμειχθούν περισσότερο από ποτέ. Η πληροφορική ίσως είναι η πρώτη από τους νέους τομείς, όπου επιστήμη και η τεχνολογία δεν θα μπορούν να λειτουργήσουν χωριστά. Εκείνοι που φοβούνται ότι πληροφορική απειλεί την παλιά κοινωνική ιεραρχία έχουν μάλλον δίκιο…
-Τα βιβλία σας αν και έχουν επιστημονικά θέματα, απευθύνονται στο ευρύ κοινό. Τι σημασία έχει για σας η εκλαΐκευση της επιστήμης;
Η εκλαΐκευση της επιστήμης είναι καθήκον, επειδή η επιστήμη δεν είναι ιδιοκτησία μας αλλά κληρονομιά ολόκληρου του ανθρώπινου είδους. Αλλά ο κύριος λόγος που επιμένω είναι επειδή πιστεύω ότι η επιστήμη, την ίδια στιγμή που αναπτύσσεται διαρκώς όσο ποτέ άλλοτε, απειλείται και με εξαφάνιση: όταν η γνώση περιορίζεται στις τάξεις μια πολύ μικρής ομάδας, ο κίνδυνος να εξαφανιστεί είναι κοντά.
© Copyright 2001-2023 Θαλής + Φίλοι.
designed & developed by ELEGRAD