Inconsistent Sets of Statements from Knights and Knaves
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
On an island of knights and knaves, knights always tell the truth, knaves always lie, and everyone is either a knight or a knave. There are inhabitants denoted by A, B, C, …. Each one makes a statement about the number of knights in a set. (The set is the empty set with zero knights.) Their vocabulary is rather limited; generally they talk about even and odd numbers.
[more]
Contributed by: Izidor Hafner (January 2013)
Open content licensed under CC BY-NC-SA
Snapshots
Details
detailSectionParagraphPermanent Citation
"Inconsistent Sets of Statements from Knights and Knaves"
http://demonstrations.wolfram.com/InconsistentSetsOfStatementsFromKnightsAndKnaves/
Wolfram Demonstrations Project
Published: January 9 2013