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:
“What is a wife and what is a harlot? What is a church and what
Is a theatre? are they two and not one? can they exist separate?
Are not religion and politics the same thing? Brotherhood is religion,
O demonstrations of reason dividing families in cruelty and pride!”
—William Blake (1757–1827)
“The most important part of teaching = to teach what it is to know.”
—Simone Weil (1909–1943)
“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)
“It is clear that everybody interested in science must be interested in world 3 objects. A physical scientist, to start with, may be interested mainly in world 1 objects—say crystals and X-rays. But very soon he must realize how much depends on our interpretation of the facts, that is, on our theories, and so on world 3 objects. Similarly, a historian of science, or a philosopher interested in science must be largely a student of world 3 objects.”
—Karl Popper (1902–1994)