The Question of the Boundaries of Computer Science
| Autor: | Janusz Mączka, Adam Olszewski |
|---|---|
| Jazyk: | English<br />Polish |
| Rok vydání: | 2022 |
| Předmět: | |
| Zdroj: | Seminare, Vol 41, Iss 4 (2022) |
| Druh dokumentu: | article |
| ISSN: | 1232-8766 2450-1328 |
| DOI: | 10.21852/sem.2020.4.04 |
| Popis: | 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’. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|