Hacker News new | ask | show | jobs
by OscarCunningham 3485 days ago
Perhaps it would be correct to say that we discover mathematical objects but invent theorems about them.