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:

    Ever more blood, ever more torments! My cruelty is exhausted and yet cannot stop; I want to be feared, but I only provoke.
    Pierre Corneille (1606–1684)

    What is this? A new teaching -with authority! He commands even the unclean spirits, and they obey him.
    Bible: New Testament, Mark 1:27.

    Of Jesus after he had exorcized an unclean spirit.

    The computer takes up where psychoanalysis left off. It takes the ideas of a decentered self and makes it more concrete by modeling mind as a multiprocessing machine.
    Sherry Turkle (b. 1948)

    Science, unguided by a higher abstract principle, freely hands over its secrets to a vastly developed and commercially inspired technology, and the latter, even less restrained by a supreme culture saving principle, with the means of science creates all the instruments of power demanded from it by the organization of Might.
    Johan Huizinga (1872–1945)