Η αναγωγή δεν λειτουργεί γιατί δεν υπάρχει στην εκφώνηση κάτι που να λέει τι συμβαίνει όταν περνάει μια μέρα, ένας μηχανισμός.MightyMouse έγραψε: 21 Μάιος 2018, 16:43 Επειδή πάει με αναγωγή στην πρώτη ημέρα που δεν έφυγε κανένας.
Αν ήταν ένας άρρωστος τότε θα καταλάβαινε και θα έφευγε.
Αν ήταν δύο άρρωστοι, θα έβλεπαν ο ένας πως ο άλλος έχει σπυρί. Αυτό σημαίνει πως από την πλευρά του ο καθένας θα ήξερε ότι ο άλλος είναι άρρωστος, άρα υπάρχει η πιθανότητα αυτός να μην είναι άρρωστος. Αυτό το συνειδητοποιούν αμέσως μόλις τους μιλάει ο ηγούμενος. Αμέσως μετά καταλαβαίνει ο κάθε ένας πως αφού ο άλλος δεν κινείται, τότε βλέπει σ' αυτόν σπυρί, άρα φεύγουν εκείνη τη στιγμή. Οι μέρες πού κολλάνε;
Αν ήταν τρεις άρρωστοι, θα έβλεπε ο κάθε ένας πως οι άλλοι δύο είχαν σπυρί. Αυτό σημαίνει πως από την πλευρά του ο καθένας θα ήξερε πως οι άλλοι δύο είναι άρρωστοι, άρα υπάρχει πιθανότητα αυτός να μην είναι άρρωστος. Αυτό το συνειδητοποιούν αμέσως μόλις τους μιλάει ο ηγούμενος. Αμέσως μετά, βλέπει ο καθένας πως οι άλλοι δύο δεν κινούνται, άρα ξέρει πως ο κάθε ένας από τους άλλους βλέπει τουλάχιστον ένα με σπυρί.
Χωρίς βλάβη της γενικότητας, έστω ο μοναχός που κοιτάει τώρα ο Α και οι άλλοι δύο ο Β και ο Γ. Βλέπει πως ο Β και ο Γ έχουν σπυρί. Επίσης, τους βλέπει να μην κινούνται να φύγουν, πράγμα που σημαίνει πως ο Β βλέπει τουλάχιστον ένα σπυρί και ο Γ τουλάχιστον ένα σπυρί. Εφόσον όμως ξέρει ο Α πως ο Β ξέρει ότι ο Γ εχει σπυρί, δεν μπορεί να ξέρει ότι ο ίδιος, ο Α δηλαδή, έχει σπυρί. Αντίστοιχα, ξέρει ο Α πως ο Γ ξέρει πως ο Β έχει σπυρί, άρα δεν μπορεί να ξέρει από το ότι δεν φεύγει ο Γ ότι ο ίδιος, ο Α δηλαδή, έχει σπυρί. Δεν προχωράει άλλο, σταματάει εκεί. Άρα μένουν τρεις και κοιτιούνται, όσες μέρες και αν περνούν.