Το 1994, ο μαθηματικός William P. Thurston δημοσίευσε ένα δοκίμιο με τίτλο «On Proof and Progress in Mathematics»(«Περί απόδειξης και προόδου στα Μαθηματικά») στο περιοδικό Bulletin of the American Mathematical Society. Το κείμενο γράφτηκε ως απάντηση σε ένα άρθρο των Jaffe και Quinn σχετικά με τη «Θεωρητικά Μαθηματικά» και στοχεύει να αμφισβητήσει διαδεδομένες πεποιθήσεις για τη φύση της μαθηματικής απόδειξης και προόδου.
Τα κύρια θέματα που πραγματεύεται είναι τα εξής:
Ο στόχος των μαθηματικών: Ο Thurston υποστηρίζει ότι το θεμελιώδες έργο των μαθηματικών δεν είναι απλώς η παραγωγή θεωρημάτων, αλλά η προώθηση της ανθρώπινης κατανόησης των μαθηματικών. Τονίζει ότι οι άνθρωποι αναζητούν την κατανόηση και όχι απλώς μια συλλογή «απαντήσεων» ή αποτελεσμάτων από υπολογιστές.
Κριτική στο μοντέλο «Ορισμός-Θεώρημα-Απόδειξη» (DTP):Αμφισβητεί το παραδοσιακό μοντέλο που βλέπει τα μαθηματικά ως μια καθαρά παραγωγική πορεία από αξιώματα σε προτάσεις. Υποστηρίζει ότι οι ψυχολογικές και κοινωνικές διαστάσεις είναι απαραίτητες για ένα σωστό μοντέλο μαθηματικής προόδου.
Τρόποι κατανόησης: Αναλύει πώς οι άνθρωποι αντιλαμβάνονται τα μαθηματικά μέσω διαφορετικών νοητικών ευκολιών, όπως η γλώσσα, η όραση και η χωρική αίσθηση, η λογική, η διαίσθηση και η αίσθηση της διαδικασίας και του χρόνου.
Προβλήματα στην επικοινωνία: Επισημαίνει ότι η μεταφορά της κατανόησης μεταξύ των μαθηματικών είναι δύσκολη και συχνά δυσλειτουργική. Σημειώνει ότι ενώ η επικοινωνία εντός των υποπεδίων των μαθηματικών είναι ταχύτατη μέσω ανεπίσημων καναλιών (χειρονομίες, σχήματα), στα επίσημα άρθρα η επικοινωνία γίνεται υπερβολικά τυπική και δυσνόητη.
Η φύση της απόδειξης: Ορίζει την απόδειξη όχι ως ένα καθαρά τυπικό έγγραφο, αλλά ως μια κοινωνική διαδικασία επικύρωσης εντός της μαθηματικής κοινότητας. Υποστηρίζει ότι η αξιοπιστία πηγάζει από την προσεκτική και κριτική σκέψη των μαθηματικών και όχι από τον τυπικό έλεγχο τυπικών επιχειρημάτων.
Ο Thurston παραθέτει παραδείγματα από τη δική του καριέρα, όπως την ενασχόλησή του με την Εικασία της Γεωμετρικοποίησης. Εξηγεί γιατί επέλεξε να επικεντρωθεί στην οικοδόμηση της «υποδομής» (infrastructure) και των τρόπων σκέψης σε ένα πεδίο, αντί να δημοσιεύει απλώς κορυφαία θεωρήματα, προκειμένου να κρατήσει το αντικείμενο ζωντανό και προσβάσιμο σε άλλους.
Το δοκίμιο αποτελεί μια βαθιά στοχαστική προσέγγιση για το πώς τα μαθηματικά εξελίσσονται ως ανθρώπινη δραστηριότητα, δίνοντας έμφαση στην κατανόηση, την επικοινωνία και τον κοινωνικό ιστό της επιστημονικής κοινότητας. Δείτε το στο link https://arxiv.org/pdf/math/9404236
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου