Την κυρία ή την τίγρη;

Μια εξαιρετική συλλογή προβλημάτων —παραδόξων, μεταγρίφων, αινιγμάτων συνδυαστικής, κ.λπ.— της σύγχρονης μαθηματικής λογικής, που έχει ως κύριο σκοπό να εξηγήσει (με τρόπο, ομολογουμένως, μοναδικό) το θεώρημα της μη πληρότητας του Godel και το θεώρημα της τυπικής μη ορισιμότητας της αλήθειας του Tarski.

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

«Σπινθηροβόλα συλλογή προβλημάτων και παραδόξων της λογικής από τον πιο ψυχαγωγικό επαΐοντα της μαθηματικής λογικής και της θεωρίας συνόλων που υπήρξε ποτέ. Όπως σε όλα τα βιβλία των εξαίσιων γρίφων του καθηγητή Smullyan, θα καταλήξετε εξερευνώντας τις παράξενες υπόγειες γκεντελιανές στοές των μαθηματικών, όπου θα γνωρίσετε τα όμορφα θεωρήματα για την αλήθεια και την αποδειξιμότητα. [...]»

Martin Gardner

«Έξυπνο, διδακτικό, διασκεδαστικό βιβλίο. [...] Ο τελευταίος μεταγρίφος “Ποιος είναι ο κατάσκοπος;” αποτελεί τον πιο ευφυή γρίφο λογικής που διατυπώθηκε ποτέ. [...]»

G. Boolos, καθηγητής φιλοσοφίας στο ΜΙΤ

«Ο Ray Smullyan είναι ο Lewis Carroll της εποχής μας. [...] Τα βιβλία του θα εξακολουθούν να μαγεύουν ακόμη και αφότου εμείς όλοι θα έχουμε ξεχαστεί. [...]»

P. Denning , καθηγητής πληροφορικής στο Πανεπιστήμιο Pardue

Ο Raymond Smullyan, ευρύτατα γνωστός μαθηματικός και λογικολόγος, διετέλεσε επίτιμος καθηγητής μαθηματικών στο Πολιτειακό Πανεπιστήμιο της Νέας Υόρκης και καθηγητής φιλοσοφίας στο Πανεπιστήμιο της Ιντιάνα. Είναι πολυγραφότατος· μεταξύ άλλων έχει γράψει επτά ιδιαιτέρως εκτιμώμενες μονογραφίες στη μαθηματική λογική, εννέα βιβλία με γρίφους λογικής, δύο βιβλία με ιδιότυπα προβλήματα σκακιστικής λογικής και πέντε με αντικείμενο τις φιλοσοφικές και θεολογικές του αναζητήσεις. Είναι επίσης ταχυδακτυλουργός με επαγγελματικές ικανότητες και πιανίστας επιπέδου κονσέρτου.