Hacker News
- Will Computers Redefine the Roots of Math? https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/ 50 comments
- Should mathematics be based on Georg Cantor's set theory or Bertrand Russell's type theory? https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/ 256 comments philosophy
- ELI5: Univalent Foundations, Homotopy Types, and Formal Proof Checking https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/ 34 comments math
- Will Computers Redefine the Roots of Math? https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/ 3 comments science
- Will Computers Redefine the Roots of Math? https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/ 7 comments compsci
- Will Computers Redefine the Roots of Math? https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/ 60 comments programming
- Will Computers Redefine the Roots of Math? https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/ 37 comments math
Linking pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.quantamagazine.org
Search title: Quanta Magazine
See how to search.