# Augustus De Morgan

From Wikiquote

**Augustus De Morgan** (June 27 1806 – March 18 1871) was an Indian-born British mathematician and logician; he was the first professor of mathematics at University College London. 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.

## Contents

## Quotes[edit]

- All existing things upon this earth, which have knowledge of their own existence, possess, some in one degree and some in another, the power of thought, accompanied by perception, which is the awakening of thought by the effects of external objects upon the senses.
*Formal Logic*(1847)

- There never has been, and till we see it we never shall believe that there can be, a system of geometry worthy of the name, which has any material departures (we do not speak of
*corrections*or*extensions*or*developments*) from the plan laid down by Euclid.- "Short Supplementary Remarks on the First Six Books of Euclid's Elements" (Oct, 1848)
*Companion to the Almanac*for 1849 as quoted by Sir Thomas Little Heath,*The Thirteen Books of Euclid's Elements*Vol.1,*Introduction and Books I, II*. Preface, p. v.

- "Short Supplementary Remarks on the First Six Books of Euclid's Elements" (Oct, 1848)

- The moving power of mathematical invention is not reasoning, but imagination.
- Quoted in Robert Perceval Graves,
*The Life of Sir William Rowan Hamilton*, Vol. 3 (1889), p. 219.

- Quoted in Robert Perceval Graves,

- I did not hear what you said, but I absolutely disagree with you.
- Attributed to Augustus De Morgan in: August Stern (1994).
*The Quantum Brain: Theory and Implications. North-Holland/Elsevier*. p. 7

- Attributed to Augustus De Morgan in: August Stern (1994).

*The Differential and Integral Calculus* (1836)[edit]

- The work now before the reader is the most extensive which our language contains on the subject.

- My specific... object has been to contain, within the prescribed limits, the whole of the student's course, from the confines of elementary algebra and trigonometry, to the entrance of the highest works on mathematical physics. A learner who has a good knowledge of the subjects just named, and who can master the present treatise, taking up elementary works on conic sections, application of algebra to geometry, and the theory of equations, as he wants them, will, I am perfectly sure, find himself able to conquer the difficulties of anything he may meet with; and need not close any book of Laplace, Lagrange, Legendre, Poisson, Fourier, Cauchy, Gauss, Abel, Hindenburgh and his followers. or of any one of our English mathematicians, under the idea that it is too hard for him.

- If much difficulty should be experienced in the elementary chapters, I know of no work which I can so confidently recommend to be used with the present one, as that of M. Duhamel.
- Note: Duhamel,
*Cours d'Analyse de l'Ecole Polytechnique*. Paris, Bachelier. vol i 1841 vol. ii. 1840.

- Note: Duhamel,

- ...nor have I found occasion to depart from the plan... the rejection of the whole doctrine of series in the establishment of the fundamental parts both of the Differential and Integral Calculus. The method of Lagrange... had taken deep root in elementary works; it was the sacrifice of the clear and indubitable principle of limits to a phantom, the idea that an algebra without limits was purer than one in which that notion was introduced. But, independently of the idea of limits being absolutely necessary even to the proper conception of a convergent series, it must have been obvious enough to Lagrange himself, that all application of the science to concrete magnitude, even in his own system, required the theory of limits.

- I... subjoin references to those parts of the work for which I have not been indebted to my knowledge of what has been written before me: much of what is cited is probably not new, indeed it is dangerous for any one at the present day to claim anything as belonging to himself; several things which I once thought to have entered in this list have been since found (either by myself, or by a friend to whom I referred it) in preceding writers.

- It is not true, out of geometry, that the mathematical sciences are, in
*all their parts*those models of finished accuracy which many suppose. The extreme boundaries of analysis have always been as imperfectly understood as the tract beyond the boundaries was absolutely unknown. But the way to enlarge the settled country has not been by keeping within it, but by making voyages of discovery, and I am perfectly convinced that the*student*should be exercised in this manner; that is, that he should be taught how to examine the boundary, as well as how to cultivate the interior. ...allowing all students whose capacity will let them read on the higher branches of applied mathematics, to have each his chance of being led to the cultivation of those parts of analysis on which rather depends its future progress than its present use in the sciences of matter.

