Gilles Dowek: "Η επιστήμη δεν είναι ιδιοκτησία μας"

O κορυφαίος Γάλλος μαθηματικός Gilles Dowek, ερευνητής στο ΙΝRIA και καθηγητής στην École polytechnique μάς παραχώρησε μια μεγάλη συνέντευξη, ειδικά για την ιστοσελίδα της ομάδας ΘΑΛΗΣ + ΦΙΛΟΙ, με αφορμή την ελληνική έκδοση του βιβλίου του «Οι μεταμορφώσεις του λογισμού» (Εκδ. Εκκρεμές. Μετάφραση: Τεύκρος Μιχαηλίδης). Το βιβλίο, μια συναρπαστική μαθηματική ιστορία, τιμήθηκε το 2007 με το «Μεγάλο βραβείο φιλοσοφίας της Γαλλικής Ακαδημίας».
Ο αναγνώστης ακολουθεί τον συγγραφέα στην περιπέτεια της εξέλιξης της μαθηματικής επιστήμης, με αφετηρία την προϊστορία των μαθηματικών και τα ελληνικά μαθηματικά και προορισμό τη νέα κατεύθυνση της επιστήμης στην εποχή της ραγδαίας τεχνολογικής εξέλιξης και της κυριαρχίας των υπολογιστών.

- Πιστεύετε ότι το νέο επιστημονικό ενδιαφέρον για τον υπολογισμό θα προκαλέσει μια καινούργια επανάσταση στα μαθηματικά τον 21ο αιώνα;
Πριν από το ερώτημα για το ρόλο του υπολογισμού στα μαθηματικά, υπάρχει ακόμα ένα : ποια είναι τα όρια των μαθηματικών και μέχρι πού μπορούν να φτάσουν. Δεν αναφέρομαι στους ιδανικούς μαθηματικούς ενός επίσημου συστήματος, αλλά στη μεγάλη οικογένεια των ενεργών μαθηματικών. Στο μεσοδιάστημα από την εφεύρεση της τυπογραφίας μέχρι και την εμφάνιση των υπολογιστών οι μαθηματικοί έκαναν κάποιες αποδείξεις μερικών χιλιάδων σελίδων. Από την εποχή της εφεύρεσης του υπολογιστή οι αποδείξεις αυξήθηκαν σε εκατομμύρια σελίδες, για να θυμηθούμε, μόνο, την απόδειξη του Θεωρήματος των Τεσσάρων Χρωμάτων και ακόμα δεν ξέρουμε πού μπορούν να φτάσουν μέσα στον 21ο αιώνα. Αλλά, ως συνήθως, μια ποσοτική εξέλιξη προαναγγέλλει και μια ποιοτική εξέλιξη. Τι μπορεί να σημαίνει τελικά η κατανόηση μιας απόδειξης εκατομμυρίων σελίδων ;

- Στο βιβλίο σας γράφετε ότι οι επιστήμονες πρέπει να επανεξετάσουν το διάλογο ανάμεσα στα μαθηματικά και τις φυσικές επιστήμες, τη φυσική και τη βιολογία. Τι είδους οφέλη μπορεί να προκύψουν από αυτόν τον διάλογο;
Το σημείο εκκίνησης ενός τέτοιου διαλόγου είναι πάντοτε ίδιο : ένα φυσικό φαινόμενο περιγράφεται με μαθηματικό τρόπο. Για παράδειγμα η ελεύθερη πτώση περιγράφεται με μια διαφορική εξίσωση. Οι μαθηματικοί έχουν νέα αντικείμενα να μελετήσουν και οι φυσικοί νέες προβλέψεις για να πειραματιστούν. Στις περισσότερες εποχές οι μαθηματικοί και οι φυσικοί είναι, συχνά, τα ίδια πρόσωπα. Ο διάλογος μοιάζει να λειτουργεί, ακόμα και σήμερα, πολύ καλύτερα ανάμεσα στα μαθηματικά και τη φυσική απ΄ότι ανάμεσα στα μαθηματικά και τη βιολογία. Γιατί ; H υπόθεση που κάνω βασίζεται στο ότι η σχέση των μαθηματικών με τη φυσική έχει ενισχυθεί από το γεγονός ότι η περιγραφή των φυσικών φαινομένων βασίζεται σε μαθηματικά εργαλεία : τις διαφορικές εξισώσεις.
Μοιάζει δύσκολο βιολογικές διεργασίες, όπως είναι η σύνθεση των πρωτεϊνών, να περιγραφούν με τη γλώσσα του απειροστικού λογισμού. Μπορούν όμως να περιγραφούν με μια αλγοριθμική γλώσσα. Υπάρχει, λοιπόν, τώρα μια νέα ευκαιρία να αναπτυχθεί ο διάλογος ανάμεσα στα μαθηματικά και τις φυσικές επιστήμες και με τη χρήση της αλγοριθμικής γλώσσας, συμπληρωματικά με τις διαφορικές εξισώσεις. Από αυτού του τύπου τον διάλογο θα μπορούσε να επωφεληθεί η φυσική.
Για παράδειγμα, στη Νευτώνεια φυσική ένα φυσικό φαινόμενο μπορεί, θεωρητικά, να χρησιμοποιήσει μια απεριόριστη ποσότητα πληροφοριών σε ένα πεπερασμένο χρονικό διάστημα, επειδή η πληροφορία ταξιδεύει απεριόριστα γρήγορα και τα μεγέθη περιγράφονται με πραγματικούς αριθμούς, οι οποίοι έχουν έναν άπειρο αριθμό δεκαδικών ψηφίων. Αλλά οι φυσικοί έχουν αποτύχει στο να δημιουργήσουν τέτοιου είδους φαινόμενα στο εργαστήριο. Και αυτό ίσως, να δείχνει ότι φυσικές θεωρίες θα έπρεπε να αποκλείουν τέτοιου είδους φαινόμενα στην αρχή.

