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
Eenvou(w)dig Case Study: in Dutch
Using History to Teach Mathematics
Cantor's diagonal argument & potential infinity do not mix
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: "True Turing"
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)
1 of 12
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
1 of 8
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth