Skip to main content

Main menu

Diaries
Dijkstra's library
EWD1000
Teaching
Pictures
Videos
About

Dijkstra's Rallying Cry for Generalization

Turski and Dijkstra

Submitted by egdaylight on Wed, 04/27/2011 - 21:21

Turski and Dijkstra

Image:

Log in to post comments

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

philosophical game

McCarthy and Shapiro (1987)

waking up

Common Sense on Self-Driving Cars

Dijkstra and 100% correctness (1993)

corner cases remain problematic, also with deep learning

liminal artifacts

Good point

what do you think I'm going to say? :-)

1 of 8
next ›

Turing Tales

Algorithmic Barriers Falling: P=NP?

The Dawn of Software Engineering

The Essential Knuth

Home
About