Lecture 2: "An Impossible Program: from Turing to Strachey"


October 2019

My second video lecture on "History of Computer Science (and much more)" consists of two parts:

I recall people throwing the words "impossible," "undecidable," and "halting problem" at me when I was a Ph.D.student in the early 2000's. ... I hope 2020 will become the year in which my work, entitled "The Halting Problem and Security's Language Theoretic Approach: Praise and Criticism from a Technical Historian", is published. While my article undergoes a second round of peer reviewing (after having been rejected without peer review on two prior occasions) I have video recorded my research findings and placed the two-part video lecture online.

Main sources

  • R. Crowell and R. Fox. Introduction to Knot Theory. Boston: Ginn and Co., 1963.
  • C. Strachey. An Impossible Program. The Computer Journal, Vol. 7, No. 4, p.313, 1965.
  • S. Shapiro. Thinking About Mathematics: The Philosophy of Mathematics. Oxford University Press, 2000.
  • J.E. Hopcroft, R. Motwani, J.D. Ullman. Introduction to Automata Theory: Languages, and Computation. Addison Wesley / Pearson Education, 2007.
  • E.A. Lee. Plato and the Nerd: The Creative Partnership of Humans and Technology. MIT Press, 2017.
  • R. Turner. Computational Artifacts: Towards a Philosophy of Computer Science, Springer, 2018.


[Last updated on 31 October 2019]