## Augustus de Morgan and Formal Logic

On June 27, 1806, British mathematician and logician Augustus De Morgan was born. He formulated De Morgan‘s laws and introduced the term mathematical induction, a method of mathematical proof typically used to establish a given statement for all natural numbers. As a computer scientist, I am of course familiar with De Morgan‘s laws, which are fundamental for Boolean logic. De Morgan‘s laws are merely transformation rules for two of the basic operators…

Read more