Hacker News Reader

> Four thousand years ago, the Babylonians invented multiplication

Invented… or discovered?

Think of algorithmic theorem provers. They search the space of possible logical conclusions and in that manner find proofs. Thus they discover proofs, they discover mathematics.

But really I don't know what the difference between discovering and inventing is? You discover that something works, call it an invention. What else is invention than discovery?

Well, mathematics wasn't discovered, so regardless of what the right word is, it isn't "discovered".

That is really a philosophical question.

This is the kind of thing that you can really overthink. I would just say it is whatever people call it.

Most people would intuitively say "invent" rather than "discover" so that's what it is. Words are defined by their usage. If that results in a strange and unsatisfying definition then so be it.

I disagree, mathematics is 100% discovered. It's not like we humans are inventing it ourselves.

Wolfram seems (to me) to say that he can show that math is some strange combination of invented (or rather, sensed) and discovered.

https://writings.stephenwolfram.com/2022/03/the-physicalizat...

Reply on news.ycombinator.com