Augustus De Morgan (June 27, 1806 Maura, Madras Presidency, India (now Madurai, Tamil Nadu, India) – March 18, 1871 London, England) was a British mathematician and logician. He formulated De Morgan's laws and introduced the term mathematical induction, and made its idea rigorous.1 The De Morgan crater on the Moon is named after him.