210. Programming and Theory-Building

2021-06-20

Programming in the sense of developing algorithmic instructions isnt just for computers - all rigorously-defined human systems are programmed after a fashion. But what is it that programmers (instruction-writers, legislators, chefs) are doing, exactly?

Audio Version MP3

NOTE: I accidentally uploaded this with the title for episode 205. T_T My mistake!

Programming as Theory-Building (Naur, 1985) - https://pages.cs.wisc.edu/~remzi/Naur.pdf

Defending the Incommunicability of Programs (Miller) - https://jimmyhmiller.github.io/incommunicability

Metaphor - Extreme Programming Practice (Bjorn W, 2018) - https://explainagile.com/agile/xp-extreme-programming/practices/metaphor/

Gilbert Ryle (Stanford Encyclopedia of Philosophy) - https://plato.stanford.edu/entries/ryle/

How Does my Robot Navigate? iRobot Customer Care - https://homesupport.irobot.com/app/answers/detail/a_id/19541/~/how-does-my-robot-navigate%3F
  1. Steampunk, Babbage, and Lovelace - https://www.youtube.com/watch?v=g17dqIoK-0I

  2. The Aesthetic of Programming - https://www.youtube.com/watch?v=HH8HvHj5eFQ

The Beginning of Infinity: Explanations That Transform the World - David Deutsch (2011) - https://publicism.info/science/infinity/17.html

← Back to Episodes