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
sorting morphims
Book presentation in Cambridge
Insertion sort and heap sort are two cases of same algorithm?
Recursion not elegant?
A very controversial topic
An "engineer"
Not an engineer?
It is very true and very sad.
We use machines as our slaves
Really an excellent example to show the power of symmetry.
‹ previous
5 of 8
next ›
Turing Tales
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth