Standard ML For The Lady Programmer
This book has in fact already been written. All that remains is to get it into print, I think. See Terence Tao on Mathematics and Artificial Intelligence and then https://kwarc.info/ and Comma Category. The cover will be a photograph of this portrait by Margaret Sarah Carpenter. See Guerilla Logic - The Books and Margaret Sarah Carpenter.
Image source: Wikimedia Commons, Public Domain in the United States and Britain.
Florian Rabe on MMT: A UniFormal Approach to Knowledge Representation. See Michael Kohlhase and Dennis Müller - The STeX3 Package Collection.
I think Florian was at Cambridge some time and maybe we had a conversation about the "Semantic Web" that went a bit like this? Me: "What is ontology?" Him: "Well, I don't really know!" If it was he, then I am fairly sure we had also had a brief exchange of emails when I was in Bolivia, in 2011 or so. On semantic antinomies and how to approach them from a Buddhist perspective, see Thomas Forster's 2023 article on the Burali-Forti paradox in The Reasoner.
Subscribe to Topos Institute.
Here's Toby explaining limits (and colimits):
See Toby Reads A Mathematician's Lament and the book Measurement, by Paul Lockhart.
Subscribe to Tibees.
Turn Up And Write with Kate Rhodes (Oops, that was a faux pas! Good thing we're not partisan.)
That's quite a recovery, because yesterday things weren't looking too great: Hacking Linux in the Federal Republic of Germany? Mein Gott! Thank you Victoria, thank you Che.
Comments
Post a Comment