Hacker News
- Metamath - organized, documented, automated, and incredibly cool expansion of mathematics from basic axioms (A Modern Principia Mathematica) http://us.metamath.org/ 5 comments math
Linking pages
- How Inevitable Is the Concept of Numbers?—Stephen Wolfram Writings https://writings.stephenwolfram.com/2021/05/how-inevitable-is-the-concept-of-numbers/ 269 comments
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics—Stephen Wolfram Writings https://writings.stephenwolfram.com/2022/03/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics/ 98 comments
- DeepMind claims AI has aided new discoveries and insights in mathematics | VentureBeat https://venturebeat.com/2021/12/01/deepmind-claims-ai-has-aided-new-discoveries-and-insights-in-mathematics/ 24 comments
- Microsoft unveils 'LeMa': A revolutionary AI learning method mirroring human problem solving | VentureBeat https://venturebeat.com/ai/microsoft-unveils-lema-a-revolutionary-ai-learning-method-mirroring-human-problem-solving/ 2 comments
- The Empirical Metamathematics of Euclid and Beyond—Stephen Wolfram Writings https://writings.stephenwolfram.com/2020/09/the-empirical-metamathematics-of-euclid-and-beyond/ 1 comment
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- Math | Everything I know https://wiki.nikiv.dev/math/ 0 comments
Related searches:
Search whole site: site:us.metamath.org
Search title: Home Page - Metamath
See how to search.