Hacker News
- Landmark computer science proof cascades through physics and math https://www.quantamagazine.org/landmark-computer-science-proof-cascades-through-physics-and-math-20200304/ 138 comments
Lobsters
- Landmark Computer Science Proof Cascades Through Physics and Math https://www.quantamagazine.org/landmark-computer-science-proof-cascades-through-physics-and-math-20200304/ 4 comments compsci , math , science
- Landmark Computer Science Proof Cascades Through Physics and Math https://www.quantamagazine.org/landmark-computer-science-proof-cascades-through-physics-and-math-20200304/ 5 comments compsci
- Landmark Computer Science Proof Cascades Through Physics and Math https://www.quantamagazine.org/landmark-computer-science-proof-cascades-through-physics-and-math-20200304/ 55 comments math
- The class of problems that can be verified through interactions with entangled quantum provers is exactly equal to the class of problems that are no harder than the halting problem; this also solves both Tsirelson’s problem (Physics) and the Connes embedding conjecture (Math) https://www.quantamagazine.org/landmark-computer-science-proof-cascades-through-physics-and-math-20200304/ 3 comments science
- Landmark Computer Science Proof Cascades Through Physics and Math https://www.quantamagazine.org/landmark-computer-science-proof-cascades-through-physics-and-math-20200304/ 24 comments compsci
Linking pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:quantamagazine.org
Search title: Quanta Magazine
See how to search.