Maths discovered or invented? | Hacker News Reader