Xah Talk Show 2021-11-15, on Studying Math, Category Theory, Type Theory, Proof Theory, Famous Emacs Users
- https://youtu.be/PnxuLy-n51Y
- Xah Talk Show 2021-11-15, on Studying Math, Category Theory, Type Theory, Proof Theory, Famous Emacs Users
- video, Topos Theory, Stephen Wolfram and Jonathan Gorard
- 04:07 Wolfram Physics Project: Working Session Tuesday, Nov. 2, 2021 [Topos Theory]
- 0:43 Eigenbros ep 138 - Wolfram Physics Project Pt. 2 (w/ Jonathan Gorard)
- Wolfram Language Tutorial
- Famous Emacs Users