challenge: What is the main argument presented by E.W. Dijkstra in his 1988 article 'On the Cruelty of Really Teaching Computing Science'?
  
  A. Computer programming is a social science that requires understanding human behavior and psychology
  B. Computer programming should focus on practical applications rather than theoretical foundations
  C. Computer programming is an art form that cannot be reduced to mathematical principles
  D. Computer programming should be understood as a branch of mathematics, with formal provability as a key criterion for correctness
  Answer: 