Psychotherapy With Myra West

See the video description:

Squashed dog place.

Some other data points. Around that time (early 2011) I got an e-mail from Joe Hurd who I think was working at Galois Connection in Portland, OR at the time. I had another e-mail from him when I was in El Alto in 2010 where he said he'd like to come and see these cold high places one day. That gave me the title for my first blog which was on my ian-grant.net website, I think. I wrote to him in 2011 and told him what I was doing with my lambda-calculator which was a project I'd mentioned in casual conversation with him one day at afternoon tea in the Computer Laboratory before I left Cambridge. In 2010 I sent Joe some photos of Guanay and he replied saying that it was amazing to think of someone living in that town thinking about lambda calculus. It was pretty amazing, wasn't it?

For some details of Galois connections, see Roland Backhouse's brilliant notes on Galois Connections and Fixed Point Calculus:

Fixed point calculus is about the solution of recursive equations defined by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of fixed point calculus together with a number of applications of direct relevance to the construction of computer programs. The tutorial also summarises the theory and application of Galois connections between partially ordered sets. In particular, the intimate relation between Galois connections and fixed point equations is amply demonstrated.

See also Sci-Fi Short - Limbo mayo 21, 2021.

Grace Slick's Cover of Sean Delaney's Dreams (1979):

Subscribe to Grace Slick.

See My Story for more on Cambridge, Dijkstra and Galois Connections. In particular, this video from November 27, 2021:

Look the regular expressions in matrices example in Backhouse's notes! Ask the people at Cambridge why they didn't ever mention John Houghton Conway's 1966 book on Finite Automata and Regular Languages. Check Peter Sewell's PhD Thesis. So please investigate Conway's death carefully, because it may well have been a homicide.

Comments

Post a Comment

Popular posts from this blog

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023

Image
This was in The Guardian: David Turner obituary , only eight days after I posted  David Turner Talking About Sixty Years of Functional Programming History : This talk was given in London in 2017: See  Turner, D. A. "Some History of Functional Programming Languages" also  John Hughes - Why Functional Programming Matters  and David MacQueen's talk at ICFP 2015 in  Numberphile - Sophie Maclean on the Catalan Numbers . At 10:30 This whole discussion abut combinator reduction is especially interesting. I didn't know Arthur Norman had tried building hardware for combinator machines. I'll look that up: maybe start here A.C. Norman  Faster combinator reduction using stock hardware  in LFP '88: Proceedings of the 1988 ACM conference on LISP and functional programming. At 26:25 on the ISWIM virtual machine implemented in the PAL compacting garbage collector?! This work Reynolds and others did was at MIT in Masecheusetts and Argonne National Laboratory Illinois. Did
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 time, ...
Read more