- Πώς οι νέες επιστημονικές ανακαλύψεις μπορούν να αλλάξουν τις φιλοσοφικές έννοιες των αναλυτικών και συνθετικών κρίσεων ;
Η έννοια «αναλυτική κρίση» είχε διαφόρων ειδών σημασίες μέσα στην ιστορία. Αυτή η διαπίστωση μπορεί να επισημαίνει την έλλειψη των κατάλληλων εργαλείων για να ερμηνεύσουμε την έννοια της «αναλυτικής κρίσης». Για παράδειγμα, λέμε αναλυτική την κρίση που επισημαίνει ότι μια πρόταση είναι αληθής όταν αυτή βασίζεται μόνο στο νόημα των λέξεων που χρησιμοποιούνται στην συγκεκριμένη πρόταση. Για παράδειγμα, η κρίση ότι η πρόταση «2 + 3 = 5» είναι αληθινή βασίζεται μόνο στην έννοια των λέξεων «2», «3», «5», «+», και «=», εξού και λέγεται αναλυτική. Στα μαθηματικά, το νόημα των λέξεων εκφράζεται συχνά από αξιώματα. Για παράδειγμα το νόημα των λέξεων «σημείο», «γραμμή», «πρόσπτωση», … εκφράζεται από τα αξιώματα του Ευκλείδη. Αλλά, στη συνέχεια, η κρίση της αλήθειας κάθε αποδείξιμης πρότασης γίνεται αναλυτική.
Αυτή η διαπίστωση συγκρούεται με μια άλλη ιδέα, σύμφωνα με την οποία όταν μια πρόταση που είναι αληθινή είναι και αναλυτική, η αλήθεια της μπορεί να επιβεβαιωθεί με την εξέταση της ίδιας της πρότασης, αν και ξέρουμε από την δεκαετία του 30, ότι η αποδειξιμότητα μιας πρότασης δεν μπορεί να αναγνωσθεί στην όψη της, καθώς είναι μη αποφασίσιμη. Μια λύση σε αυτό το παράδοξο, το οποίο στην ουσία είναι εκείνο του Per Martin-Löf, είναι να θεωρείται αληθινή η κρίση ότι μια πρόταση που είναι αληθινή είναι αναλυτική, μόνο όταν έχει βασιστεί στο νόημα των λέξεων που χρησιμοποιούνται σε αυτήν την πρόταση, και αυτό το νόημα να εκφράζεται με αλγοριθμικό τρόπο. Και πάλι το κλειδί για να οριστεί αυτή η ιδέα της αναλυτικότητας είναι εκείνη του υπολογισμού.

