Hacker News new | ask | show | jobs
Non-Deductive Methods in Mathematics (plato.stanford.edu)
1 points by infinity 3995 days ago