Hacker News new | ask | show | jobs
by yboris 811 days ago
I find that philosophically, "all math is discovered" is a better way to think of mathematics.

E.g - it's always been true, that given a set of axioms A, B, and C, the claim X is true. Humans discover these conclusions when they explore implications of taking different assumptions to be true.