Events from 1847

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

Augustus De Morgan publishes 'Formal Logic', independently developing algebraic logic and formulating De Morgan's laws

Gustav Kirchhoff develops theory of trees in electrical circuit analysis, introducing spanning trees

Arthur Cayley begins studying trees to enumerate chemical isomers, connecting graph theory to chemistry

Johann Benedict Listing coins the term 'topology' in his 'Vorstudien zur Topologie'

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

Mazzini writes to Pius IX about laying foundations of moral unity, Humanitarian Catholicism

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