Works in ChatGPT, Claude, or Any AI
Add semantic quote search to your AI assistant via MCP. One command setup.
" "In order to see the difference which exists between... studies,—for instance, history and geometry, it will be useful to ask how we come by knowledge in each. Suppose, for example, we feel certain of a fact related in history... if we apply the notions of evidence which every-day experience justifies us in entertaining, we feel that the improbability of the contrary compels us to take refuge in the belief of the fact; and, if we allow that there is still a possibility of its falsehood, it is because this supposition does not involve absolute absurdity, but only extreme improbability.
In mathematics the case is wholly different... and the difference consists in this—that, instead of showing the contrary of the proposition asserted to be only improbable, it proves it at once to be absurd and impossible. This is done by showing that the contrary of the proposition which is asserted is in direct contradiction to some extremely evident fact, of the truth of which our eyes and hands convince us. In geometry, of the principles alluded to, those which are most commonly used are—
I. If a magnitude is divided into parts, the whole is greater than either of those parts.
II. Two straight lines cannot inclose a space.
III. Through one point only one straight line can be drawn, which never meets another straight line, or which is parallel to it.
It is on such principles as these that the whole of geometry is founded, and the demonstration of every proposition consists in proving the contrary of it to be inconsistent with one of these.
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.
Add semantic quote search to your AI assistant via MCP. One command setup.
Related quotes. More quotes will automatically load as you scroll down, or you can use the load more buttons.
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.
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.
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.