Grug tells Tale of thinking Rock

grug want to know what computer is, all the way down. grug look for book that go all the way down, never find one, so grug write it.

Schickard, Pascal, Leibniz, and Babbage dream of machines that crunch number, two hundred winter before any wire is tame. Lovelace see furthest: a machine that follow rule on symbol can do anything written as symbol and rule.

In 1847 George Boole turn two thousand winter of Aristotle's logic into algebra: AND is times, OR is plus, NOT is one-minus. Leibniz's dream of *calculemus* now have rules, but still no machine.