Hacker News
- Can Computers Prove Theorems? http://chalkdustmagazine.com/features/can-computers-prove-theorems/ 58 comments
- Can computers prove theorems?: "And will we soon all be out of a job? Kevin Buzzard worries us all." http://chalkdustmagazine.com/features/can-computers-prove-theorems/ 9 comments opensource
- Can computers prove theorems?: "And will we soon all be out of a job? Kevin Buzzard worries us all." http://chalkdustmagazine.com/features/can-computers-prove-theorems/ 67 comments math
Linking pages
- The mathematical con artist - Chalkdust http://chalkdustmagazine.com/blog/mathematical-con-artist/ 7 comments
- Issue 10 - Chalkdust http://chalkdustmagazine.com/read/issue-10 6 comments
- Secrets, surveys and statistics - Chalkdust http://chalkdustmagazine.com/features/secrets-surveys-and-statistics/ 0 comments
Related searches:
Search whole site: site:chalkdustmagazine.com
Search title: Can computers prove theorems? - Chalkdust
See how to search.