3 ms·
Almost no schools, even great ones, teach informal (professional) proofs, even in CS and pure math. They expect you to learn by osmosis.
by lonelappde 7y ago
Almost no schools, even great ones, teach informal (professional) proofs, even in CS and pure math. They expect you to learn by osmosis.
- drallison 7y agoInterested in proofs and proving? Read Social Processes and Proofs of Theorems and Programs by Richard A. De Millo (Georgia Institute of Technology) and Richard J. Lipton and Alan J. Perlis (Yale University) given at POPL3. https://ucsd-pl.github.io/cse-130-230/fa18/papers/demillo-social-processes.ipdf https://ucsd-pl.github.io/cse-130-230/fa18/papers/demillo-so... The peer review process often seems to fail when proofs are involved--reviewers often skip over the proofs because reading and checking is hard work.
- mindcrime 7y agoFYI, that link gave me a 404. I found what appears to be the same paper here: https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf