Σύμφωνα με την άποψη του G. Boolos, καθηγητή φιλοσοφίας στο MIT, πρόκειται για τον πιο ευφυή γρίφο λογικής που διατυπώθηκε ποτέ!
Η υπόθεση αφορά στη δίκη τριών προσώπων, των Α, Β και Γ.
Ο ένας από τους τρεις ήταν ιππότης, συνεπώς έλεγε πάντοτε την αλήθεια,
ο άλλος ήταν ιπποκόμος, δηλαδή έλεγε πάντοτε ψέματα
και ο τρίτος ήταν κατάσκοπος και έλεγε πότε αλήθεια και πότε ψέματα.
Η δίκη γινόταν για να εντοπιστεί και να καταδικαστεί ο κατάσκοπος. Φυσικά, ο δικαστής δεν ήξερε ποιος είναι ποιος.
Αρχικά ζητήθηκε από τον Α να κάνει μια δήλωση.
Εκείνος δήλωσε:
είτε ότι ο Γ ήταν ιπποκόμος,
είτε ότι ο Γ ήταν ο κατάσκοπος
- εμείς όμως δεν γνωρίζουμε ποια ήταν η δήλωσή του, παρά μόνο ο δικαστής.
Στη συνέχεια ο Β δήλωσε:
είτε ότι ο Α ήταν ιππότης,
είτε ότι ο Α ήταν ιπποκόμος,
είτε ότι ο Α ήταν ο κατάσκοπος.
Τέλος, ο Γ δήλωσε:
είτε ότι ο Β ήταν ιππότης,
είτε ότι ο Β ήταν ιπποκόμος,
είτε ότι ο Β ήταν ο κατάσκοπος.
Με βάση τα παραπάνω, ο δικαστής κατάφερε να προσδιορίσει ποιος ήταν ο κατάσκοπος και τον καταδίκασε.
Την υπόθεση αυτή τη διηγήθηκαν σε έναν λογικολόγο, ο οποίος αφού μελέτησε το πρόβλημα, αποφάνθηκε ότι δεν είχε
επαρκείς πληροφορίες για να εντοπίσει τον κατάσκοπο. Τότε ανέφεραν στον λογικολόγο την ακριβή δήλωση του Α για
τον Γ και μόνο έτσι μπόρεσε να προσδιορίσει ποιος ήταν ο κατάσκοπος
to A einai o ippotis,to b kataskopos kai to g o ippokomos?
ΑπάντησηΔιαγραφήΣωστά!!! Αλλά πως το έλυσες? Γιατί χρειάζεται απαραίτητα χαρτί, μολύβι και πολλές δοκιμές για να αποκλείσεις περιπτώσεις...(Sorry που άργησα να απαντήσω αλλά δεν είχα Internet για 2 εβδομάδες)
ΑπάντησηΔιαγραφήvasika einai paneukolo.katalavainoume pws o a einai ippotis afou anaferetai pws kanei akrives dilwseis..ara sumperainoume pws oute o b oute o g einai ippotis...afou sumfwna me tn a o g einai i ipokomos i ippotis ,vlepoume pws t g einai ipokomos afou upostirizei oti o b einai ipotis kati t opoio den isxuei....kai epishs afou o b einai kataskopos kai leei pote ali9eia kai pote psemata..leei pws o a einai ipotis pou isxuei kai oi alles 2 epiloges den isxuoun ara vgainei (a ipotis ,b kataskopos,g ipokomos)...den 3erw an vgainei etsi.den ta pa kai poli analutika
ΑπάντησηΔιαγραφήvasika malakies lew panw.den ekfrastika kala.
ΑπάντησηΔιαγραφήloipon o a einai ipotis epeidi to keimeno isxurizetai oti i dilwsi tou einai akribhs.
ara o b =ipokomos,kataskopos kai g=ipokomos,kataskopos
vlepoume omws oti o g isxurizetai oti o b einai ipotis pragma to opoio exoume apokleisei afou o a einai ipotis.ara sumperainoume oti o g einai o ipokomos.
etsi,o b einai kataskopos afou sumfwna me to keimeno leei pote ali9eia pote psemata...kai sumfwna me tn dilwsi tou isxuei oti o a einai ipotis kai episeis apokleioume tis alles 2 epiloges,afou 3eroume oti o g einai ipokomos kai oxi o a pou einai ipotis.
:D