Augustus De Morgan (June 27, 1806 – March 18, 1871) was an Indian-born British mathematician and logician. He formulated De Morgan's laws and was the first to introduce the term, and make rigorous the idea of mathematical induction. De Morgan crater on the Moon is named after him.

Biography
Augustus De Morgan was born June 27, 1806 in Madura, Madras Presidency, India (now Madurai, Tamil Nadu, India); His father was Col. De Morgan, who held various appointments in the service of the East India Company. His mother descended from James Dodson, who computed a table of anti-logarithms, that is, the numbers corresponding to exact logarithms. Col. De Morgan moved his family to England when Augustus was seven months old. As his father and grandfather had both been born in India, De Morgan used to say that he was neither English, nor Scottish, nor Irish, but a Briton "unattached," using the technical term applied to an undergraduate of Oxford or Cambridge who is not a member of any one of the Colleges.
When De Morgan was ten years old, his father died. Mrs. De Morgan resided at various places in the southwest of England, and her son received his elementary education at various schools of no great account. His mathematical talents were unnoticed until he had reached the age of fourteen. A friend of the family accidentally discovered him making an elaborate drawing of a figure in Euclid with ruler and compasses, and explained to him the aim of Euclid, and gave him an initiation into demonstration.
He received his secondary education from Mr. Parsons, a Fellow of Oriel College, Oxford, who could appreciate classics much better than mathematics. His mother was an active and ardent member of the Church of England, and desired that her son should become a clergyman; but by this time De Morgan had begun to show his non-conforming disposition.

Childhood
In 1823, at the age of sixteen, he entered Trinity College, Cambridge, where he immediately came under the tutorial influence of George Peacock and William Whewell. They became his life-long friends; from the former he derived an interest in the renovation of algebra, and from the latter an interest in the renovation of logic—the two subjects of his future life work.
At college the flute, on which he played exquisitely, was his recreation. He took no part in athletics but was prominent in the musical clubs. His love of knowledge for its own sake interfered with training for the great mathematical race; as a consequence he came out fourth wrangler. This entitled him to the degree of Bachelor of Arts; but to take the higher degree of Master of Arts and thereby become eligible for a fellowship it was then necessary to pass a theological test. To the signing of any such test De Morgan felt a strong objection, although he had been brought up in the Church of England. In about 1875 theological tests for academic degrees were abolished in the Universities of Oxford and Cambridge.

University education
As no career was open to him at his own university, he decided to go to the Bar, and took up residence in London; but he much preferred teaching mathematics to reading law. About this time the movement for founding the London University took shape. The two ancient universities of Oxford and Cambridge were so guarded by theological tests that no Jew or Dissenter outside the Church of England could enter as a student, still less be appointed to any office. A body of liberal-minded men resolved to meet the difficulty by establishing in London a University on the principle of religious neutrality. De Morgan, then 22 years of age, was appointed Professor of Mathematics. His introductory lecture "On the study of mathematics" is a discourse upon mental education of permanent value which has been recently reprinted in the United States.
The London University was a new institution, and the relations of the Council of management, the Senate of professors and the body of students were not well defined. A dispute arose between the professor of anatomy and his students, and in consequence of the action taken by the Council, several of the professors resigned, headed by De Morgan. Another professor of mathematics was appointed, who was accidentally drowned a few years later. De Morgan had shown himself a prince of teachers: he was invited to return to his chair, which thereafter became the continuous centre of his labours for thirty years.
The same body of reformers—headed by Lord Brougham, a Scotsman eminent both in science and politics who had instituted the London University—founded about the same time a Society for the Diffusion of Useful Knowledge. Its object was to spread scientific and other knowledge by means of cheap and clearly written treatises by the best writers of the time. One of its most voluminous and effective writers was De Morgan. He wrote a great work on The Differential and Integral Calculus which was published by the Society; and he wrote one-sixth of the articles in the Penny Cyclopedia, published by the Society, and issued in penny numbers. When De Morgan came to reside in London he found a congenial friend in William Frend, notwithstanding his mathematical heresy about negative quantities. Both were arithmeticians and actuaries, and their religious views were somewhat similar. Frend lived in what was then a suburb of London, in a country-house formerly occupied by Daniel Defoe and Isaac Watts. De Morgan with his flute was a welcome visitor; and in 1837 he married Sophia Elizabeth, one of Frend's daughters.
The London University of which De Morgan was a professor was a different institution from the University of London. The University of London was founded about ten years later by the Government for the purpose of granting degrees after examination, without any qualification as to residence. The London University was affiliated as a teaching college with the University of London, and its name was changed to University College. The University of London was not a success as an examining body; a teaching University was demanded. De Morgan was a highly successful teacher of mathematics. It was his plan to lecture for an hour, and at the close of each lecture to give out a number of problems and examples illustrative of the subject lectured on; his students were required to sit down to them and bring him the results, which he looked over and returned revised before the next lecture. In De Morgan's opinion, a thorough comprehension and mental assimilation of great principles far outweighed in importance any merely analytical dexterity in the application of half-understood principles to particular cases.
De Morgan had a son George, who acquired great distinction in mathematics both at University College and the University of London. He and another like-minded alumnus conceived the idea of founding a Mathematical Society in London, where mathematical papers would be not only received (as by the Royal Society) but actually read and discussed. The first meeting was held in University College; De Morgan was the first president, his son the first secretary. It was the beginning of the London Mathematical Society.

