Dana Scott on Stochastic Lambda Calculus

Lecture in honor of Raymond Smullyan. I guess this is why it opens with birdsong. See To Mock a Mockingbird.

At 25 minutes: it's unusual to find people who work at such high levels of abstraction and who also have a sound basic understanding of practical computing.

Slides are available in PDF here: https://simons.berkeley.edu/sites/default/files/docs/5222/stochasticlambda-calculus.pdf from a later talk: https://simons.berkeley.edu/talks/dana-scott-08-28-2016

Given in May 2016, the day before leaving for the UK to do a lecture tour, including Oxford and Cambridge. Scott worked with Alonzo Church at Princeton, as did Smullyan. Smullyan apparently died on February 17, 2017. See Weird Stuff Going on With the British Press: Cambridge Evening News December 6, 2017.


Comments

Post a Comment

Popular posts from this blog

Five Crooks Run 70% of UK Media

Image
See also  this brief summary , and  The Eastern Arm of Iran-Contra  because the Soros ERM rip-off was only a small part of the story which involves BCCI and goes back to the 1953 coup d'etat in Iran ordered by the Anglo Persian Oil Company (which later became British Petroleum) and organised by the CIA. See  my comments on YouTube  and  Hannah Arendt on Revolution and Technology . So, get back in touch with your German girlfriends lads, because all the journalists are either working for News Corp. or they're in the street outside with their arms chained to concrete pipes and they're not going be any fucking use at all!  Extinction Rebellion UK ,  XR Trying To Mobilise the Working Class and Talking About Non-violent Direct Action . Let's see if we can work out what George Soros is doing in New York: If you think that's a rip-off, what about this:  See  Princess Basmah Bint Saud  and  How Fortunes Are Destroyed . See  Norman Fucking Rockwell ,  We're all Actors N
Read more

Noam Chomsky Laying America's Woes at the Feet of Civil Libertarians

Image
I don't know who these mysterious and criminally lazy Civil Libertarians are. Does he mean people like Nancy Pelosi? See  my comment on YouTube : I'm impressed! So what gives private interests the power to, say, shut down a publisher just because they printed a book? Why couldn't those authors just have their books published by other independent imprints? Because they had sold the rights to the publisher who had sold them on to a shell company that was never going to print them and to fight those cases in [courts] would have cost tens of millions and taken years and because there were hardly any other small publishers around anyway and their publicity budgets were so small compared to the big publishers like Elsevier etc that they were hardly publishing at all. So the problem is abuse of the power of money. And just look at what Hunt was doing manipulating the press in the early sixties to get Johnson elected after JFK was assassinated, ... So this is Chomsky defending his
Read more

Not Enough Bandwidth to Watch Video

Image
This is how it was in 2017. See  Zuckerberg Fakebook ,  Countdown To Socialism ,  Michelle Obama on Empathy and Knowing Shit  and  On Google and Stanford University's Unwholesome Relationship with the US Intelligence "Community . I wonder what the sky over LA looked like the morning after the AA batteries put up two flack barrages in the early hours, a few days after this: See: Justifying the tons of spent and unspent ordinance dumped onto LA residents that night was an easy enough bit of reportage for the LA Times: The speciality of George H.W. Bush & Co's Zapata Oil Company was offshore drilling. See  The Eastern Arm of Iran-Contra . I can't watch this right now. It's sure to be interesting though: Lori also did another piece on Elon Musk today which I am not going to watch. But I did listen to this: Letting an asshole like Elon Musk launch his teddy-bear into space would be stupidly irresponsible. Somebody at the USAF is going to be court-martialled for thi
Read more