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:

    I love something: and scarcely do I love it completely when the tyrant in me says: “I want that in sacrifice.” This cruelty is in my entrails. Behold! I am evil.
    Friedrich Nietzsche (1844–1900)

    It may be that through habit these do best,
    Coming to water clumsily undressed
    Yearly; teaching their children by a sort
    Of clowning; helping the old, too, as they ought.
    Philip Larkin (1922–1986)

    Family life is not a computer program that runs on its own; it needs continual input from everyone.
    Neil Kurshan (20th century)

    When we say “science” we can either mean any manipulation of the inventive and organizing power of the human intellect: or we can mean such an extremely different thing as the religion of science the vulgarized derivative from this pure activity manipulated by a sort of priestcraft into a great religious and political weapon.
    Wyndham Lewis (1882–1957)