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:
“It was mankind that hung on the cross for two thousand years: and a terrible god practiced his cruelty and called it “love.””
—Friedrich Nietzsche (1844–1900)
“Teaching creativity to your child isn’t like teaching good manners. No one can paint a masterpiece by bowing to another person’s precepts about elbows on the table.”
—Gurney Williams III (20th century)
“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)
“Hard times accounted in large part for the fact that the exposition was a financial disappointment in its first year, but Sally Rand and her fan dancers accomplished what applied science had failed to do, and the exposition closed in 1934 with a net profit, which was donated to participating cultural institutions, excluding Sally Rand.”
—For the State of Illinois, U.S. public relief program (1935-1943)