Definition:Wirth Interval Notation/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Wirth Interval Notation

The term Wirth Interval Notation was invented by $\mathsf{Pr} \infty \mathsf{fWiki}$.

As such, it is not generally expected to be seen in this context outside $\mathsf{Pr} \infty \mathsf{fWiki}$.


The double-dot convention appears to have originated with Niklaus Emil Wirth during the course of his design of the Pascal programming language. It can be considered as either an incomplete ellipsis: "$\ldots$" or as a colon "$:$" lying on its side: $.\,.$


In Concrete Mathematics: A Foundation for Computer Science, 2nd ed. of $1994$ by Ronald L. Graham, Donald E. Knuth and Oren Patashnik, it is stated that this notation was:

suggested by C.A.R. Hoare and Lyle Ramshaw

but little corroboration can be found on the Internet to support this.


C.A.R. Hoare had in fact adopted the ellipsis notation: $\paren {a \ldots b}$ in a $1972$ article:

... we introduce the following notations for open and closed intervals:

While it is left unstated who those others were in the we, it can be noted that Wirth is cited in the references, along with Robert W Floyd, Adriaan van Wijngaarden and Peter Naur.


Ramshaw's contribution appears to be rather more limited. Apart from his $1979$ thesis, in which he expands on the work of Floyd and Hoare, he appears to have had no active involvement in the invention of this notation, and appears simply to have adopted it.

It is suggested that Ramshaw's name is attached to this more strongly than is perhaps merited. Note that Ramshaw was a student of Knuth's, and the latter may have shown favouritism when attributing the notation.


Ultimately, evidence is strongly suggestive that the invention of this notation was completely the work of Wirth; the possible attribution to others may be because of their decision to adopt it.


Sources

  • 1972: C.A.R. HoareA Note on the For Statement (BIT Vol. 12, no. 3: pp. 334 – 341)