An interview with Peter Naur

Dated: 

Spring 2011

 

What an absolutely cool guy!

— Dennis Shasha,
New York University

 

Fascinating... the interview is a very worthwhile contribution to documenting the history of the field, and will be of strong interest both to computer scientists and to professional historians.

— Robert Harper,
Carnegie Mellon University

 

Tags: 

McKeag's account of T.H.E.

Dijkstra's Rallying Cry for Generalization is pleased to offer to its readers Chapter III of the book Studies in Operating Systems by R. M. McKeag and R. Wilson, edited by D H. R. Huxtable and published in 1976 by Academic Press:

T.H.E. Multiprogramming System (18.6 MiB PDF)
by R. M. McKeag

For personal use only. Republished here with the kind permission of McKeag and Fujitsu Services Ltd.

Regards from Heikki Saikkonen

Dated: 

30 March 1987

Dear prof. Dijkstra,

I am spending my winter-holiday in a small cabin in the middle of Lapland. Days go in skiing, but in the evenings I have ample time to the latest EWD's (992–1000) which arrived already in late February. My normal working days are nowadays so full of all sorts off "duties", that interesting things have to be postponed to holidays. Anyway, I am enjoying EWD-series very much and eagerly waiting for the next thousand.

Yours ever,

Heikki Saikkonen

Tags: 

Human communication versus communication with a machine

Dated: 

October 1961

In his technical report (MR 34) of October 1961, Dijkstra made an analogy between human communication and communication with a machine and noted that the analogy is ineffective, an observation which complies with the earlier analogy he made between mathematics and programming, which he viewed to be effective.

Tags: 

An analogy between mathematics and programming

Dated: 

October 1961

In his technical report (MR 34) of October 1961, Dijkstra explained why he viewed a good programming language to be one of a small number of very general concepts. To clarify, he used an analogy between mathematics and programming, an analogy which in later years would be scrutinized in several ways by his contemporaries. (See e.g. MacKenzie's 2004 book Mechanizing Proof: Computing, Risk, and Trust.)

Tags: 

Trip to Scotland and Newcastle, September 1981

Dated: 

31 August -- 15 September, 1981

In the late summer of 1981, Dijkstra gave several talks in Scotland and Newcastle. Here is an overview of his trip:

+ The Marine Hotel in North Berwick. The host was Mr. Hannah of Burroughs. The audience consisted of 10 men from various Burroughs plants in Europe. Dijkstra lectured for five successive days, between 6 and 7 hours per day. The "standard surprise" from the audience was that the universal quantification over the empty set yields true.

Tags: 

Trip to Marktoberdorf, Summer 1981

Dated: 

26 July -- 10 August, 1981

The theme of the International Summer School in Marktoberdorf was "Theoretical Foundations of Programming Methodology". The general pattern of the day was: two lectures — a break — two lectures — lunch — two lectures — break — discussion.

In his trip report, Dijkstra listed several speakers from that summer school:

Tags: 

Pages

 
Subscribe to Dijkstra's Rallying Cry for Generalization RSS