Hacker News
- Okay, Maybe Proofs Aren't Dying After All https://blogs.scientificamerican.com/cross-check/okay-maybe-proofs-arent-dying-after-all/ 12 comments
- Okay, Maybe Proofs Aren't Dying After All - Scientific American https://blogs.scientificamerican.com/cross-check/okay-maybe-proofs-arent-dying-after-all/ 22 comments math
Linking pages
- The Horgan Surface and the Death of Proof - Scientific American Blog Network https://blogs.scientificamerican.com/cross-check/the-horgan-surface-and-the-death-of-proof/ 42 comments
- Should Machines Replace Mathematicians? - Scientific American https://www.scientificamerican.com/article/should-machines-replace-mathematicians/ 3 comments
- Quantum Computing for English Majors - Scientific American Blog Network https://blogs.scientificamerican.com/cross-check/quantum-computing-for-english-majors/ 0 comments
- Is Mathematics, like Science, Pluralistic? - Scientific American Blog Network https://blogs.scientificamerican.com/cross-check/is-mathematics-like-science-pluralistic/ 0 comments
- Quantum Mechanics, Free Will and the Game of Life - Scientific American https://www.scientificamerican.com/article/quantum-mechanics-free-will-and-the-game-of-life/ 0 comments
Linked pages
- Bayes's Theorem: What's the Big Deal? - Scientific American Blog Network http://blogs.scientificamerican.com/cross-check/bayes-s-theorem-what-s-the-big-deal/ 291 comments
- MathOverflow http://mathoverflow.net/ 99 comments
- Scott Aaronson Answers Every Ridiculously Big Question I Throw at Him - Scientific American Blog Network https://blogs.scientificamerican.com/cross-check/scott-aaronson-answers-every-ridiculously-big-question-i-throw-at-him/ 98 comments
- [1509.05363] The Erdos discrepancy problem http://arxiv.org/abs/1509.05363 44 comments
- How Should We Talk to AIs?—Stephen Wolfram Writings http://blog.stephenwolfram.com/2015/11/how-should-we-talk-to-ais/ 44 comments
- The Horgan Surface and the Death of Proof - Scientific American Blog Network https://blogs.scientificamerican.com/cross-check/the-horgan-surface-and-the-death-of-proof/ 42 comments
- AKS primality test - Wikipedia https://en.wikipedia.org/wiki/AKS_primality_test 32 comments
- Logic, Explainability and the Future of Understanding—Stephen Wolfram Writings https://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/ 19 comments
- Snakes Can Hear You Scream, New Research Reveals - Scientific American https://www.scientificamerican.com/article/snakes-can-hear-you-scream-new-research-reveals/ 17 comments
- Kepler conjecture - Wikipedia http://en.wikipedia.org/wiki/Kepler_conjecture 12 comments
- Mind-Body Problems https://mindbodyproblems.com/ 7 comments
- Shtetl-Optimized » Blog Archive » Death of proof greatly exaggerated https://www.scottaaronson.com/blog/?p=4133 6 comments
- NOVA Online | The Proof | Solving Fermat: Andrew Wiles http://www.pbs.org/wgbh/nova/proof/wiles.html 6 comments
- Wolfram Language: Programming Language + Built-In Knowledge http://wolfram.com/language 4 comments
- Is Science Hitting a Wall?, Part 1 - Scientific American Blog Network https://blogs.scientificamerican.com/cross-check/is-science-hitting-a-wall-part-1/ 1 comment
- Why String Theory Is Still Not Even Wrong - Scientific American Blog Network https://blogs.scientificamerican.com/cross-check/why-string-theory-is-still-not-even-wrong/ 0 comments
- Poincaré conjecture - Wikipedia https://en.wikipedia.org/wiki/Poincar%C3%A9_conjecture 0 comments
- Catalan's conjecture - Wikipedia https://en.wikipedia.org/wiki/Catalan%27s_conjecture 0 comments
- [1610.01664] Quantum Proofs https://arxiv.org/abs/1610.01664 0 comments
- Physics Titan Still Thinks String Theory Is "On the Right Track" - Scientific American Blog Network http://blogs.scientificamerican.com/cross-check/2014/09/22/physics-titan-edward-witten-still-thinks-string-theory-on-the-right-track/ 0 comments
Related searches:
Search whole site: site:blogs.scientificamerican.com
Search title: Okay, Maybe Proofs Aren't Dying After All - Scientific American Blog Network
See how to search.