Skip to main content

Main menu

Diaries
Dijkstra's library
EWD1000
Teaching
Pictures
Videos
About

Dijkstra's Rallying Cry for Generalization

You are here

Presentations

Daylight Manchester 2013

« Back to galleryItem 5 of 5« Previous

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