1854 ⟶ Boole Invents Boolean Algebra

George Boole set out to "investigate the fundamental laws of...
Timelines Logo
Year
1854
1931

➕ Boole Invents Boolean Algebra

George Boole set out to "investigate the fundamental laws of those operations of the mind by which reasoning is performed, to give expression to them in the symbolic language of a calculus", inventing Boolean algebra.⟶
Boole Invents Boolean Algebra (1854)
Boolean algebraLogicMathematicsSymbolic logicComputationFoundationsComputer scienceReasoning
United KingdomUnited Kingdom

♾️ Gödel Proves Limits of Algorithmic Theorem Proving

Kurt Gödel encoded mathematical statements and proofs as integers, and showed that there are true theorems that are unprovable by any consistent theorem-proving machine. Thus "he identified fundamental limits of algorithmic theorem proving, computing, and any type of computation-based AI," laying foundations of Theoretical computer science and AI theory.⟶
Gödel Proves Limits of Algorithmic Theorem Proving (1931)
Gödel's incompleteness theoremsMathematicsLogicComputabilityTheorem provingLimits of computationTheoretical computer scienceFoundations
AustriaAustria