Page:A History of Mathematics (1893).djvu/335

This page has been proofread, but needs to be validated.
316
A HISTORY OF MATHEMATICS.

Augustus De Morgan (1806–1871) was born at Madura (Madras), and educated at Trinity College, Cambridge. His scruples about the doctrines of the established church prevented him from proceeding to the M.A. degree, and from sitting for a fellowship. In 1828 he became professor at the newly established University of London, and taught there until 1867, except for five years, from 1831–1835. De Morgan was a unique, manly character, and pre-eminent as a teacher. The value of his original work lies not so much in increasing our stock of mathematical knowledge as in putting it all upon a thoroughly logical basis. He felt keenly the lack of close reasoning in mathematics as he received it. He said once: "We know that mathematicians care no more for logic than logicians for mathematics. The two eyes of exact science are mathematics and logic: the mathematical sect puts out the logical eye, the logical sect puts out the mathematical eye; each believing that it can see better with one eye than with two." De Morgan saw with both eyes. He analysed logic mathematically, and studied the logical analysis of the laws, symbols, and operations of mathematics; he wrote a Formal Logic as well as a Double Algebra, and corresponded both with Sir William Hamilton, the metaphysician, and Sir William Rowan Hamilton, the mathematician. Few contemporaries were as profoundly read in the history of mathematics as was De Morgan. No subject was too insignificant to receive his attention. The authorship of "Cocker's Arithmetic" and the work of circle-squarers was investigated as minutely as was the history of the invention of the calculus. Numerous articles of his lie scattered in the volumes of the Penny and English Cyclopædias. His Differential Calculus, 1842, is still a standard work, and contains much that is original with the author. For the Encyclopædia Metropolitana he wrote on the calculus of functions (giving principles of symbolic reasoning)