Xah Talk Show 2021-11-15, on Studying Math, Category Theory, Type Theory, Proof Theory, Famous Emacs Users
Xah Talk Show 2021-11-15, on Studying Math, Category Theory, Type Theory, Proof Theory, Famous Emacs Users
xah talk show 2021-11-15 zYf9
- 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
xah_talk_show_2021-11-15.txt