Hacker News new | ask | show | jobs
by Schiphol 1068 days ago
Intuitionism is not at all chaotic, though. It's a fully cogent way of doing math, it's just not a perfect overlap with traditional mathematics: some things you can prove intuitionistically that you cannot prove otherwise, and vice versa.