Skip to main content
Main menu
Diaries
50 years ago
40 years ago
30 years ago
Turing centenary
Category Mistakes
Self-driving cars
Dijkstra's library
EWD1000
Teaching
Pictures
Videos
About
Dijkstra's Rallying Cry for Generalization
You are here
Presentations
Dawn Of Software Engineering
Video of Dawn of Software Engineering
« Back to gallery
Item 1 of 5
Next »
Recent posts
From perusal to poetry
Lecture 3: "True Turing"
Chat GPT on Turing's notion of infinity
Chat GPT on Cantor's diagonal argument
I asked Chat GPT a question about Turing's 1936 paper
I asked Chat GPT two questions on Alan Turing
Eenvou(w)dig Case Study: in Dutch
Computability Unplugged?
Using History to Teach Mathematics
Cantor's diagonal argument & potential infinity do not mix
Turing Machine as Boundary Object
Plato, Aristotle, and Programming
What is a "program text"?
Natural Daylight Defence
Paper Available: "The Halting Problem and Security's Language-Theoretic Approach ..."
1 of 12
next ›
Recent comments
Fetzer and finiteness
flying drones in a workshop
a child
Hacking into a Tesla
Tesla Crash and Deep learning
Wittgenstein's argument in context
machine learning versus explicit lists of rules
turning radius?
China's elevated bus.
networking self-driving cars
‹ previous
2 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth