We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
IS CHURCH'S THESIS STILL RELEVANT?
- Authors
Mycka, Jerzy; Olszewski, Adam
- Abstract
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. The general theme of the article is the analysis of mutual relations between the content of CT and the theories of hypercomputation. In the main part of the paper the arguments for abolition of CT caused by the introduction of hypercomputable methods in computer science are presented and critique of these views is presented. The role of the efficiency condition contained in the formulation of CT is stressed. The discussion ends with a summary defending the current status of Church's thesis within the framework of philosophy and computer science as an important point of reference for determining what the notion of effective calculability really is. The considerations included in this article seem to be quite up-to-date relative to the current state of affairs in computer science.
- Subjects
SCIENTIFIC computing; PHILOSOPHY of science; POWER (Social sciences)
- Publication
Acta Biologica Cracoviensia Series Botanica, 2020, Vol 63, Issue 1, p31
- ISSN
0001-5296
- Publication type
Article
- DOI
10.2478/slgr-2020-0026