Skip to main content

Main menu

Diaries
Dijkstra's library
EWD1000
Teaching
Pictures
Videos
About

Dijkstra's Rallying Cry for Generalization

Lecture 3: "True Turing"

Submitted by egdaylight on Thu, 01/28/2021 - 09:30

Dated:

1 March 2023

... forthcoming ... in the spring/summer of 2023 ...

[Last update: 1 March 2023]

Tags:

Teaching
Category Mistakes
Turing centenary

Log in to post comments

Recent posts

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

From perusal to poetry

Plato, Aristotle, and Programming

What is a "program text"?

Natural Daylight Defence

Paper Available: "The Halting Problem and Security's Language-Theoretic Approach ..."

Lecture 3: "True Turing"

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