Hacker News new | ask | show | jobs
by UncleMeat 1677 days ago
But we still chose the labels. We chose what the elevate to the level of a mathematical object. Heck, even the idea of "what is true" is not universal in mathematics. Intuitionist and classical logic have different ideas of what. it means.