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

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

Welsh Republic Podcast Talking With Kars Collective on Armenia Azerbaijan Conflict

Image
  In the last 30 hours, Azerbaijan has blocked the Berdzor Corridor (the only route in and out of Artsakh), established a military police presence, threatened to shoot any flying object leaving the capital Stepanakert, and has now cut the gas supply. This is now a blockage. — Kars Collective (Կարսի Կոլեկտիվ) (@KarsCollective) December 13, 2022 Subscribe to Welsh Republic Podcast .
Read more

Daniel Tubbenhauer on The Riemann Hypothesis and Prime Counting

Image
He calls this lecture series The Analytic Theory of Monoidal Categories. So this is Analytic Number Theory with a Category Theoretic slant. This lecture is about graph theory. At 16:22 he asks for ideas: See the video description and  Standard ML For The Lady Programmer . Here's Sophie Maclean on the Catalan Numbers and Graph Theory: Here's what they posted 6 hours ago: see Daniel Tubbenhauer Doing Inscrutable Things With Analytic Number Theory ... for another finite-looking problem that might be solvable with SAT or SMT . Subscribe to Numberphile . See Larkin Poe - If God is A Woman, ... then I'm gonna get my bonfire, ... we have been building a giant haystack in a desert getting ready for Burning Man, the REAL F*CKING DEAL! Here's what I posted this morning on Nick Cave's The Red Hand Files #300: Joy! I went out walking this morning, ... But when I went past the boat again, I saw it was Sunquest : boat #6 from Bridge Boat Yard in Ely and the graffiti i...
Read more