David Lynch's Weather Report

The Fleetwoods - Come Softly To Me


All this fifties reminscence made me hope that David Lynch has been in contact with Dana S. Scott. In 2014 Dana Scott published a paper entitled Stochastic Lambda Calculus: An extended abstract, in the Journal of Applied Logic 12. See https://eternaldoorman.blogspot.com/2020/09/journal-of-applied-logic-special-issue.html As far as I can tell this gives an operational semantics for lambda calculus which would allow one to produce a pedagogical system for exploring ideas about uncomputable functions and randomness. I spent most of the latter half of 2012 trying to persuade my ex-colleagues at Cambridge, principally Larry Paulson to take this idea seriously: see Logic. I failed to make any progress at all with either Larry or Roger Bishop-Jones. Maybe Dana Scott could support my application for political asylum in the United States? I have no more money for Internet. I don't know what all this songs of the fifties is about otherwise. I am stressed, please help me in some kind of concrete way. Communicate for fuck's sake!!

Comments

Post a Comment

Popular posts from this blog

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

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