a thoughtful web.
Share good ideas and conversation.   Login or Take a Tour!
comment by bfv
bfv  ·  1844 days ago  ·  link  ·    ·  parent  ·  post: Are mathematics created or discovered?

Both. Defining a mathematical object is creating it, but all of its properties are implicit in the definition, and so have to be discovered. That is, groups were created but the Sylow theorems were discovered.





rob05c  ·  1844 days ago  ·  link  ·    ·  

Agreed. Axioms are created, everything else is a property of those axioms and 'discovered.'

Those basic axioms tend to be the most useful in our universe, but they were still 'created.' We often define or create other axioms, for example, taxicab geometries are imminently useful for modelling paths in cities. We created the rules for the taxicab geometry, as with Euclidian geometry, but we didn't create the properties that emerge from those rules.

I think maybe the confusion comes from a misunderstood analogy: people think 'if you build a castle of LEGOs, you created that castle; aren't maths likewise created?' The misunderstanding is that mathematical theorems and properties aren't like the castle, they're like the potential to build a castle from those given LEGOs. The child created the castle, but she only discovered the possibility of building a castle, which always existed as a property of those LEGOs.

b_b  ·  1844 days ago  ·  link  ·  

I would argue that axioms and operators are created, which is a non-trivial distinction.

rob05c  ·  1844 days ago  ·  link  ·  

Sure. I was considering operators to be axioms, e.g. 'union is the set of all distinct elements' is certainly a definition/axiom we created. It's been a while since I had Discrete, I'm not sure what the exact definition of 'axiom' is.

b_b  ·  1844 days ago  ·  link  ·  

I think mathematics in terms of physics, because that's where I did my heavy learning. So when I think 'operator' I think in terms of QM operators, which are defined actions, instead of assumed properties. I see the two as separate, although I suppose they probably seem less so when viewed through a purely mathematical lens.

randomuser  ·  1843 days ago  ·  link  ·  

I don't know that I totally agree. Defining something is not really creating it as whatever it is already exists.

I do somewhat agree in the sense that people create equations to explain things that happen in the real world. Nature doesn't give a fuck about equations. Also things like prediction of future problems and answers with equations people make with stats from present and past I feel has an aspect of creation.