Checked? An introduction to ZTL¶
A short book for curious readers from about the sixth or seventh grade — and for anyone who wants ZTL without formulas. It starts with a game: an honest machine with two boxes and a light, and a trickster who puts his note in after you. Step by step the game becomes a logic: the rule of ZTL, told with notes and boxes.
No special knowledge is needed. Almost every chapter has a game to play with a friend, and each one ends with puzzles and answers.
Chapters¶
- Introduction
- Chapter 1. The OR machine
- Chapter 2. The NOT-AND machine
- Chapter 3. The IF… THEN machine
- Chapter 4. True, false and Z
- Chapter 5. Where the trickster always wins
- Chapter 6. The NOT machine
- Chapter 7. Machines in a chain
- Chapter 8. Laws
- Chapter 9. Reasoning
- Chapter 10. Many boxes
- Chapter 11. Zero-trust logic
Download¶
| language | title | pages | |
|---|---|---|---|
| English | Checked? An introduction to ZTL | 72 | checked-en.pdf |
| Russian (the original) | Проверили? Введение в ZTL | 75 | checked-ru.pdf |
The book was written in Russian first; the English edition is the text of these pages.
ZTL and the game of the honest machine and the trickster are by Vitaly Reznik. The text was written by Claude (Anthropic) from his design and under his direction, and translated into English the same way. The answers were checked against a program that computes by the rules of ZTL.