The Eternal Doorman

See  Tomas Petricek's Cultures of Programming - 2. Hackers, engineers, managers, mathematicians and humanists . For more on computation and logic see Thomas Kern on String Logics .  See  https://tomasp.net/cultures/  for more information about the book.  Subscribe to Tomas Petricek .

My comment : That was interesting. There was also an idea of some of the people in the cybernetics movement in the forties and fifties of a kind of general science of control systems engineering that mostly petered out by the time companies like IBM, Burroughs etc. started making commercial digital computers, but some interesting parts continued, like the Cybersyn project of Stafford Beer which was a kind of humanistic/management hybrid culture which tried to incorporate information systems into government. The government was Salvador Allende's socialist government in Chile and the CIA put an end end to that and Allende too in 1973.  For more on Stafford Beer's ideas see James Corbett on Cybernetics .  See part 1 here:  Tomas Petricek on his Book "Cultures of Programming" . See  https://tomasp.net/cultures/  for more information about the book. Subscribe to Tomas Petricek .

See https://tomasp.net/cultures/ .  My comment : 29:02 That's funny! What I noticed was that because the chief programmer wasn't actually looking at any code (seriously, he just saw the specifications) he couldn't see the stupid things they were paying people to do. We were mostly writing glue code to connect separately developed subsystems, but that glue was pretty complicated because connecting independent developed APIs together is complex.   See also these earlier posts of mine . Subscribe to Tomas Petricek . 

It looks really good. It's open access too. See  https://tomasp.net/cultures/  and he has an exhibition in Prague and is offering to tour with it too. 23:48 The Mathematical and Humanistic cultures he describes here are not rational, they are vegetative. See  Hope - It's not Just France and Italy, ...  and The Functional Craft of Programming on Being Intelligent About Stuff . This is just the 27 page introduction to the book that he talks about here, there is a lot more to come.   Subscribe to Tomas Petricek .

See https://tomasp.net/cultures/  and these earlier post of mine . My comment : 40:06 That's really interesting. I'd never heard of Fetzer before. The "Machine as empirical description" seems not to have been much appreciated by the MIT AI people in the early eighties. See for example the introduction in Jon Doyle's 1980 PhD thesis A Model for Deliberation, Action and Introspection. The sense then in which proof is empirical knowledge is entirely predicated on the machine actually behaving in the way its formal description says it does. So for example if a track on the PCB is cut at a certain place then your empirical knowledge about the device is quite possibly not worth anything. So empirical knowledge doesn't really sound like the right way to describe a proof. It's interesting that a year before Brian Cantwell Smith wrote that commentary on proof he wrote Reflection and semantics in LISP which led to all that "reflective towers of interpreters...