Contents

11 chapters, 500+ pages of fascinating reading

1.1 Introduction and Mythology

Greek myths of automata, Golem and alchemical traditions

1.2 Leibniz

Dream of universal language and mechanical calculator

1.3 Babbage

Difference Engine and vision of programmability

1.4 Ada Lovelace

First programmer and first AI debate

1.5 Formal Logic

Boole, Frege, Russell and Gödel's theorems

11
chapters
55+
sections
500+
pages
75k+
words