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/rabbitho

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 https://home.sandiego.edu/~shulman/papers/rabbithole.pdf [1]: https://news.ycombinator.com/item?id=18411935 https://news.ycombinator.com/item?id=18411935