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
Daylight Manchester 2013
Video of DaylightManchester2013
« Back to gallery
Item 5 of 5
« Previous
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
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