The weird and wonderful world of constructive mathematics (2017) [pdf]

Article URL: https://home.sandiego.edu/~shulman/papers/rabbithole.pdf

Comments URL: https://news.ycombinator.com/item?id=18411935

Points: 64

# Comments: 21

from Hacker News: Front Page https://ift.tt/2PglKds
via