AI
The long road to machines that reason — from Aristotle's syllogisms to today's frontier models.
10 posts· 350 BCE – 1950
-
Turing's imitation game
-
Shannon's chess paper and the problem it was really solving
-
McCulloch and Pitts, or a mind made of thresholds
-
Turing's machine, or the question no algorithm can answer
-
Frege's Begriffsschrift
-
Boole's algebra of thought
-
Leibniz's calculus ratiocinator, or let us calculate who is right
-
Llull's Ars Magna, or how a troubadour built the first reasoning machine
-
Al-Jazari's musicians, or the first machine you could reprogram
-
The Prior Analytics, or the first argument written in letters