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)
“Give me the splendid silent sun
with all his beams full-dazzling,
Give me juicy autumnal fruit ripe and red from the orchard,
Give me a field where the unmow’d grass grows,
Give me an arbor, give me the trellis’d grape,
Give me fresh corn and wheat, give me serene-moving animals teaching content,”
—Walt Whitman (1819–1892)
“Family life is not a computer program that runs on its own; it needs continual input from everyone.”
—Neil Kurshan (20th century)
“The great pagan world of which Egypt and Greece were the last living terms ... once had a vast and perhaps perfect science of its own, a science in terms of life. In our era this science crumbled into magic and charlatanry. But even wisdom crumbles.”
—D.H. (David Herbert)