caa a22 4500 445838019 CHVBK 20180317145335.0 cr unu---uuuuu 170323e20110201xx s 000 0 eng 10.1007/s11023-011-9222-6 doi (NATIONALLICENCE)springer-10.1007/s11023-011-9222-6 Müller Vincent ACT Department of Humanities and Social Sciences, Anatolia College, PO Box 21021, 55510, Pylaia, Greece aut On the Possibilities of Hypercomputing Supertasks [Elektronische Daten] [Vincent Müller] This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis'), it discusses proposals for digital hypercomputing with "Zeno-machines”, i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. Springer Science+Business Media B.V., 2011 Computing nationallicence Computability nationallicence Hypercomputing nationallicence Effective computing nationallicence Supertask nationallicence Church-Turing thesis nationallicence Copeland nationallicence Benacerraf nationallicence Thomson nationallicence Zeno nationallicence Zeno-machine nationallicence Accelerated Turing machine nationallicence Minds and Machines Springer Netherlands 21/1(2011-02-01), 83-96 0924-6495 21:1<83 2011 21 11023 https://doi.org/10.1007/s11023-011-9222-6 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11023-011-9222-6 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Müller Vincent ACT Department of Humanities and Social Sciences, Anatolia College, PO Box 21021, 55510, Pylaia, Greece aut NATIONALLICENCE 773 0- Minds and Machines Springer Netherlands 21/1(2011-02-01), 83-96 0924-6495 21:1<83 2011 21 11023 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer