Ο ιστορικός της επιστήμης Jacob Bronowski, στο βιβλίο του The Origins of Knowledge and Imagination (1978), διηγείται μια ιστορία για τον Bertrand Russell: σε ένα δείπνο, ο Russell φέρεται να είπε πως δεν έχει νόημα να συζητά κανείς για ασυνεπείς προτάσεις, αφού από μια ασυνεπή πρόταση μπορείς να αποδείξεις οτιδήποτε θέλεις.
Κάποιος στο τραπέζι διαμαρτυρήθηκε, κι έτσι ο Russell τον προκάλεσε να προτείνει μια τέτοια ασυνεπή πρόταση. Ο άλλος πρότεινε: «2=1». Ο Russell ζήτησε τότε να μάθει τι θα ήθελε να αποδείξει με βάση αυτήν. «Ότι είσαι ο Πάπας», απάντησε εκείνος. Ο Russell, χωρίς δισταγμό: «Ο Πάπας κι εγώ είμαστε δύο· αλλά δύο ισούται με ένα· άρα ο Πάπας κι εγώ είμαστε ένα».
🧠 Η πραγματική λογική πίσω από το αστείο
Το ανέκδοτο δεν είναι απλώς ένα λογοπαίγνιο — απεικονίζει μια γνήσια, θεμελιώδη αρχή της τυπικής λογικής, γνωστή ως αρχή της έκρηξης (principle of explosion, ή ex falso quodlibet, «από το ψευδές, ό,τι θέλεις»): σε ένα κλασικό λογικό σύστημα, αν δεχτούμε έστω και μία αντίφαση ως αληθή, τότε κάθε πρόταση —όσο παράλογη κι αν είναι— μπορεί να αποδειχθεί έγκυρα.
Το «απόδειξέ ότι είσαι ο Πάπας» είναι απλώς η πιο θεατρική δυνατή επίδειξη αυτής της αρχής.
🎭 Πόσο πραγματικά συνέβη;
Το ανέκδοτο έχει, στην πραγματικότητα, περισσότερες από μία εκδοχές. Μια παλαιότερη καταγραφή, στο βιβλίο Scientific Inference του Sir Harold Jeffreys, αποδίδει μια πολύ παρόμοια ιστορία όχι στον Russell, αλλά στον G. H. Hardy, ο οποίος φέρεται να απάντησε στον φιλόσοφο J. M. E. McTaggart, ξεκινώντας από την πρόταση 2+2=5.
Το ίδιο αστείο εμφανίζεται, με μικρές παραλλαγές στα ονόματα και στην αρχική «ψευδή» εξίσωση, σε αρκετές διαφορετικές αφηγήσεις. Το πιθανότερο είναι πως πρόκειται για ένα κομμάτι μαθηματικής λαογραφίας, που μεταφέρθηκε προφορικά ανάμεσα σε λογικούς και μαθηματικούς επί δεκαετίες, παίρνοντας κάθε φορά το όνομα του πιο διάσημου —ή πιο πρόσφατα ενεργού— πρωταγωνιστή.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου