AI The long road to machines that reason — from Aristotle's syllogisms to today's frontier models. 5 posts· 350 BCE – 1854 Boole's algebra of thought 1854 Leibniz's calculus ratiocinator, or let us calculate who is right 1679 Llull's Ars Magna, or how a troubadour built the first reasoning machine 1305 Al-Jazari's musicians, or the first machine you could reprogram 1206 The Prior Analytics, or the first argument written in letters 350 BCE
