George Boole

< 01 >
< D >


350 BC   Aristotle - How to form valid logical arguments.
   1705   Gottfried Leibniz - Similarity of logic and arithmetic.
   1831   Michael Faraday - Electromagnetic Induction.

   1847   George Boole - Systematized logic.