- A large quantity of examples is indispensable.

- The following Treatise... has been endeavoured to make the theory of
*limits*, or*ultimate ratios*... the sole foundation of the science, without any aid whatsoever from the theory of series, or algebraical expansions. I am not aware that any work exists in which this has been avowedly attempted, and I have been the more encouraged to make the trial from observing that the objections to the theory of limits have usually been founded either upon the difficulty of the notion itself, or its*unalgebraical*character, and seldom or never upon anything not to be defined or not to be received in the conception of a limit...

- I cannot see why it is necessary that every deduction from algebra should be bound to certain conventions incident to an earlier stage of mathematical learning, even supposing them to have been consistently used up to the point in question. I should not care if any one thought this treatise
*unalgebraical*, but should only ask whether the premises were admissible and the conclusions logical.

- I have throughout introduced the Integral Calculus in connexion with the Differential Calculus. ...Is it always proper to learn every branch of a direct subject before anything connected with the inverse relation is considered? If so why are not
*multiplication*and*involution*in arithmetic made to follow*addition*and precede*subtraction*? The portion of the Integral Calculus, which properly belongs to any given portion of the Differential Calculus increases its power a hundred-fold...

- Experience has convinced me that the proper way of teaching is to bring together that which is simple from all quarters, and, if I may use such a phrase, to draw upon the surface of the subject a proper mean between the
*line of closest connerion*and the*line of easiest deduction*. This was the method followed by Euclid, who, fortunately for us, never dreamed of a geometry of triangles, as distinguished from a geometry of circles, or a separate application of the arithmetics of addition and subtraction; but made one help out the other as he best could.

- I am far from saying that this Treatise will be easy; the subject is a difficult one, as all know who have tried it.

- The absolute requisites for the study of this work... are a knowledge of algebra to the binomial at least, plane and solid geometry, plane trigonometry, and the most simple part of the usual applications of algebra to geometry.

...A. De Morgan.*London*July 1, 1836

- The student of the Differential Calculus may... be brought to think it possible that the terms and ideas which that science requires may exist in his own mind in the same rude form as that of a straight line in the conceptions of a beginner in geometry. ...he must be prepared to stop his course until he can form exact notions, acquire precise ideas, both of resemblance between those things which have appeared most distinct, and of distinction between those which have appeared most alike. To do this... formal definitions would be useless; for he cannot be supposed to have one single notion in that precise form which would make it worth while to attach it to a word. One reason of the great difficulty which is found in treatises on this subject... the tacit assumption that nothing is necessary previously to actually embodying the terms and rules of the science, as if mere statement of definitions could give instantaneous power of using terms rightly. We shall here attempt... a wider degree of verbal explanation than is usual with the view of enabling the student to come to the definitions in some state of previous preparation.

- Find a fraction which, multiplied by itself, shall give 6, or... find the square root of 6. This can be shown to be an impossible problem; for it can be shown that no fraction whatsoever multiplied by itself, can give a whole number, unless it be itself a whole number disguised in a fractional form, such as 4⁄2 or 21⁄3. To this problem, then, there is but one answer, that it is self-contradictory. But if we propose the following problem,—to find a fraction which, multiplied by itself, shall give a product lying between 6 and 6 +
*a*; we find that this problem admits of solution in every case. It therefore admits of solution*however small**a*may be...*as small as you please*. ...there is such a thing as the square root of 6, and it is denoted by √6. But we do not say we actually find this, but that we*approximate*to it.

- Take a unit, halve it, halve the result, and so on continually. This gives—
1 1⁄2 1⁄4 1⁄8 1⁄16 1⁄32 1⁄64 1⁄128 &c. Add these together, beginning from the first, namely, add the first two, the first three, the first four, &c... We see then a continual approach to 2, which is not reached, nor ever will be, for the*deficit*from 2 is always equal to the last term added.

