Who Can Understand the Proof? A Window on Formalized Mathematics

Stephen Wolfram Writings
09/01/2025

Listen "Who Can Understand the Proof? A Window on Formalized Mathematics"

Descargar episodio Ver en sitio original

Episode Synopsis

Related writings: “Logic, Explainability and the Future of Understanding” (2018) » “The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics” (2022) » “Computational Knowledge and the Future of Pure Mathematics” (2014) » The Simplest Axiom for Logic Theorem (Wolfram with Mathematica, 2000): The single axiom ((a•b)•c)•(a•((a•c)•a))c is a complete axiom system for Boolean algebra (and […]

More episodes of the podcast Stephen Wolfram Writings

Instant Supercompute: Launching Wolfram Compute Services 02/12/2025
What’s Special about Life? Bulk Orchestration and the Rulial Ensemble in Biology and Beyond 11/11/2025
The Ruliology of Lambdas 15/09/2025
“I Have a Theory Too”: The Challenge and Opportunity of Avocational Science 14/08/2025
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica 05/08/2025
What If We Had Bigger Brains? Imagining Minds beyond Ours 21/05/2025
What Can We Learn about Engineering and Innovation from Half a Century of the Game of Life Cellular Automaton? 18/03/2025
Towards a Computational Formalization for Foundations of Medicine 03/02/2025
Launching Version 14.2 of Wolfram Language & Mathematica: Big Data Meets Computation & AI 23/01/2025
Useful to the Point of Being Revolutionary: Introducing Wolfram Notebook Assistant 09/12/2024
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA