20 ideas
6299 | Axioms are often affirmed simply because they produce results which have been accepted [Resnik] |
6304 | Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik] |
17453 | The meaning of a number isn't just the numerals leading up to it [Heck] |
17457 | A basic grasp of cardinal numbers needs an understanding of equinumerosity [Heck] |
17448 | In counting, numerals are used, not mentioned (as objects that have to correlated) [Heck] |
17455 | Is counting basically mindless, and independent of the cardinality involved? [Heck] |
17456 | Counting is the assignment of successively larger cardinal numbers to collections [Heck] |
17450 | Understanding 'just as many' needn't involve grasping one-one correspondence [Heck] |
17451 | We can know 'just as many' without the concepts of equinumerosity or numbers [Heck] |
17459 | Frege's Theorem explains why the numbers satisfy the Peano axioms [Heck] |
6300 | Mathematical constants and quantifiers only exist as locations within structures or patterns [Resnik] |
6303 | Sets are positions in patterns [Resnik] |
6302 | Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik] |
6295 | There are too many mathematical objects for them all to be mental or physical [Resnik] |
6296 | Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik] |
6301 | Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik] |
17454 | Children can use numbers, without a concept of them as countable objects [Heck] |
17458 | Equinumerosity is not the same concept as one-one correspondence [Heck] |
17449 | We can understand cardinality without the idea of one-one correspondence [Heck] |
7810 | The 'Eumenides' of Aeschylus shows blood feuds replaced by law [Aeschylus, by Grayling] |