On a cultural gap

@article{Dijkstra1986OnAC,
  title={On a cultural gap},
  author={E. Dijkstra},
  journal={The Mathematical Intelligencer},
  year={1986},
  volume={8},
  pages={48-52}
}
  • E. Dijkstra
  • Published 1986
  • Sociology
  • The Mathematical Intelligencer
View on Springer
37 Citations
Highly Influential Citations
1
Background Citations
5
Methods Citations
3

37 Citations

Citation Type

Citation Type

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. 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
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). Expand
Troubled IS/IT projects: searching for the root causes
Purpose For decades, troubled information systems (IS)/information technology (IT) projects have continued to lose billions of dollars all over the world. The purpose of this paper is to look for… 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 science… Expand
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. Expand
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. Expand
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. Expand
A Service-Oriented Computing Platform: An Architecture Case Study
Informatyka jako nauka
...
1
2
3
4
...