logoalt Hacker News

throw-the-towelyesterday at 7:51 PM6 repliesview on HN

See the longstanding debate on whether new math is "invented" or "discovered". Most mathematicians I knew thought it's discovered.


Replies

ameliusyesterday at 8:54 PM

This is like saying a sculpture always existed, the sculptor just had to remove the superfluous material.

Or like a musical octave has only 12 semitones, so all music is just a selection from a finite set that already existed.

Sure the insane computation we're throwing at this changes our perspective, but still there is an important distinction.

show 3 replies
skybrianyesterday at 8:03 PM

Any design already exists as a possibility, so it could be said to be both invented and discovered, depending on how you look at it.

show 3 replies
protoplanctonyesterday at 8:25 PM

One can argue that mathematical facts are discovered, but the tools that allow us to find, express them and prove them, are mostly invented. This goes up to the axioms, that we can deliberately choose and craft.

ASalazarMXyesterday at 8:38 PM

Math is an abstraction of reality, it had to be invented, so more inventions or discoveries could be made within it.

show 2 replies
atmosxyesterday at 8:00 PM

...long standing indeed. It can be traced back to Plato's works.

show 1 reply
soupspacesyesterday at 8:06 PM

Regardless of which, both Newton and Leibniz imprint in their findings a 'voice' and understanding different from each other and that of an LLM (for now?)