Skip to main content
50 years ago
40 years ago
30 years ago
Dijkstra's Rallying Cry for Generalization
You are here
Programming In The 1950 S In 5 Pictures
Video of Programming in the 1950s in 5 Pictures
« Back to gallery
Item 3 of 5
Turing Machine as Boundary Object
From perusal to poetry
Plato, Aristotle, and Programming
What is a "program text"?
Natural Daylight Defence
Paper Available: "The Halting Problem and Security's Language-Theoretic Approach ..."
Lecture 3: "Turing's 1948 Bridge: from Logical to Practical Machinery"
Is the hype about 'self-driving cars' finally over?
Sociotechnical Systems :: from Brian Cantwell Smith and Michael Jackson to Nancy Leveson
Vindicating Turing and von Neumann?
Don't Conflate Turing Machines and Dishwashers (warns Edward A. Lee)
Cars that really do crash, autonomously
Lecture 2: "An Impossible Program: from Turing to Strachey"
Lecture 1: "Bye Bye Turing Hype"
Chapter 1 of Turing Tales
1 of 11
McCarthy and Shapiro (1987)
Common Sense on Self-Driving Cars
Dijkstra and 100% correctness (1993)
corner cases remain problematic, also with deep learning
what do you think I'm going to say? :-)
Boyer & Moore
Fetzer and finiteness
1 of 8
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth