3 ms·
There is no ‘royal road’ to geometry (1982)
- kragen 4y agoFor those who prefer the original format: https://www.cs.utexas.edu/users/EWD/ewd08xx/EWD841.PDF https://www.cs.utexas.edu/users/EWD/ewd08xx/EWD841.PDF Interesting surprise encountering Margaret Hamilton's name in there. My comment on pg's Succinctness is Power echoes some of the things Dijkstra says in here, though I wasn't talking about proof assistants, just a more informal notion of errors and problems: http://www.paulgraham.com/redund.html http://www.paulgraham.com/redund.html
- yewenjie 4y agoI first came across this quote funnily by a book that is called The Royal Road to Algebraic Geometry. https://link.springer.com/book/10.1007/978-3-642-19225-8 https://link.springer.com/book/10.1007/978-3-642-19225-8