The weird and wonderful world of constructive mathematics (2017) [pdf] (home.sandiego.edu)
recommended by 1 user | 2018 | 166 points by lainon | mathematics | original thread |
One user recommended this thread. What they said:
improv32 Jan 12, 2020 | on: Sometimes all functions are continuous (2006) | context

For a very nice into to constructive math, see this[0] link as well as some good HN discussion here[1].

[0]: https://home.sandiego.edu/~shulman/papers/rabbithole.pdf [1]: https://news.ycombinator.com/item?id=18411935