Hacker News
- Voevodsky’s Mathematical Revolution http://blogs.scientificamerican.com/guest-blog/2013/10/01/voevodskys-mathematical-revolution/ 76 comments
- Voevodsky’s Mathematical Revolution | Using Computers to Prove Theorems http://blogs.scientificamerican.com/guest-blog/2013/10/01/voevodskys-mathematical-revolution/ 68 comments math
Linked pages
- Laureates of mathematics and computer science meet the next generation - Heidelberg Laureate Forum http://www.heidelberg-laureate-forum.org 53 comments
- Mystery of Ancient Space Superstorms Deepens - Scientific American https://www.scientificamerican.com/article/mystery-of-ancient-space-superstorms-deepens/ 0 comments
- These Researchers Used A.I. to Design a Completely New 'Animal Robot' - Scientific American https://www.scientificamerican.com/video/these-researchers-used-a-i-to-design-a-completely-new-animal-robot/ 0 comments
- We Must Stop Treating Grasslands as Wastelands - Scientific American https://www.scientificamerican.com/article/we-must-stop-treating-grasslands-as-wastelands/ 0 comments
Related searches:
Search whole site: site:blogs.scientificamerican.com
Search title: Voevodsky’s Mathematical Revolution - Scientific American Blog Network
See how to search.