ΤΗΝ ΚΥΡΙΑ Ή ΤΗΝ ΤΙΓΡΗ;

Παρουσίαση

To βιβλίο αποτελεί μια εξαιρετική συλλογή προβλημάτων -παραδόξων, μεταγρίφων, αινιγμάτων συνδυαστικής, κ.λπ.- της σύγχρονης μαθηματικής λογικής, και έχει ως κύριο σκοπό του να εξηγήσει -με τρόπο, ομολογουμένως, μοναδικό- το θεώρημα της μη πληρότητας του Godel και το θεώρημα της τυπικής μη ορισιμότητας της αλήθειας του Tarski.
Στο πρώτο τμήμα του βιβλίου, υγιείς και παράφρονες, βρικόλακες, ψυχίατροι, ονειρευόμενοι, μάγοι, βασιλιάδες, ιππότες και ιπποκόμοι -μια εντυπωσιακή παράθεση από φανταστικούς χαρακτήρες- θέτουν ερωτήματα, και ο αναγνώστης καλείται να λύσει γρίφους και σπαζοκεφαλιές με αυξημένη δυσκολία. Ένας αμερόληπτος βασιλιάς δίνει στους κρατούμενούς του τα εντελώς απαραίτητα δεδομένα για να επιλύσουν ένα έξυπνο αίνιγμα και να κερδίσουν την ελευθερία τους (και πιθανόν μια πανέμορφη νύφη!)... Ο επιθεωρητής Κρέιγκ, της Σκότλαντ Γιαρντ, καλείται στη Γαλλία για να εξιχνιάσει την αλλόκοτη κατάσταση σε έντεκα άσυλα όπου ουδείς μπορεί να διαχωρίσει ποιοι είναι οι γιατροί και ποιοι οι νοσηλευόμενοι...
Το δεύτερο τμήμα του βιβλίου αποτελεί μια μαθηματική νουβέλα - η πρώτη στο είδος! Ο επιθεωρητής Κρέιγκ, ξεκινώντας από ένα πρακτικό πρόβλημα σχετικά με το θησαυροφυλάκιο μιας τράπεζας, και με την ανέλπιστη συνδρομή δύο φίλων και των υπολογιστικών μηχανών τους, θα κολυμπήσει στα βαθιά νερά των μαθηματικών, από όπου τελικώς θα οδηγηθεί στην ουσία της επαναστατικής γκεντελιανής θεωρίας της μη αποκρισιμότητας.
(Από την παρουσίαση της έκδοσης)

"Σπινθηροβόλα συλλογή προβλημάτων και παραδόξων της λογικής από τον πιο ψυχαγωγικό επαΐοντα της μαθηματικής λογικής και της θεωρίας συνόλων που υπήρξε ποτέ. Όπως σε όλα τα βιβλία των εξαίσιων γρίφων τού καθηγητή Smullyan, θα καταλήξετε εξερευνώντας τις παράξενες υπόγειες γκεντελιανές στοές των μαθηματικών, όπου θα γνωρίσετε τα όμορφα θεωρήματα για την αλήθεια και την αποδειξιμότητα. [...]" (Martin Gardner)
"Έξυπνο, διδακτικό, διασκεδαστικό βιβλίο. [...] Ο τελευταίος μεταγρίφος "Ποιος είναι ο κατάσκοπος;" αποτελεί τον πιο ευφυή γρίφο λογικής που διατυπώθηκε ποτέ. [...]" (G. Boolos, καθηγητής φιλοσοφίας, Τεχνολογικό Ινστιτούτο της Μασαχουσέτης)
"Ο Ray Smullyan είναι ο Lewis Carroll της εποχής μας. [...] Τα βιβλία του θα εξακολουθούν να μαγεύουν ακόμη και αφότου εμείς όλοι θα έχουμε ξεχαστεί. [...]" (Ρ. Denning, καθηγητής πληροφορικής, Πανεπιστήμιο Pardue)

Περιεχόμενα

Πρόλογος στην ελληνική έκδοση
Πρόλογος
ΤΗΝ ΚΥΡΙΑ Ή ΤΗΝ ΤΙΓΡΗ;
Εξυπνάδες - παλιές και νέες
Κυρίες ή τίγρεις;
Το άσυλο φρενοβλαβών
Ο επιθεωρητής Κρέιγκ επισκέπτεται την Τρανσιλβανία
ΓΡΙΦΟΙ ΚΑΙ ΜΕΤΑΓΡΙΦΟΙ
Το νησί των ερωτώντων
Το νησί των ονείρων
Μεταγρίφοι
ΤΟ ΜΥΣΤΗΡΙΟ ΤΗΣ ΤΡΑΠΕΖΑΣ ΤΟΥ ΜΟΝΤΕ ΚΑΡΛΟ
Το μυστήριο της τράπεζας του Μόντε Κάρλο
Μια παράξενη αριθμομηχανή
Ο νόμος του Κρέιγκ
Οι νόμοι του Φέργκιουσον
Ανάπαυλα: ας γενικεύσουμε!
Το κλειδί
ΕΠΙΛΥΣΙΜΟ Ή ΑΛΥΤΟ
Η λογική μηχανή του Φέργκιουσον
Αποδειξιμότητα και αλήθεια
Μηχανές που μιλούν για τον εαυτό τους
Θνητοί και αθάνατοι αριθμοί
Η μηχανή που δεν κατασκευάστηκε ποτέ
Η χίμαιρα του Leibniz
Επίμετρο στην ελληνική έκδοση
Ευρετήριο όρων και ονομάτων