Hacker News new | ask | show | jobs
by utanapishtim 3306 days ago
Let's not forget constructivism. https://plato.stanford.edu/entries/mathematics-constructive/