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
(active tab)
Request new password
User login
Username
*
Enter your Dijkstra's Rallying Cry for Generalization username.
Password
*
Enter the password that accompanies your username.
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
Are you joking...?
Response to PracticalID
Dijkstra doesn't like metaphors or analogies
Dijkstra did not like Object Orientation analogy either
Dijkstra doesn't like metaphors or analogies
Dijkstra seemed hostile toward Artificial Intelligence
recursion contradictions
Recursion
Imperfect people
Forthcoming book on Turing and Dijkstra
‹ previous
6 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth