Το Εις Άτοπον είναι ένα απλό αλλά εξαιρετικά ισχυρό εργαλείο στα μαθηματικά. Θέλεις να αποδείξεις ότι μια πρόταση Α είναι σωστή; Υπόθεσε ότι δεν ισχύει και, με τη μέθοδο reductio ad absurdum, κατέληξε σε ένα παράλογο ή αδύνατο συμπέρασμα.
Ο σπουδαίος μαθηματικός Godfrey H. Hardy το περιγράφει υπέροχα:
«Η reductio ad absurdum, την οποία τόσο αγάπησε ο Ευκλείδης, είναι ένα από τα καλύτερα όπλα του μαθηματικού. Είναι τέχνασμα πιο εκλεπτυσμένο κι από οποιαδήποτε κίνηση στο σκάκι· γιατί ο σκακιστής μπορεί να θυσιάσει ένα πιόνι ή ακόμη και ένα κομμάτι, αλλά ο μαθηματικός θυσιάζει ολόκληρο το παιχνίδι.»
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου