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

Turing's importance and Turing's paper OCN

Dijkstra considered incorrect

Very (long) and interesting read

nwt magazine gone

Irina Nikiforova's PhD dissertation

"Dijkstra distantiated himself "

ARMAC

RE: Translations

‹ previous
3 of 8
next ›

Turing Tales

Algorithmic Barriers Falling: P=NP?

The Dawn of Software Engineering

The Essential Knuth

Home
About