Ποιος θα το περίμενε ότι μια ξύλινη κούκλα από την Τοσκάνη θα μπορούσε να προκαλέσει «βραχυκύκλωμα» σε ολόκληρο το οικοδόμημα της Λογικής; Αν νομίζατε ότι ο Πινόκιο έχει να αντιμετωπίσει μόνο τον Γρύλο και την Καλή Νεράιδα, πλανάστε. Ο μεγαλύτερος εχθρός του είναι η αυτοαναφορικότητα.

Φανταστείτε τον Πινόκιο να κοιτάζει την κάμερα και να δηλώνει με θράσος:

«Η μύτη μου θα μεγαλώσει τώρα!»

Εδώ ξεκινάει ο εφιάλτης κάθε λογικολόγου.

• Αν η μύτη μεγαλώσει, σημαίνει ότι ο Πινόκιο είπε την αλήθεια. Αλλά η μύτη του μεγαλώνει μόνο όταν λέει ψέματα. Άρα, αν μεγαλώσει, έχουμε αλήθεια που προκύπτει από ψέμα.
• Αν η μύτη ΔΕΝ μεγαλώσει, τότε ο Πινόκιο είπε ψέματα. Αλλά αν είπε ψέματα, η μύτη του εξ ορισμού θα έπρεπε να μεγαλώσει!

Το αποτέλεσμα; Ένας λογικός «λάκκος» που δεν έχει πάτο.

Από το παραμύθι... στον Bertrand Russell

Αν νομίζετε ότι αυτά είναι παιχνίδια για να περνά η ώρα, ο σπουδαίος Bertrand Russell θα είχε μια πολύ σοβαρή ένσταση. Το 1901, ο Russell ανακάλυψε ένα παρόμοιο ρήγμα στα θεμέλια των Μαθηματικών, γνωστό ως «Το Παράδοξο του Ράσελ».

Στην πιο απλή του μορφή (το παράδοξο του κουρέα), ο Ράσελ μας λέει:

Σε ένα χωριό υπάρχει ένας κουρέας που ξυρίζει όλους εκείνους (και μόνο εκείνους) που δεν ξυρίζονται μόνοι τους. Ο κουρέας ξυρίζει τον εαυτό του;

Αν τον ξυρίζει, τότε παραβαίνει τον κανόνα (αφού ξυρίζει κάποιον που ξυρίζεται μόνος του). Αν δεν τον ξυρίζει, τότε πάλι παραβαίνει τον κανόνα (αφού οφείλει να ξυρίζει όποιον δεν ξυρίζεται μόνος του).

Πού συναντιέται το ξύλινο αγόρι με τον Μαθηματικό;

Και στις δύο περιπτώσεις, το πρόβλημα είναι το ίδιο: Η αυτοαναφορά. Στα Μαθηματικά, το παράδοξο του Ράσελ απέδειξε ότι δεν μπορούμε να φτιάχνουμε σύνολα «όπως μας καπνίσει» (αφελής θεωρία συνόλων), γιατί αν ένα σύνολο περιέχει τον εαυτό του, το σύστημα καταρρέει.

Ο Πινόκιο, με τη δήλωσή του, γίνεται ο ίδιος ένα «σύνολο» που προσπαθεί να ορίσει την κατάστασή του χρησιμοποιώντας τον κανόνα που τον ορίζει. Είναι σαν να προσπαθείς να σηκωθείς από το έδαφος τραβώντας τα κορδόνια των παπουτσιών σου.

Το συμπέρασμα

Η Λογική είναι ένα πανίσχυρο εργαλείο, αλλά έχει κι αυτή τα όριά της. Όπως ο Πινόκιο παγιδεύεται ανάμεσα στην αλήθεια και το ψέμα, έτσι και τα Μαθηματικά έπρεπε να επαναπροσδιορίσουν τους κανόνες τους (μέσω των αξιωμάτων Zermelo-Fraenkel) για να αποφύγουν τέτοιες «ξυλοκατασκευές».🛠️📐

Την επόμενη φορά, λοιπόν, που θα δείτε τον Πινόκιο, μην τον λυπηθείτε για τις περιπέτειές του. Λυπηθείτε τον γιατί είναι ο μόνος ήρωας που μπορεί να αποδείξει ότι η Λογική μας είναι, μερικές φορές, εξίσου εύθραυστη με το ξύλο από το οποίο είναι φτιαγμένος.🤥🪵