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)
“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)
“Family life is not a computer program that runs on its own; it needs continual input from everyone.”
—Neil Kurshan (20th century)
“The knowledge of an unlearned man is living and luxuriant like a forest, but covered with mosses and lichens and for the most part inaccessible and going to waste; the knowledge of the man of science is like timber collected in yards for public works, which still supports a green sprout here and there, but even this is liable to dry rot.”
—Henry David Thoreau (1817–1862)