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
Log in
Request new password
(active tab)
Request new password
Username or e-mail address
*
Recent posts
Refining Mark Burgin's Case Against the Church-Turing Thesis
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
1 of 12
next ›
Recent comments
philosophical game
McCarthy and Shapiro (1987)
waking up
Common Sense on Self-Driving Cars
Dijkstra and 100% correctness (1993)
corner cases remain problematic, also with deep learning
liminal artifacts
Good point
what do you think I'm going to say? :-)
Boyer & Moore
1 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth