On a cultural gap

  title={On a cultural gap},
  author={Edsger W. Dijkstra},
  journal={The Mathematical Intelligencer},
  • E. Dijkstra
  • Published 1986
  • Sociology
  • The Mathematical Intelligencer
Social processes, program verification and all that
It is believed that the social nature of proof and program development is uncontroversial and ineluctable, but formal verification is not antithetical to it, and formal verification should strive not only to cope with, but to ease and enhance the collaborative, organic nature of this process, eventually helping us to master the growing complexity of scientific knowledge. Expand
As perceived, not as known: digital enquiry and the art of intelligence
ἐὰν μὴ ἔλπηται ἀνέλπιστον οὐκ ἐξϵυρήσϵι, ἀνϵξϵρϵύνητον ἐὸν καὶ ἄπορον. (‘If you do not expect the unexpected, you will not find it; for it is hard to be sought out and difficult’)  Heraclitus (DK 1...
Fun with Formal Methods for Better Education
Several Math problems of Olympiad level that can be solved using Formal Methods are discussed (while, unfortunately, Mathematical education suffers of lack of Theoretical Computer science curricular). Expand
Troubled IS/IT projects: searching for the root causes
Evidence is offered that the root causes of troubled projects lie in the management culture, and therefore, the professional preparation of managers needs to be improved so to remove the present difficulties in IS/IT projects. Expand
Computer Science Soft Concepts and Soft Skills
This chapter proposes how to address computer science soft concepts and skills in the MTCS course. These topics are especially important today as they are dominant in the teaching of computer scienceExpand
Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems
Examples borrowed from the worlds of Mathematical Olympiads and Programming contests are used to stress importance of the recursion elimination studies not only for better education but for better and more efficient program specification, verification, optimization and compiler design. Expand
Programming: A Wicked Subject?
This paper shows that treating programming as a wicked problem can shed some light onto the question why not many students can be successful in programming. Expand
Analyzing the IS 2010 Model Curriculum for Evidence of the Systems Approach
The purpose of this paper is to determine the degree to which the IS 2010: Curriculum Guidelines for Undergraduate Degree Programs contains the systems approach in its learning objectives as well as specific course content. Expand