25th Anniversary of the Wolfram Axiom: Can We Understand the Proof?

Stephen reads a recent blog from https://writings.stephenwolfram.com in celebration of the 25th anniversary of the Wolfram axiom

Stephen's related blogs:
https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/

https://writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/

Originally livestreamed at: https://twitch.tv/stephen_wolfram

00:00 Start stream
2:56 Stephen starts talking
5:41 Logic, Explainability and the Future of Understanding
23:39 Who Can Understand the Proof? A Window on Formalized Mathematics
1:57:28 Q&A
2:17:54 End Stream
Follow us on our official social media channels.

X: https://twitter.com/WolframResearch/
Facebook: https://www.facebook.com/wolframresearch/
Instagram: https://www.instagram.com/wolframresearch/
LinkedIn: https://www.linkedin.com/company/wolfram-research/
Stephen Wolfram's Twitter: https://twitter.com/stephen_wolfram/

Contribute to the official Wolfram Community: https://community.wolfram.com/
Stay up-to-date on the latest interest at Wolfram Research through our blog: https://blog.wolfram.com/
Follow Stephen Wolfram's life, interests, and what makes him tick on his blog: https://writings.stephenwolfram.com/

Видео 25th Anniversary of the Wolfram Axiom: Can We Understand the Proof? канала Wolfram