Hacker Newsnew | comments | show | ask | jobs | submitlogin

Mathematics and proofs are a social process. Take a look at the classic paper by DeMillo, Lipton, and Perlis, Social Processes and Proofs of Programs and Theorems, available from several sources on the web.



Applications are open for YC Summer 2015

Guidelines | FAQ | Support | Lists | Bookmarklet | DMCA | Y Combinator | Apply | Contact

Search: