Hacker News
- The remarkable genius of Kurt Godel: in a lost 1956 letter to John von Neumann, he anticipated the P=NP question some 15 years before its formulation. http://rjlipton.wordpress.com/the-gdel-letter/ 112 comments programming
Linking pages
- Why Writing Correct Software Is Hard https://pron.github.io/posts/correctness-and-complexity 3 comments
- microsoft silicon valley TCS research lab shuts down— easy come, easy go | Turing Machine http://vzn1.wordpress.com/2014/09/26/microsoft-silicon-valley-tcs-research-lab-shuts-down-easy-come-easy-go/ 0 comments
Related searches:
Search whole site: site:rjlipton.wordpress.com
Search title: The Gödel Letter | Gödel's Lost Letter and P=NP
See how to search.