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
Paper Available: "The Halting Problem and Security's Language-Theoretic Approach ..."
Is the hype about 'self-driving cars' finally over?
Sociotechnical Systems :: from Brian Cantwell Smith and Michael Jackson to Nancy Leveson
Vindicating Turing and von Neumann?
Don't Conflate Turing Machines and Dishwashers (warns Edward A. Lee)
Cars that really do crash, autonomously
Lecture 2: "An Impossible Program: from Turing to Strachey"
Lecture 1: "Bye Bye Turing Hype"
Chapter 1 of Turing Tales
An Exercise in Unplugging the Church-Turing Thesis [Part 2]
An Exercise in Unplugging the Church-Turing Thesis [Part 1]
Freely Available: 2015 paper on Turing's legacy
Book Announcement :: Arthur C. Fleck :: 2018
Cars and Automatic Programming
FUTURE CRIMES
‹ previous
2 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
