Augustus De Morgan

Augustus De Morgan (1806–1871) was a British mathematician and logician best known for formulating De Morgan's laws. De Morgan is also known for coining the term mathematical induction and formalizing the principles underlying induction. De Morgan's contributions to logic have been used in set theory, probability theory, computer science, and other fields. Provided by Wikipedia