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:
“If Americans could understand what a painful, searing experience it is when Negro children first begin to realize that the mere color of their skin is to be the source of a lifelong discrimination, it might do more to end our cruelty toward the Negro than all the preaching on justice and equality.”
—Agnes E. Meyer (1887–1970)
“Dogmatic toleration is nonsense: I would no more tolerate the teaching of Calvinism to children if I had power to persecute it than the British Raj tolerated suttee in India. Every civilized authority must draw a line between the tolerable and the intolerable.”
—George Bernard Shaw (1856–1950)
“Family life is not a computer program that runs on its own; it needs continual input from everyone.”
—Neil Kurshan (20th century)
“The true knowledge or science which exists nowhere but in the mind itself, has no other entity at all besides intelligibility; and therefore whatsoever is clearly intelligible, is absolutely true.”
—Ralph J. Cudworth (1617–1688)