Events Tagged: "mathematical logic"

George Boole publishes 'The Mathematical Analysis of Logic', introducing algebraic methods to logic and founding Boolean algebra

The year 1847 sees both Boole's 'Mathematical Analysis of Logic' and De Morgan's 'Formal Logic', marking birth of modern mathematical logic

George Boole develops mathematical logic - algebra of logic, foundation for computer science

George Boole publishes 'An Investigation of the Laws of Thought', fully developing Boolean algebra and mathematical logic

George Boole publishes Investigation of Laws of Thought - algebraic foundation for computer science

Gottlob Frege publishes Begriffsschrift, creating mathematical logic notation

Peano begins 'Formulario Mathematico' project, attempting to formalize all of mathematics in symbolic notation

Hilbert and Ackermann publish 'Grundzüge der theoretischen Logik', first modern textbook on mathematical logic