Το θεώρημα & η απόδειξη ή κάπου την έχουμε πατήσει Απόσπασμα από το τραγούδι: Κάπου την έχουμε πατήσει https://www.youtube.com/watch?v=TkYmlaXpmuA Λουκιανός Κηλαηδόνης … Αν κοιμηθώ νωρίς θα σηκωθώ.
Download ReportTranscript Το θεώρημα & η απόδειξη ή κάπου την έχουμε πατήσει Απόσπασμα από το τραγούδι: Κάπου την έχουμε πατήσει https://www.youtube.com/watch?v=TkYmlaXpmuA Λουκιανός Κηλαηδόνης … Αν κοιμηθώ νωρίς θα σηκωθώ.
Το θεώρημα & η απόδειξη ή κάπου την έχουμε πατήσει Απόσπασμα από το τραγούδι: Κάπου την έχουμε πατήσει https://www.youtube.com/watch?v=TkYmlaXpmuA Λουκιανός Κηλαηδόνης … Αν κοιμηθώ νωρίς θα σηκωθώ νωρίς θα ξεκινήσω νωρίς και θα παρκάρω νωρίς Αν κοιμηθώ αργά θα σηκωθώ αργά κι όταν θα ψάχνω για πάρκινγκ θα ‘ναι αργά. … ΤΑ ΛΟΓΙΚΑ ΒΗΜΑΤΑ Αν κοιμηθώ νωρίς τότε θα σηκωθώ νωρίς αν σηκωθώ νωρίς τότε θα ξεκινήσω νωρίς αν ξεκινήσω νωρίς τότε θα παρκάρω νωρίς ΤΑ ΛΟΓΙΚΑ ΒΗΜΑΤΑ Αν κοιμηθώ νωρίς Υπόθεση τότε 1ο λογικό βήμα θα σηκωθώ νωρίς τότε 2ο λογικό βήμα θα ξεκινήσω νωρίς τότε 3ο λογικό βήμα θα παρκάρω νωρίς Συμπέρασμα ΤΟ ΘΕΩΡΗΜΑ Αν κοιμηθώ νωρίς Υπόθεση τότε θα παρκάρω νωρίς Συμπέρασμα ΤΑ ΛΟΓΙΚΑ ΒΗΜΑΤΑ Αν κοιμηθώ αργά Υπόθεση τότε 1ο λογικό βήμα θα σηκωθώ αργά τότε 2ο λογικό βήμα (θα ξεκινήσω αργά) τότε 3ο λογικό βήμα όταν θα ψάχνω για πάρκινγκ θα ‘ναι αργά Συμπέρασμα ΤΟ ΘΕΩΡΗΜΑ Αν κοιμηθώ αργά Υπόθεση τότε όταν θα ψάχνω για πάρκινγκ θα ‘ναι αργά Συμπέρασμα ΠΡΟΤΑΣΗ ΑΝΤΙΘΕΤΗ ΑΝΤΙΘΕΤΗ Αν Αν Αν κοιμηθώ νωρίς κοιμηθώ αργά δεν κοιμηθώ νωρίς τότε τότε τότε θα παρκάρω νωρίς όταν θα ψάχνω για πάρκινγκ θα ‘ναι αργά δεν θα παρκάρω νωρίς ΣΩΣΤΗ ΣΩΣΤΗ ΣΩΣΤΗ Υπόθεση Συμπέρασμα ΤΟ ΘΕΩΡΗΜΑ ΠΡΟΤΑΣΕΙΣ ΤΗΣ ΜΟΡΦΗΣ ΑΝ-ΤΟΤΕ Ένα θεώρημα μπορεί να έχει τη μορφή μιας πρότασης της μορφής Αν … τότε … Πρόταση Αντίθετη Αντίστροφη Αντιθετοαντίστροφη Αν Αν Αν Αν η θερμοκρασία είναι κάτω από 0οC η θερμοκρασία δεν είναι κάτω από 0οC το νερό γίνεται πάγος το νερό δεν γίνεται πάγος τότε τότε τότε τότε το νερό γίνεται πάγος το νερό δεν γίνεται πάγος η θερμοκρασία είναι κάτω από 0οC η θερμοκρασία δεν είναι κάτω από 0οC Συμπέρασμα ΣΩΣΤΗ ΣΩΣΤΗ ΣΩΣΤΗ ΣΩΣΤΗ Τιμή αλήθειας Υπόθεση Πρόταση Αντίθετη Αντίστροφη Αντιθετοαντίστροφη Αν Αν Αν Αν υπάρχει φυσικό φως δεν υπάρχει φυσικό φως ο ήλιος είναι πάνω από τον ορίζοντα ο ήλιος δεν είναι πάνω από τον ορίζοντα τότε τότε τότε τότε ο ήλιος είναι πάνω από τον ορίζοντα ο ήλιος δεν είναι πάνω από τον ορίζοντα υπάρχει φυσικό φως δεν υπάρχει φυσικό φως Η αντίθετη δεν έχει πάντα την ίδια τιμή αλήθειας με την αρχική πρόταση. (Αν δεν ισχύει η υπόθεση ενός θεωρήματος δεν είναι σίγουρο ότι δεν ισχύει και το συμπέρασμά του) Η αντίστροφη δεν έχει πάντα την ίδια τιμή αλήθειας με την αρχική πρόταση. (Δεν ισχύει πάντα το αντίστροφο ενός θεωρήματος) ΛΑΘΟΣ ΛΑΘΟΣ ΣΩΣΤΗ Υπόθεση Συμπέρασμα H αντιθετοαντίστροφή έχει την ίδια τιμή αλήθειας με την αρχική πρόταση. ΣΩΣΤΗ Τιμή αλήθειας Πρόταση Αντίθετη Αντίστροφη Αντιθετοαντίστροφη Αν Αν Αν Αν ο ήλιος είναι πάνω από τον ορίζοντα ο ήλιος δεν είναι πάνω από τον ορίζοντα υπάρχει φυσικό φως δεν υπάρχει φυσικό φως τότε τότε τότε τότε υπάρχει φυσικό φως δεν υπάρχει φυσικό φως ο ήλιος είναι πάνω από τον ορίζοντα ο ήλιος δεν είναι πάνω από τον ορίζοντα Υπόθεση Συμπέρασμα H αντιθετοαντίστροφή έχει την ίδια τιμή αλήθειας με την αρχική πρόταση. ΛΑΘΟΣ ΣΩΣΤΗ ΣΩΣΤΗ ΛΑΘΟΣ Τιμή αλήθειας ΤΟ ΘΕΩΡΗΜΑ ΠΡΟΤΑΣΕΙΣ ΤΗΣ ΜΟΡΦΗΣ ΑΝ-ΤΟΤΕ • Μία πρόταση και η αντίθετή της δεν έχουν πάντα την ίδια τιμή αλήθειας (αν δεν ισχύει η υπόθεση ενός θεωρήματος, δεν είναι σίγουρο ότι δεν ισχύει και το συμπέρασμά του). • Μία πρόταση και η αντίστροφή της δεν έχουν πάντα την ίδια τιμή αλήθειας (δεν ισχύει πάντα το αντίστροφο ενός θεωρήματος). • Μία πρόταση και η αντιθετο-αντίστροφή της έχουν πάντα την ίδια τιμή αλήθειας. Η ΑΠΟΔΕΙΞΗ ΜΕΘΟΔΟΙ ΑΠΟΔΕΙΞΗΣ Η απόδειξη ενός θεωρήματος μπορεί να έχει τη μορφή του συλλογισμού που είδαμε στο τραγούδι “Κάπου την έχουμε πατήσει” ΜΕΘΟΔΟΙ ΑΠΟΔΕΙΞΗΣ ΤΑ ΛΟΓΙΚΑ ΒΗΜΑΤΑ Αν Η μέθοδος αυτή ονομάζεται συνθετική. Αναπτύσσει έναν συλλογισμό ξεκινώντας από μία υπόθεση και καταλήγοντας, με λογικά βήματα, σε ένα συμπέρασμα. ΣΥΝΘΕΤΙΚΗ Υπόθεση κοιμηθώ νωρίς Υπόθεση τότε 1ο λογικό βήμα θα σηκωθώ νωρίς τότε 2ο λογικό βήμα θα ξεκινήσω νωρίς τότε 3ο λογικό βήμα θα παρκάρω νωρίς Συμπέρασμα Δεδομένο ΤΟ ΘΕΩΡΗΜΑ Αν κοιμηθώ νωρίς Συμπέρασμα Ζητούμενο Υπόθεση τότε θα παρκάρω νωρίς Συμπέρασμα ΜΕΘΟΔΟΙ ΑΠΟΔΕΙΞΗΣ Ο Ευάγγελος Σταμάτης στην ιστορική σύγχρονη έκδοσή του των “Στοιχείων” του Ευκλείδη, την αναφέρει τις αποδεικτικές μεθόδους που χρησιμοποιεί ο Ευκλείδης. Σταμάτης, 1952 Ευκλείδου Γεωμετρία ΜΕΘΟΔΟΙ ΑΠΟΔΕΙΞΗΣ ΜΕΘΟΔΟΙ ΑΠΟΔΕΙΞΗΣ ΣΥΝΘΕΤΙΚΗ Δεδομένο Ζητούμενο ΑΝΑΛΥΤΙΚΗ • Της άσκησης • Από τη θεωρία • Κάτι που αποδείξαμε σε προηγούμενο ερώτημα της άσκησης • Κάτι προφανές Ζητούμενο Ισχύει • Δεδομένο της άσκησης • Από τη θεωρία • Κάτι που αποδείξαμε σε προηγούμενο ερώτημα της άσκησης • Κάτι προφανές ΜΕΘΟΔΟΙ ΑΠΟΔΕΙΞΗΣ Η συνθετική μέθοδος μπορεί να υλοποιηθεί και με πιο σύνθετα σχήματα. Περισσότερα από ένα δεδομένα μπορούν να συνδυαστούν με διάφορους τρόπους για να εξάγουν ένα ζητούμενο. ΣΥΝΘΕΤΙΚΗ Δεδομένο 1 Δεδομένο 2 Δεδομένο 3 … • Πρόσθεση, αφαίρεση, πολ/μός, διαίρεση κατά μέλη • Θεώρημα • Αντικατάσταση, μεταβατική ιδιότητα Ζητούμενο Η ΑΠΑΓΩΓΗ ΣΕ ΑΤΟΠΟ Ο Polya περιγράφει τη μέθοδο της απαγωγής σε άτοπο και διακρίνει την απαγωγή σε άτοπο και την έμμεση απόδειξη ως δύο διαφορετικές αλλά σχετικές διαδικασίες. Η απαγωγή σε άτοπο δείχνει ότι μία υπόθεση δεν αληθεύει, φθάνοντας από αυτή σε ένα προφανές άτοπο. Η έμμεση απόδειξη καταλήγει στο συμπέρασμα ότι μία υπόθεση είναι αληθής, δείχνοντας ότι η αντίθετη υπόθεση είναι ψευδής. Polya 1945 How to solve it Princeton University Press Η απαγωγή σε άτοπο μοιάζει με την ειρωνεία που χρησιμοποιούσαν οι σατιρικοί. Η ειρωνεία υιοθετεί μία άποψη, την τονίζει και την υπερτονίζει μέχρι να καταλήξει σε ένα προφανές άτοπο. Polya 1945 How to solve it Princeton University Press Η έμμεση απόδειξη μοιάζει με το κόλπο ενός πολιτικού να καθιερώσει έναν υποψήφιο καταστρέφοντας την υπόληψη του αντιπάλου του. Polya 1945 How to solve it Princeton University Press ΤΟ ΑΛΛΟΘΙ Ο διάσημος μαφιόζος κακοποιός Al Capone ήταν υπεύθυνος για πολλούς φόνους αλλά δεν καταδικάστηκε ποτέ για κανέναν από αυτούς, γιατί πάντα είχε άλλοθι. Η αμερικανική κυβέρνηση ήθελε οπωσδήποτε να τον παγιδεύσει και να τον κλείσει φυλακή. Κατάφερε να τον καταδικάσει μόνο για φοροδιαφυγή. ΤΟ ΑΛΛΟΘΙ Η χρήση του άλλοθι είναι μία εφαρμογή απαγωγής σε άτοπο που χρησιμοποιείται στη νομική επιστήμη και πρακτική: Ας υποθέσουμε ότι ο κατηγορούμενος είναι ένοχος. Τότε θα έπρεπε να βρίσκεται στον τόπο του εγκλήματος, την ώρα του εγκλήματος. Όμως υπάρχουν μάρτυρες που βεβαιώνουν ότι ο κατηγορούμενος ήταν σε άλλον τόπο την ώρα του εγκλήματος (ΑΛΛΟΘΙ-ΑΤΟΠΟ). Άρα, η υπόθεση ότι ο κατηγορούμενος είναι ένοχος δεν ευσταθεί, συνεπώς ο κατηγορούμενος είναι αθώος. ΡΗΤΟΡΙΚΗ Καταγωγή της ρητορικής στις κοινωνικές ανάγκες. Το πολιτισμικό πλαίσιο (η πόλη κράτος, η δημοκρατία) και η ανάγκη για επιχειρηματολογία. Η ανάγκη για επιχειρηματολογικό λόγο. Kennedy 1994 Ιστορία της κλασσικής ρητορικής Princeton University Press ΡΗΤΟΡΙΚΗ & ΜΑΘΗΜΑΤΙΚΑ Δοξιάδης 2012 A streetcar named proof. From storytelling to geometry, via poetry and rhetoric. Circles Disturbed, Princeton University Press ΡΗΤΟΡΙΚΗ & ΜΑΘΗΜΑΤΙΚΑ Δοξιάδης 2012 A streetcar named proof. From storytelling to geometry, via poetry and rhetoric. Circles Disturbed, Princeton University Press ΔΕΙΓΜΑ ΕΠΙΧΕΙΡΗΜΑΤΟΛΟΓΙΑΣ με απαγωγή σε άτοπο στη ρητορική Πρώτη Τετραλογία του Αντιφώντα Ένα από τα παλαιότερα πεζά κείμενα που είναι γραμμένα σε αττική διάλεκτο. Δεν πρόκειται για λόγους που εκφωνήθηκαν στο δικαστήριο, αλλά για γυμνάσματα ή υποδείγματα λόγων, που παρουσιάζουν διαφορετικούς τρόπους επιχειρηματολογίας και που προορίζονταν για ανάγνωση και άσκηση και φιλοδοξούσαν να προκαλέσουν συζητήσεις και ενδεχομένως να λειτουργήσουν ως πρότυπο προς μίμηση. Αντιφών 5ος αι. π.Χ. Πρώτη Τετραλογία Maidment K. J. (1941). Minor Greek Orators. Harvard University Press ΔΕΙΓΜΑ ΕΠΙΧΕΙΡΗΜΑΤΟΛΟΓΙΑΣ με απαγωγή σε άτοπο στη ρητορική Απόσπασμα από την Πρώτη Τετραλογία: Είναι απίθανο να τον δολοφόνησαν κακοποιοί, καθώς κανείς που θα εξέθετε τη ζωή του σε τέτοιο σοβαρό κίνδυνο δεν θα παραιτούνταν από την ανταμοιβή εφόσον αυτή θα ήταν με ασφάλεια στο χέρι του· και τα θύματα βρέθηκαν με τους χιτώνες τους. Το σχήμα της επιχειρηματολογίας που είναι μία απαγωγή σε άτοπο 1. Κανείς που θα εξέθετε τη ζωή του σε σοβαρό κίνδυνο (δηλ. οι κακοποιοί) 2. Δεν θα παραιτούνταν από την ανταμοιβή (τον χιτώνα) εφόσον αυτή θα ήταν με ασφάλεια στο χέρι του 2*. Και τα θύματα βρέθηκαν με τους χιτώνες τους 1*. Είναι απίθανο να τον δολοφόνησαν κακοποιοί ΣΥΓΚΡΙΣΗ ΤΩΝ ΑΠΟΔΕΙΚΤΙΚΩΝ ΜΕΘΟΔΩΝ • Ομοιότητες και συσχέτιση απαγωγής σε άτοπο και αναλυτικής μεθόδου • Συσχέτιση πλάγιας απόδειξης και απαγωγής σε άτοπο • Έκβαση της απαγωγής σε άτοπο στην περίπτωση που η αρχική πρόταση να είναι λάθος. Ανακαλυπτική μέθοδος. Πρόταση Αντίθετη Αντίστροφη Αντιθετοαντίστροφη Απαγωγή σε άτοπο Υπόθεση: υπάρχει φυσικό φως Αν υπάρχει φυσικό φως τότε ο ήλιος είναι πάνω από τον ορίζοντα Αν δεν υπάρχει φυσικό φως τότε ο ήλιος δεν είναι πάνω από τον ορίζοντα Αν ο ήλιος είναι πάνω από τον ορίζοντα τότε υπάρχει φυσικό φως Αν ο ήλιος δεν είναι πάνω από τον ορίζοντα Έστω ότι ο ήλιος δεν είναι πάνω από τον ορίζοντα Πλάγια απόδειξη Υπόθεση: υπάρχει φυσικό φως Ζητούμενο: ο ήλιος είναι πάνω από τον ορίζοντα Έστω ότι ο ήλιος δεν είναι πάνω από τον ορίζοντα τότε τότε τότε δεν υπάρχει φυσικό φως δεν υπάρχει φυσικό φως ΑΤΟΠΟ δεν υπάρχει φυσικό φως ΑΤΟΠΟ (αντίφαση με την υπόθεση: υπάρχει φυσικό φως) (αντίφαση με την υπόθεση: υπάρχει φυσικό φως) Άρα: ο ήλιος είναι πάνω από τον ορίζοντα ΣΩΣΤΗ ΛΑΘΟΣ ΛΑΘΟΣ ΣΩΣΤΗ Πρόταση Αντίθετη Αντίστροφη Αντιθετοαντίστροφη Απαγωγή σε άτοπο Αν Αν Αν Αν Έστω ότι ο ήλιος είναι πάνω από τον ορίζοντα τότε υπάρχει φυσικό φως ΛΑΘΟΣ ο ήλιος δεν είναι πάνω από τον ορίζοντα τότε δεν υπάρχει φυσικό φως ΣΩΣΤΗ υπάρχει φυσικό φως τότε ο ήλιος είναι πάνω από τον ορίζοντα ΣΩΣΤΗ δεν υπάρχει φυσικό φως δεν υπάρχει φυσικό φως τότε τότε ο ήλιος δεν είναι πάνω από τον ορίζοντα ΛΑΘΟΣ δεν μπορούμε να πούμε με βεβαιότητα αν ο ήλιος είναι ή δεν είναι πάνω από τον ορίζοντα Πλάγια απόδειξη Η ΑΠΑΓΩΓΗ ΣΕ ΑΤΟΠΟ ΩΣ ΜΕΘΟΔΟΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΚΑΛΥΨΗΣ • Αν η αρχική υπόθεση είναι λάθος, τότε η εφαρμογή της μεθόδου της απαγωγής σε άτοπο δεν αποδίδει γιατί δεν μπορεί να οδηγήσει σε ασφαλές συμπέρασμα για την αλήθεια ή το λάθος του συμπεράσματος. • Η χρήση της μεθόδου μπορεί όμως να οδηγήσει σε εντελώς απροσδόκητες μαθηματικές ανακαλύψεις. Ιστορικά, η χρήση αυτής της μεθόδου οδήγησε στην επινόηση των μη ευκλείδειων γεωμετριών. Η ΑΠΑΓΩΓΗ ΣΕ ΑΤΟΠΟ ΩΣ ΜΕΘΟΔΟΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΚΑΛΥΨΗΣ • Ο Lobachevsky και ο Reimann, προσπάθησαν να αποδείξουν την ανεξαρτησία του 5ου αξιώματος του Ευκλείδη από τα άλλα 4 αξιώματα, ένα θέμα που απασχολούσε τους μαθηματικούς για πολλά χρόνια, με τη χρήση μιας τεχνικής που χρησιμοποιεί την απαγωγή σε άτοπο. • Η τεχνική για να εξεταστεί η ανεξαρτησία ενός αξιώματος από ένα σύνολο αξιωμάτων ενός αξιωματικού συστήματος, συνίσταται στην άρνηση της αλήθειας του υπό εξέταση αξιώματος και την εξαγωγή από αυτή την υπόθεση μιας αντίφασης, λαμβάνοντας ταυτόχρονα ως υποθέσεις υποβάθρου τα υπόλοιπα 4 αξιώματα. Η ΑΠΑΓΩΓΗ ΣΕ ΑΤΟΠΟ ΩΣ ΜΕΘΟΔΟΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΚΑΛΥΨΗΣ • Μην επιτυγχάνοντας να καταλήξουν σε αντίφαση, το θέμα της ανεξαρτησίας του 5ου αξιώματος έμεινε ανοικτό, ταυτόχρονα όμως, είχαν ήδη ανακαλύψειεπινοήσει εσωτερικά συνεπή συστήματα διαφορετικά από τη γεωμετρία του Ευκλείδη (την υπερβολική και την ελλειπτική γεωμετρία). Πρόταση Αντίθετη Αντίστροφη Απαγωγή σε άτοπο Πλάγια απόδειξη Υπόθεση: η θερμοκρασία είναι κάτω από 0οC Υπόθεση: η θερμοκρασία είναι κάτω από 0οC Συμπέρασμα: το νερό γίνεται πάγος Αν Έστω ότι Έστω ότι το νερό δεν γίνεται πάγος το νερό δεν γίνεται πάγος το νερό δεν γίνεται πάγος Αν Αν η θερμοκρασία είναι κάτω από 0οC η θερμοκρασία δεν είναι κάτω από 0οC τότε τότε τότε τότε τότε τότε το νερό δεν γίνεται πάγος η θερμοκρασία είναι κάτω από 0οC η θερμοκρασία δεν είναι κάτω από 0οC η θερμοκρασία δεν είναι κάτω από 0οC ΑΤΟΠΟ η θερμοκρασία δεν είναι κάτω από 0οC ΑΤΟΠΟ (αντίφαση με την υπόθεση: η θερμοκρασία είναι κάτω από 0οC) (αντίφαση με την υπόθεση: η θερμοκρασία είναι κάτω από 0οC) το νερό γίνεται πάγος Αν Αντιθετοαντίστροφη το νερό γίνεται πάγος Άρα: το νερό γίνεται πάγος ΣΩΣΤΗ ΣΩΣΤΗ ΣΩΣΤΗ ΣΩΣΤΗ ΣΥΓΚΡΙΣΗ ΤΩΝ ΑΠΟΔΕΙΚΤΙΚΩΝ ΜΕΘΟΔΩΝ ΣΥΝΘΕΤΙΚΗ ΑΝΑΛΥΤΙΚΗ ΑΠΑΓΩΓΗ ΣΕ ΑΤΟΠΟ Δεδομένο Ζητούμενο Αντίθετο του ζητούμενου Ζητούμενο Ισχύει Άτοπο (αντίφαση) Ζητούμενο ΑΝΤΙΘΕΣΕΙΣ & ΔΙΑΜΑΧΕΣ ΓΙΑ ΤΗ ΜΕΘΟΔΟ ΤΗΣ ΑΠΑΓΩΓΗΣ ΣΕ ΑΤΟΠΟ Benson 1867 Geometry: The elements of Euclid and Legendre Διδακτικό εγχειρίδιο του 19ου αιώνα, για σχολεία και κολλέγια, στην Αμερική. Στο εξώφυλλο μετά τον τίτλο αναφέρει: Απλοποιημένο και δομημένο ώστε να εξαιρεί από τη γεωμετρική αιτιολόγηση την απαγωγή σε άτοπο. Στην εισαγωγή αναφέρει, μεταξύ άλλων, ότι έχει διευθετήσει τις προτάσεις με τρόπο ώστε οι αποδείξεις να δίνονται με την ευθεία μέθοδο (direct proof) και όχι με απαγωγή σε άτοπο (reduction ad absurdum) ή με πλάγια μέθοδο (indirect proof). Υπήρξαν σημαντικοί μαθηματικοί που εκθείασαν τη μέθοδο της απαγωγής σε άτοπο … η εις άτοπον απαγωγή που ο Ευκλείδης αγαπούσε τόσο πολύ, είναι ένα από τα ωραιότερα όπλα του μαθηματικού. Είναι πιο όμορφο από οποιοδήποτε σκακιστικό γκαμπί. Ένας σκακιστής μπορεί να θυσιάσει ένα πιόνι, ή ακόμη και ένα κομμάτι, αλλά ο μαθηματικός προσφέρει το ίδιο το παιχνίδι. Hardy, 1940 A Mathematician’s Apology Cambridge University Press Υπήρξαν όμως και σημαντικοί μαθηματικοί ήταν επικριτές της μεθόδου … ένας τρόπος απόδειξης που οδηγεί στο αδύνατο, που είναι ο λιγότερο αγαπητός και ο λιγότερο ευφυής από όλους αυτούς που χρησιμοποιούνται στα μαθηματικά. Descartes, 1638 Oeuvres Adam and Tannery eds., Paris, 1897-1913 NO END