Ο Raymond Smullyan παρουσίασε στην πρώτη Gathering for Gardner ένα φαινομενικά απλό αριθμητικό παράδοξο.
Θεωρούμε δύο θετικούς ακέραιους αριθμούς \(x\) και \(y\). Γνωρίζουμε ότι ο ένας είναι διπλάσιος από τον άλλον, αλλά δεν γνωρίζουμε ποιος.
Πρώτος συλλογισμός
Αν \(x>y\), τότε
και επομένως η διαφορά τους είναι
Αν, αντίθετα, \(y>x\), τότε
οπότε
Επειδή
φαίνεται να καταλήγουμε στο συμπέρασμα ότι η διαφορά όταν \(x>y\) είναι μεγαλύτερη από τη διαφορά όταν \(y>x\).
Δεύτερος συλλογισμός
Έστω τώρα \(d\) η διαφορά μεταξύ των δύο αριθμών. Εφόσον ο μεγαλύτερος είναι πάντοτε διπλάσιος του μικρότερου, η διαφορά τους είναι ίση με τον μικρότερο αριθμό:
Άρα φαίνεται ότι είτε \(x>y\) είτε \(y>x\), η διαφορά είναι απλώς η ίδια ποσότητα \(d\).
Ο πρώτος συλλογισμός φαίνεται να λέει ότι η μία διαφορά είναι μεγαλύτερη από την άλλη, ενώ ο δεύτερος ότι είναι ίση με την άλλη.
Και οι επιμέρους υπολογισμοί φαίνονται σωστοί.
Ποιο λεπτό λογικό σφάλμα δημιουργεί την αντίφαση;
.jpg)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου