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
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
Turing's importance and Turing's paper OCN
Dijkstra considered incorrect
distantiate
Very (long) and interesting read
nwt magazine gone
Irina Nikiforova's PhD dissertation
"Dijkstra distantiated himself "
ARMAC
RE: Translations
Translations
‹ previous
3 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth