display all the ideas for this combination of philosophers
5 ideas
4240 | It might be argued that mathematics does not, or should not, aim at truth [Lowe] |
Full Idea: It might be argued that mathematics does not, or should not, aim at truth. | |
From: E.J. Lowe (A Survey of Metaphysics [2002], p.375) | |
A reaction: Intriguing. Sounds wrong to me. At least maths seems to need the idea of the 'correct' answer. If, however, maths is a huge pattern, there is no correctness, just the pattern. We can be wrong, but maths can't be wrong. Ah, I see…! |
6297 | Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik] |
Full Idea: Euclid's geometry is a synthetic geometry; Descartes supplied an analytic version of Euclid's geometry, and we now have analytic versions of the early non-Euclidean geometries. | |
From: report of Euclid (Elements of Geometry [c.290 BCE]) by Michael D. Resnik - Maths as a Science of Patterns One.4 | |
A reaction: I take it that the original Euclidean axioms were observations about the nature of space, but Descartes turned them into a set of pure interlocking definitions which could still function if space ceased to exist. |
9603 | An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR] |
Full Idea: Assume a largest prime, then multiply the primes together and add one. The new number isn't prime, because we assumed a largest prime; but it can't be divided by a prime, because the remainder is one. So only a larger prime could divide it. Contradiction. | |
From: report of Euclid (Elements of Geometry [c.290 BCE]) by James Robert Brown - Philosophy of Mathematics Ch.1 | |
A reaction: Not only a very elegant mathematical argument, but a model for how much modern logic proceeds, by assuming that the proposition is false, and then deducing a contradiction from it. |
9894 | A unit is that according to which each existing thing is said to be one [Euclid] |
Full Idea: A unit is that according to which each existing thing is said to be one. | |
From: Euclid (Elements of Geometry [c.290 BCE], 7 Def 1) | |
A reaction: See Frege's 'Grundlagen' §29-44 for a sustained critique of this. Frege is good, but there must be something right about the Euclid idea. If I count stone, paper and scissors as three, each must first qualify to be counted as one. Psychology creeps in. |
8738 | Postulate 2 says a line can be extended continuously [Euclid, by Shapiro] |
Full Idea: Euclid's Postulate 2 says the geometer can 'produce a finite straight line continuously in a straight line'. | |
From: report of Euclid (Elements of Geometry [c.290 BCE]) by Stewart Shapiro - Thinking About Mathematics 4.2 | |
A reaction: The point being that this takes infinity for granted, especially if you start counting how many points there are on the line. The Einstein idea that it might eventually come round and hit you on the back of the head would have charmed Euclid. |