Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Quotes

Tony Hoare

http://alloytools.org/tutorials/day-course/s1_logic.pdf

One way is to make it so simple there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.

Richard P. Feynman

http://alloytools.org/tutorials/day-course/s1_logic.pdf

The first principle is that you must not fool yourself, and you are the easiest person to fool.