On a cultural gap

@article{Dijkstra1986OnAC,
  title={On a cultural gap},
  author={Edsger W. Dijkstra},
  journal={The Mathematical Intelligencer},
  year={1986},
  volume={8},
  pages={48-52}
}
  • E. Dijkstra
  • Published 1 March 1986
  • Sociology
  • The Mathematical Intelligencer
Social processes, program verification and all that
TLDR
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.
As perceived, not as known: digital enquiry and the art of intelligence
  • W. McCarty
  • Art
    Interdisciplinary Science Reviews
  • 2021
ἐὰν μὴ ἔλπηται ἀνέλπιστον οὐκ ἐξϵυρήσϵι, ἀνϵξϵρϵύνητον ἐὸν καὶ ἄπορον. (‘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
TLDR
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).
Troubled IS/IT projects: searching for the root causes
TLDR
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.
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 science
Overview of the Discipline of Computer Science
This chapter proposes how to address in the MTCS course topics associated with the nature of the discipline of computer science and with cross-curriculum topics. The importance of these topics is
Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems
TLDR
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.
Programming: A Wicked Subject?
TLDR
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.
Analyzing the IS 2010 Model Curriculum for Evidence of the Systems Approach
TLDR
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.
...
...