Retirement and death
De Morgan was a brilliant and witty writer, whether as a controversialist or as a correspondent. In his time there flourished two Sir William Hamiltons who have often been confounded. The one was Sir William Hamilton, 9th Baronet (that is, his title was inherited), a Scotsman, professor of logic and metaphysics at the University of Edinburgh; the other was a knight (that is, won the title), an Irishman, professor at astronomy in the University of Dublin. The baronet contributed to logic, especially the doctrine of the quantification of the predicate; the knight, whose full name was William Rowan Hamilton, contributed to mathematics, especially geometric algebra, and first described the Quaternions. De Morgan was interested in the work of both, and corresponded with both; but the correspondence with the Scotsman ended in a public controversy, whereas that with the Irishman was marked by friendship and terminated only by death. In one of his letters to Rowan, De Morgan says, "Be it known unto you that I have discovered that you and the other Sir W. H. are reciprocal polars with respect to me (intellectually and morally, for the Scottish baronet is a polar bear, and you, I was going to say, are a polar gentleman). When I send a bit of investigation to Edinburgh, the W. H. of that ilk says I took it from him. When I send you one, you take it from me, generalize it at a glance, bestow it thus generalized upon society at large, and make me the second discoverer of a known theorem."
The correspondence of De Morgan with Hamilton the mathematician extended over twenty-four years; it contains discussions not only of mathematical matters, but also of subjects of general interest. It is marked by geniality on the part of Hamilton and by wit on the part of De Morgan. The following is a specimen: Hamilton wrote, "My copy of Berkeley's work is not mine; like Berkeley, you know, I am an Irishman." De Morgan replied, "Your phrase 'my copy is not mine' is not a bull. It is perfectly good English to use the same word in two different senses in one sentence, particularly when there is usage. Incongruity of language is no bull, for it expresses meaning. But incongruity of ideas (as in the case of the Irishman who was pulling up the rope, and finding it did not finish, cried out that somebody had cut off the other end of it) is the genuine bull."
De Morgan was full of personal peculiarities. On the occasion of the installation of his friend, Lord Brougham, as Rector of the University of Edinburgh, the Senate offered to confer on him the honorary degree of LL. D.; he declined the honour as a misnomer. He once printed his name: Augustus De Morgan, H - O - M - O - P - A - U - C - A - R - U - M - L - I - T - E - R - A - R - U - M.
He disliked the country, and while his family enjoyed the seaside, and men of science were having a good time at a meeting of the British Association in the country he remained in the hot and dusty libraries of the metropolis. He said that he felt like Socrates, who declared that the farther he got from Athens the farther was he from happiness. He never sought to become a Fellow of the Royal Society, and he never attended a meeting of the Society; he said that he had no ideas or sympathies in common with the physical philosopher. His attitude was doubtless due to his physical infirmity, which prevented him from being either an observer or an experimenter. He never voted at an election, and he never visited the House of Commons, or the Tower of London, or Westminster Abbey.
Were the writings of De Morgan published in the form of collected works, they would form a small library. We have noticed his writings for the Useful Knowledge Society. Mainly through the efforts of Peacock and Whewell, a Philosophical Society had been inaugurated at Cambridge; and to its Transactions De Morgan contributed four memoirs on the foundations of algebra, and an equal number on formal logic. The best presentation of his view of algebra is found in a volume, entitled Trigonometry and Double Algebra, published in 1849; and his earlier view of formal logic is found in a volume published in 1847. His most distinctive work is styled a Budget of Paradoxes; it originally appeared as letters in the columns of the Athenæum journal; it was revised and extended by De Morgan in the last years of his life, and was published posthumously by his widow. If you wish to read something entertaining, get De Morgan's Budget of Paradoxes out of the library. We shall consider more at length his theory of algebra, his contribution to exact logic, and his Budget of Paradoxes.
George Peacock's theory of algebra was much improved by D. F. Gregory, a younger member of the Cambridge School, who laid stress not on the permanence of equivalent forms, but on the permanence of certain formal laws. This new theory of algebra as the science of symbols and of their laws of combination was carried to its logical issue by De Morgan; and his doctrine on the subject is still followed by English algebraists in general. Thus Chrystal founds his Textbook of Algebra on De Morgan's theory; although an attentive reader may remark that he practically abandons it when he takes up the subject of infinite series. De Morgan's theory is stated in his volume on Trigonometry and Double Algebra. In the chapter (of the book) headed "On symbolic algebra" he writes: "In abandoning the meaning of symbols, we also abandon those of the words which describe them. Thus addition is to be, for the present, a sound void of sense. It is a mode of combination represented by + ; when + receives its meaning, so also will the word addition. It is most important that the student should bear in mind that, with one exception, no word nor sign of arithmetic or algebra has one atom of meaning throughout this chapter, the object of which is symbols, and their laws of combination, giving a symbolic algebra which may hereafter become the grammar of a hundred distinct significant algebras. If any one were to assert that + and − might mean reward and punishment, and A, B, C, etc., might stand for virtues and vices, the reader might believe him, or contradict him, as he pleases, but not out of this chapter. The one exception above noted, which has some share of meaning, is the sign = placed between two symbols as in A = B. It indicates that the two symbols have the same resulting meaning, by whatever steps attained. That A and B, if quantities, are the same amount of quantity; that if operations, they are of the same effect, etc."
Here, it may be asked, why does the symbol = prove refractory to the symbolic theory? De Morgan admits that there is one exception; but an exception proves the rule, not in the usual but illogical sense of establishing it, but in the old and logical sense of testing its validity. If an exception can be established, the rule must fall, or at least must be modified. Here I am talking not of grammatical rules, but of the rules of science or nature.
De Morgan proceeds to give an inventory of the fundamental symbols of algebra, and also an inventory of the laws of algebra. The symbols are 0, 1, +, −, ×, ÷, ().
a−a=0, a÷a=1. Mathematical work
De Morgan discovered relation algebra in his (1966: 208-46), first published in 1860. This algebra was extended by Charles Peirce (who admired De Morgan and met him shortly before his death), and re-exposited and further extended in vol. 3 of Ernst Schröder's Vorlesungen über die Algebra der Logik. Relation algebra proved critical to the Principia Mathematica of Bertrand Russell and Alfred North Whitehead. In turn, this algebra became the subject of much further work, starting in 1940, by Alfred Tarski and his colleagues and students at the University of California.

Legacy