...We say that—1, 1 + 1⁄2, 1 + 1⁄2 + 1⁄4, 1 + 1⁄2 + 1⁄4 + 1⁄8, &c. &c. is a series of quantities which continually approximate to the limit 2. Now the truth is, these several quantities are fixed, and do not approximate to 2. ...it is*we ourselves*who approximate to 2, by passing from one to another. Similarly when we say, "let*x*be a quantity which continually approximates to the limit 2," we mean, let us assign different values to*x*, each nearer to 2 than the preceding, and following such a law that we shall, by continuing our steps sufficiently far, actually find a value for*x*which shall be as near to 2 as we please.

- The following is exactly what we mean by a LIMIT. ...let the several values of
*x*... be then if by passing from*a*_{1}*a*_{2}*a*_{3}*a*_{4}. . . . &c.*a*_{1}to*a*_{2}, from*a*_{2}to*a*_{3}, &c., we continually approach to a certain quantity*l*[lower case L, for "limit"], so that each of the set differs from*l*by less than its predecessors; and if, in addition to this, the approach to*l*is of such a kind, that name any quantity we may, however small, namely*z*, we shall at last come to a series beginning, say with*a*_{n}, and continuing*ad infinitum*, all the terms of which severally differ from*a*_{n}*a*_{n+1}*a*_{n+2}. . . . &c.*l*by less than*z*: then*l*is called the*limit of x with respect to the supposition in question*.

- When... we have a series of values of a quantity which continually diminish, and in such a way, that name any quantity we may, however small, all the values, after a certain value, are severally less than that quantity, then the symbol by which the values are denoted is said to
*diminish without limit*. And if the series of values increase in succession, so that name any quantity we may, however great, all after a certain point will be greater, then the series is said to*increase without limit*. It is also frequently said, when a quantity diminishes without limit, that it has nothing, zero or 0, for its limit: and that when it increases without limit it has*infinity*or ∞ or 1⁄0 for its limit.

*A Budget of Paradoxes* (1872)[edit]

- In every age of the world there has been an established system, which has been opposed from time to time by isolated and dissentient reformers. The established system has sometimes fallen, slowly and gradually: it has either been upset by the rising influence of some one man, or it has been sapped by gradual change of opinion in the many.

- During the last two centuries and a half, physical knowledge has been gradually made to rest upon a basis which it had not before. It has become
*mathematical*.

- A great many individuals ever since the rise of the mathematical method, have, each for himself, attacked its direct and indirect consequences. ...I shall call each of these persons a
*paradoxer*, and his system a*paradox*. I use the word in the old sense: ...something which is apart from general opinion, either in subject-matter, method, or conclusion. ...Thus in the sixteenth century many spoke of the earth's motion as the*paradox of Copernicus*, who held the ingenuity of that theory in very high esteem, and some, I think, who even inclined towards it. In the seventeenth century, the depravation of meaning took place... Phillips says*paradox*is "a thing which seemeth strange"—here is the old meaning...—"and absurd, and is contrary to common opinion," which is an addition due to his own time.

- Spinoza's
*Philosophia Scripturæ Interpres, Exercitatio Paradoxa*, printed anonymously ...is properly paradox, though also heterodox. It supposes, contrary to all opinion, orthodox and heterodox, that philosophy can... explain the Athanasian doctrine so as to be at least compatible with orthodoxy. The author would stand almost alone, if not quite; and this is what he meant.

- The manner in which a paradoxer will show himself, as to sense or nonsense, will not depend upon what he maintains, but upon whether he has or has not made a sufficient knowledge of what has been done by others,
*especially as to the mode of doing it*, a preliminary to inventing knowledge for himself.

- Aspiring to lead
*others*, they have never given themselves the fair chance of being first led by*other*others into something better than they can start for themselves; and that they should first do this is what both those classes of others have a fair right to expect. New knowledge... must come by contemplation of old knowledge... mechanical contrivance sometimes, not very often, escapes this rule.

