more on this theme     |     more from this text


Single Idea 6302

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism ]

Full Idea

An objection is that structuralism fails to explain why certain mathematical patterns are unified wholes while others are not; for instance, some think that an ontological account of mathematics must explain why a triangle is not a 'random' set of points.

Gist of Idea

Structuralism must explain why a triangle is a whole, and not a random set of points

Source

Michael D. Resnik (Maths as a Science of Patterns [1997], Three.10.4)

Book Ref

Resnik,Michael D.: 'Mathematics as a Science of Patterns' [OUP 1999], p.213


A Reaction

This is an indication that we are not just saying that we recognise patterns in nature, but that we also 'see' various underlying characteristics of the patterns. The obvious suggestion is that we see meta-patterns.


The 8 ideas from Michael D. Resnik

There are too many mathematical objects for them all to be mental or physical [Resnik]
Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik]
Axioms are often affirmed simply because they produce results which have been accepted [Resnik]
Mathematical constants and quantifiers only exist as locations within structures or patterns [Resnik]
Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik]
Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik]
Sets are positions in patterns [Resnik]
Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik]