On The Cruelty of Really Teaching Computer Science

On The Cruelty Of Really Teaching Computer Science

On the Cruelty of Really Teaching Computing Science” is a 1988 paper by E. W. Dijkstra which argues that computer programming should be understood as a branch of mathematics, and that the formal provability of a program is a major criterion for correctness.

Despite the title, most of the article is on Dijkstra’s attempt to put computer science into a wider perspective within science, teaching being addressed as a corollary at the end. Specifically, Dijkstra made a “proposal for an introductory programming course for freshmen” that consisted of Hoare logic as an uninterpreted formal system.

Read more about On The Cruelty Of Really Teaching Computer Science:  Debate Over Feasibility, Pedagogical Legacy

Famous quotes containing the words cruelty, teaching, computer and/or science:

    There is nothing so desperately monotonous as the sea, and I no longer wonder at the cruelty of pirates.
    James Russell Lowell (1819–1891)

    The discipline of the Old Testament may be summed up as a discipline teaching us to abhor and flee from sin; the discipline of the New Testament, as a discipline teaching us to die to it.
    Matthew Arnold (1822–1888)

    The Buddha, the Godhead, resides quite as comfortably in the circuits of a digital computer or the gears of a cycle transmission as he does at the top of a mountain or in the petals of a flower.
    Robert M. Pirsig (b. 1928)

    Science is the language of the temporal world; love is that of the spiritual world. Man, indeed, describes more than he explains; while the angelic spirit sees and understands. Science saddens man; love enraptures the angel; science is still seeking, love has found. Man judges of nature in relation to itself; the angelic spirit judges of it in relation to heaven. In short to the spirits everything speaks.
    Honoré De Balzac (1799–1850)