Hacker News new | ask | show | jobs
by gladiatr72 1232 days ago
So, informal mathematics? Intuitive mathematics? What's the goal?