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:
“There is nothing so desperately monotonous as the sea, and I no longer wonder at the cruelty of pirates.”
—James Russell Lowell (1819–1891)
“There is no teaching until the pupil is brought into the same state or principle in which you are; a transfusion takes place; he is you, and you are he; then is a teaching; and by no unfriendly chance or bad company can he ever lose the benefit.”
—Ralph Waldo Emerson (1803–1882)
“Family life is not a computer program that runs on its own; it needs continual input from everyone.”
—Neil Kurshan (20th century)
“Science is built up with facts, as a house is with stones. But a collection of facts is no more a science than a heap of stones is a house.”
—Jules Henri Poincare (1854–1912)