Path 01 —
From Logic to Machines
A road from Aristotle to Turing: how people wrote reasoning down as formal rules, and then discovered the limits of those rules.
- 01
- 02
- 03
- 04
- 05
- 06
Finished? Head back to the map and pick a neighbouring node.
Open the atlas →