1679 ⟶ Leibniz's Universal Calculus of Reasoning
Leibniz developed a universal calculus of reasoning (alphabe...
Year
1275
1679
⚙️ Ramon Llull's Ars Magna and Mechanical Reasoning
Ramon Llull, Mallorcan theologian, invents the Ars Magna, a tool for combining concepts mechanically based on an Arabic astrological tool, the Zairja. Llull described his machines as mechanical entities that could combine basic truth and facts to produce advanced knowledge. The method would be developed further by Gottfried Wilhelm Leibniz in the 17th century.⟶
LogicMechanical ReasoningKnowledge RepresentationArs MagnaPhilosophyCombinatorial SystemsEarly AI Concepts
Spain✍️ Leibniz's Universal Calculus of Reasoning
Leibniz developed a universal calculus of reasoning (Alphabet of human thought) by which arguments could be decided mechanically. It assigned a specific number to each and every object in the world, as a prelude to an algebraic solution to all possible problems.⟶
LogicUniversal LanguageReasoningFormal SystemsSymbolic AIPhilosophyCalculus
Germany