Curt Jaimungal Interview With Urs Schreiber

See https://ncatlab.org/nlab/show/Urs+Schreiber and https://philosophy.stackexchange.com/users/5473/urs-schreiber.

He says he's also recorded an interview with Emily Riehl that will appear in the next few weeks. See  Philip Wadler's Essence of Functional Programming.

27:42 See Curt's Substack article The Mathematics of Self: Why You Can Never Full Know Yourself.

29:31 See Eilenberg & MacLane's 1945 paper General Theory of Natural Equivalences .

That whole discussion reminded me of this short article written by Gabriele Carcassi a few days ago: Refactoring Physics: "Before looking for new theories, we need to address the 'math smells' of the current ones". See Code smell.

Subscribe to Theories of Everything.

Comments

Post a Comment

Popular posts from this blog

Steven Johnson - So You Think You Know How to Take Derivatives?

Image
A derivative is linearisation, and differential calculus is essentially linear algebra, ...  See  Freya Holmér - Why Can't You Multiply Vectors?  and  Freya Holmér on Continuity of Splines . See also the MIT OCW page:  Matrix Calculus For Machine Learning And Beyond  (Alan Edelman, Steven G. Johnson) Subscribe to The Julia Programming Language . Alan Edelman talking about expressing mathematics as computer code. The idea is that you can use computer languages to communicate mathematical ideas precisely to other people. See my comments about functional programming languages here:  https://prooftoys.org/ian-grant/hm/ Subscribe to TEDx Talks .
Read more

Live Science - Leonardo da Vinci's Ancestry

Image
... and his posterity too? See  On Communication in Linear Time And Hypertext And The Gospel of Sophia . So it looks like El Cielo of the cistine [sic!😂] chapel is not the limit anymore.  I think I just met one of his descendents. A guy called Versailles Toledo who is from Chiapas. That might explain the murals I mention in my recent untitled post , just before the post mentioning this video. I also just took this photo of Rafael Gonzales, born here in Tecate, B.C., who told me about a spring near here called Agua Fría , half way from Tecate to Loma Tova , where, a few decades ago, people used to go to have barbecues and stuff, but now he thinks it may be private land. If someone reading this has a Facebook account, please write a link to this post onto his FB page. To see why I took the photo, look at his T-shirt and the horse-shoes and ponder this: Subscribe to BeatrizER and her video(s?) about mathematical logic, ... Sounds like Edith (II) Rix has been online all the t...
Read more