Find in Library

A thesis defining the boundaries of computer science is first formulated in relation to a certain work of Stuart Shapiro. It is argued that these boundaries are determined by the properties of the mind in the real world. It is the Church thesis that determines and specifies these boundaries. Next, some issues concerning the understanding of the Church thesis will be considered such as the division of its formulations and versions. Finally, the relations among the classes of the recursive functions, algorithms, machines and computer programs will be discussed as the main theme of the article. Comments will also be made in the text on the understanding of the term ‘effectively’.