E. W. Dijkstra, one of the fundamental contributors to computer science, said: "program testing may convincingly demonstrate the presence of bugs, but can never demonstrate their absence". In this paper, he shares his thoughts regarding that computer programming should be understood as a branch of mathematics. Although, his position is not necessary according to the craftmanship mo...
