Is Church’s Thesis Still Relevant?
| Autor: | Mycka Jerzy, Olszewski Adam |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | Studies in Logic, Grammar and Rhetoric, Vol 63, Iss 1, Pp 31-51 (2020) |
| Druh dokumentu: | article |
| ISSN: | 0860-150X 2199-6059 |
| DOI: | 10.2478/slgr-2020-0026 |
| Popis: | The article analyses the role of Church’s Thesis (hereinafter CT) in the context of the development of hypercomputation research. The text begins by presenting various views on the essence of computer science and the limitations of its methods. Then CT and its importance in determining the limits of methods used by computer science is presented. Basing on the above explanations, the work goes on to characterize various proposals of hypercomputation showing their relative power in relation to the arithmetic hierarchy. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|