Turing Machine
← All Turing Machine questions
Is a verifier still needed if you can work out its criterion without ever testing it?
The rulebook says no criterion is superfluous, and players confirm the uniqueness test.
- pacific · Designer · 2023-01-06
- Evil Brother · Community · 2023-01-06
- MasterDinadan · Community · 2023-01-06
- Turing Machine rulebook · Rulebook · REMINDERS AND CLARIFICATIONS
- biophys · Community · 2024-06-27
Yes. Every verifier must be present for the solution to be unique, even if you never ask it a question. Removing any verifier must leave more than one possible code, so a criterion you can infer still constrains the code. For example, knowing a colour is 1 does not make card 14 redundant, because card 14 is what rules out a second 1; without it, a code like 114 would still fit.