Programming Theorems Have the Same Origin

Abstract

One of the classical ways of learning programming is to divide programming tasks into large groups, so-called programming theorems, and then to trace the specific tasks back to the programming theorems. Each teaching method introduces a different amount of programming theorems into the learning pro-cess, occasionally even combining them. In this article we will show that the basic and complex pro-gramming theorems have the same origin; consequently, it would be enough to present one theorem and trace everything back to it. At the end of the article, then, we will explain the practical use of still introduc-ing more theorems.