- All the men who are now called discoverers, in every matter ruled by thought, have been men versed in the minds of their predecessors, and learned in what had been before them. There is not one exception. I do not say that every man has made direct acquantance with the whole of his mental ancestry... But... it is remarkable how many of the greatest names in all departments of knowledge have been real antiquaries in their several subjects.

I may cite among those... in science, Aristotle, Plato, Ptolemy, Euclid, Archimedes, Roger Bacon, Copernicus, Francis Bacon, Ramus, Tycho Brahe, Galileo, Napier, Descartes, Leibnitz, Newton, Locke.

- I will not, from henceforward, talk to any squarer of the circle, trisector of the angle, duplicator of the cube, constructor of perpetual motion, subverter of gravitation, stagnator of the earth, builder of the universe, etc.

## Quotes about De Morgan[edit]

- A very interesting detailed account of the peculiarities of the circle squarer, and of the futility of the attempts on the part of the Mathematicians to convince him of his errors, will be found in Augustus De Morgan's
*Budget of Paradoxes*.- E. W. Hobson,
*Squaring the Circle*(1913)

- E. W. Hobson,

- The fact is known that having very thoroughly worked at the generalisations of Mathematics in theory and practice, Mr. De Morgan was enabled to establish with perfect precision the most highly generalised conception of Logic, perhaps, which it is possible to entertain. It is no new doctrine that Logic deals with the necessary
*laws of action*of thought, and that Mathematics apply these laws to necessary*matter*of thought; but by showing that these laws can and must be applied with equal precision and equal necessity to all kinds of relations, and not only to those which the Aristotelian theory takes account of, he so enlarged the scope and intensified the power of Logic as an instrument, that we may hope for coming generations, as he must have hoped... another instalment of the kind... Mathematics are, meanwhile, and perhaps will always remain, the completest and most accurate example of the generalised Logic. At any rate, in the mind of the author, Logic and Mathematics as 'the two great branches of exact science, the study of the necessary laws of thought, the study of the necessary*matter*of thought, were always viewed in connection and antithesis.- Cecil J. Monro, as quoted in Sophia Elizabeth De Morgan,
*Memoir of Augustus De Morgan*(1882) Section VIII. From 1846-1855.

- Cecil J. Monro, as quoted in Sophia Elizabeth De Morgan,

- Dr. George Boole, author of
*The Laws of Thought*had introduced himself in the year 1842 to Mr. De Morgan by a letter on the*Differential and Integral Calculus*then recently published. His character and pursuits were in many points like those of the author who found great pleasure in his correspondence and friendship. ...In 1847, his attention having been drawn to the subject by the publication of Mr. De Morgan's*Formal Logic*, he published the*Mathematical Analysis of Logic*and in the following year communicated... a paper on the*Calculus of Logic*. His great work,*An Investigation into the Laws of Thought...*was a development of the principle laid down in the*Calculus*...- Sophia Elizabeth De Morgan,
*Memoir of Augustus De Morgan*(1882) Section VII. From 1846-1855

- Sophia Elizabeth De Morgan,

## External links[edit]

Archive.org:

*An Explanation of the Gnomonic Projection of the Sphere*(1836)*Elements of Trigonometry, and Trigonometrical Analysis*(1837)*The Elements of Algebra*(1837)*An Essay on Probabilities*(1838)*The Elements of Arithmetic*(1840)*First Notions of Logic, Preparatory to the Study of Geometry.*(1840)*The Differential and Integral Calculus*(1842)*The Globes, Celestial and Terrestrial*(1845)*Formal Logic or The Calculus of Inference*(1847)*Trigonometry and Double Algebra*(1849)*Syllabus of a Proposed System of Logic*(1860)

GoogleBooks (public domain):

*The Differential and Integral Calculus*(1836)*Memoir of Augustus De Morgan*(1882) ed. Sophia Elizabeth De Morgan