 |
| The Future of Mathematics? [video] (youtube.com) | ||
| recommended by 1 user | 2019 | 271 points by dgellow | mathematics | original thread | | ||
| One user recommended this thread. What they said: |
| dang Dec 29, 2019 | on: Type systems and the future of programming languages | context |
| Also recommended by people who recommended this: | ||
| 1. | “Quality of HN Comments Over Time” (comment) | |
| recommended by 2 users | 2009 | edw519 on: Ask HN: Is it just me, or are HN comments becoming more and… | original thread | | ||
| 2. | Quine Relay (github.com) | |
| recommended by 1 user | 2013 | 983 points by codeulike | original thread | | ||
| 3. | Radiation-hardened quine (github.com) | |
| recommended by 2 users | 2014 | 231 points by epsylon | original thread | | ||
| 4. | Naur’s “Programming as Theory Building” (2011) (catenary.wordpress.com) | |
| recommended by 2 users | 2014 | 52 points by DanielRibeiro | original thread | | ||
| 5. | “I agree with what people have already said, but I think there's one more point to add:” (comment) | |
| recommended by 4 users | 2014 | scott_s on: An Update on HN Comments | original thread | | ||
| 6. | Peter Naur – Programming as Theory Building (1985) [pdf] (pages.cs.wisc.edu) | |
| recommended by 5 users | 2016 | 225 points by vog | original thread | | ||
> Why is it that a minority of math is done with proof systems
If you have that question you owe it to yourself to watch Kevin Buzzard's talk on the topic:
https://news.ycombinator.com/item?id=21200721