- Ποιους νέους προβληματισμούς δημιουργεί η εμπλοκή των υπολογιστών στην επιστήμη των μαθηματικών;
Πάρα πολλούς. Ένας από αυτούς συνδέεται με την ποσότητα των δεδομένων που είμαστε σε θέση να αναλύσουμε, την πολυπλοκότητα, δηλαδή, των συστημάτων που είμαστε ικανοί να μελετήσουμε. Πιθανότατα, το ανθρώπινο γονιδίωμα ή η γραμματική μιας φυσικής γλώσσας είναι δύο αρκετά σύνθετα αντικείμενα για να μελετηθούν χωρίς υπολογιστή. Αλλά αυτός ο προβληματισμός μας οδηγεί σε έναν άλλο, σχετικό με τη δημιουργία των θεωριών. Γνωρίζουμε ότι ο Γιοχάνες Κέπλερ σχεδίασε τους τρεις Νόμους του, αναλύοντας τα παρατηρησιακά δεδομένα που είχε συλλέξει ο Τύχο Μπράχε.
Αν, σήμερα, έχουμε δεδομένα τόσο μεγάλου όγκου που είναι αδύνατον να αναλυθούν από ένα ανθρώπινο ον, τότε μάλλον μόνο οι υπολογιστές είναι σε θέση να δημιουργήσουν νέες θεωρίες. Αυτό εγείρει ένα ακόμα ερώτημα: υπάρχει ένας αλγόριθμος που θα μπορούσε να «αποσπάσει» τους Νόμους του Κέπλερ από τα δεδομένα του Τύχο Μπράχε ; Ο ρόλος των επιστημόνων του 21ου αιώνα θα μπορούσε να επικεντρωθεί στη σχεδίαση τέτοιου είδους αλγορίθμων, και όχι στη δημιουργία θεωριών.

- Ποιες από τις περίφημες μαθηματικές Εικασίες ή άλλα μαθηματικά προβλήματα μπορούν να λυθούν με τη βοήθεια των ηλεκτρονικών υπολογιστών τα επόμενα χρόνια;
Μακάρι να ήξερα… Αλλά εδώ εγείρεται επίσης ένα καινούργιο ερώτημα: θα είναι οι υπολογιστές το ίδιο χρήσιμοι σε όλους τους κλάδους των μαθηματικών ή μερικοί κλάδοι θα επηρεαστούν από τον υπολογισμό περισσότερο από άλλους ; Φαίνεται ότι οι υπολογιστές είναι περισσότερο χρήσιμοι στη Διακριτή Γεωμετρία από ό,τι σε άλλους κλάδους των μαθηματικών και ίσως να μην είμαστε ακόμα ικανοί να εφεύρουμε νέες μεθόδους για τους υπόλοιπους κλάδους των μαθηματικών.

- Αν και ζούμε σε μια τεχνολογική εποχή πολλοί άνθρωποι, ανάμεσά τους επιστήμονες και δάσκαλοι, είναι καχύποπτοι απέναντι στην τεχνολογία. Τι τους τρομάζει ; Είναι κάποιοι από τους φόβους τους δικαιολογημένοι ;
Στην πρώιμη Ευρωπαϊκή Αρχαιότητα, οι ιερείς βρισκόταν στην κορυφή της κοινωνικής ιεραρχίας, οι «παραγωγοί», όπως και οι τεχνίτες, ήταν προς στο κάτω μέρος της ιεραρχικής λίστας, και δεν υπήρχαν πουθενά επιστήμονες. Στη σύγχρονη εποχή, ανακαλύψαμε ότι επιστήμη εξηγεί τον κόσμο και συμβάλλει στο μετασχηματισμό του, και ότι οι επιστήμονες έχουν πράγματα κοινά, τόσο με τους ιερείς όσο και με τους τεχνίτες. Αυτό ίσως να εξηγεί ότι οι επιστήμονες αντιμετωπίζουν κάποιες δυσκολίες στο να βρουν τη θέση τους σε μια κοινωνική ιεραρχία, που δεν τους είχε, αρχικά, συμπεριλάβει.
Μία επιλογή τους είναι να προσπαθούν να μιμηθούν τους ιερείς : και αυτό εξηγεί την περιφρόνηση πολλών από αυτούς σε ο,τι αποκαλούμε «Εφαρμοσμένες Επιστήμες». Η επιμονή τους σε αισθητικά κριτήρια και η καχυποψία τους απέναντι στην τεχνολογία περιγράφεται θαυμάσια στο βιβλίο του Τεύκρου Μιχαηλίδη «Πυθαγόρεια Εγκλήματα». Αλλά αυτή τους η στάση μπορεί να μην έχει πέραση στον 21ο αιώνα, όπου η επιστήμη και η τεχνολογία θα αναμειχθούν περισσότερο από ποτέ. Η πληροφορική ίσως είναι η πρώτη από τους νέους τομείς, όπου επιστήμη και η τεχνολογία δεν θα μπορούν να λειτουργήσουν χωριστά. Εκείνοι που φοβούνται ότι πληροφορική απειλεί την παλιά κοινωνική ιεραρχία έχουν μάλλον δίκιο…

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

Πηγή: Θαλής και φίλοι