Supertasks do not increase computational power

Oron Shagrir

doi:10.1007/s11047-011-9280-y

Supertasks do not increase computational power

Oron Shagrir^*

^*Corresponding author for this work

Research output: Contribution to journal › Review article › peer-review

2 Scopus citations

Abstract

It is generally assumed that supertasks increase computational power. It is argued, for example, that supertask machines can compute beyond the Turing limit, e.g., compute the halting function. We challenge this assumption. We do not deny that supertask machines can compute beyond the Turing limit. Our claim, rather, is that the (hyper) computational power of these machines is not related to supertasks, but to the "right kind" of computational structure.

Original language	English
Pages (from-to)	51-58
Number of pages	8
Journal	Natural Computing
Volume	11
Issue number	1
DOIs	https://doi.org/10.1007/s11047-011-9280-y
State	Published - Mar 2012

Bibliographical note

Funding Information:
Acknowledgments Thanks to the participants of the Workshop on Physics and Computation at Ponta Delgada (2009) and to three anonymous referees for corrections and suggestions. This research was supported by the Israel Science Foundation, grant 725/08.

Keywords

Accelerating Turing machines
Halting function
Hyper computation
Relativistic machines
Supertasks
Turing machines

Access to Document

10.1007/s11047-011-9280-y

Cite this

@article{24170aa1b3654d9ebc8443eb5157a284,

title = "Supertasks do not increase computational power",

abstract = "It is generally assumed that supertasks increase computational power. It is argued, for example, that supertask machines can compute beyond the Turing limit, e.g., compute the halting function. We challenge this assumption. We do not deny that supertask machines can compute beyond the Turing limit. Our claim, rather, is that the (hyper) computational power of these machines is not related to supertasks, but to the {"}right kind{"} of computational structure.",

keywords = "Accelerating Turing machines, Halting function, Hyper computation, Relativistic machines, Supertasks, Turing machines",

author = "Oron Shagrir",

note = "Funding Information: Acknowledgments Thanks to the participants of the Workshop on Physics and Computation at Ponta Delgada (2009) and to three anonymous referees for corrections and suggestions. This research was supported by the Israel Science Foundation, grant 725/08.",

year = "2012",

month = mar,

doi = "10.1007/s11047-011-9280-y",

language = "אנגלית",

volume = "11",

pages = "51--58",

journal = "Natural Computing",

issn = "1567-7818",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Supertasks do not increase computational power

AU - Shagrir, Oron

N1 - Funding Information: Acknowledgments Thanks to the participants of the Workshop on Physics and Computation at Ponta Delgada (2009) and to three anonymous referees for corrections and suggestions. This research was supported by the Israel Science Foundation, grant 725/08.

PY - 2012/3

Y1 - 2012/3

N2 - It is generally assumed that supertasks increase computational power. It is argued, for example, that supertask machines can compute beyond the Turing limit, e.g., compute the halting function. We challenge this assumption. We do not deny that supertask machines can compute beyond the Turing limit. Our claim, rather, is that the (hyper) computational power of these machines is not related to supertasks, but to the "right kind" of computational structure.

AB - It is generally assumed that supertasks increase computational power. It is argued, for example, that supertask machines can compute beyond the Turing limit, e.g., compute the halting function. We challenge this assumption. We do not deny that supertask machines can compute beyond the Turing limit. Our claim, rather, is that the (hyper) computational power of these machines is not related to supertasks, but to the "right kind" of computational structure.

KW - Accelerating Turing machines

KW - Halting function

KW - Hyper computation

KW - Relativistic machines

KW - Supertasks

KW - Turing machines

UR - http://www.scopus.com/inward/record.url?scp=84857907855&partnerID=8YFLogxK

U2 - 10.1007/s11047-011-9280-y

DO - 10.1007/s11047-011-9280-y

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.systematicreview???

AN - SCOPUS:84857907855

SN - 1567-7818

VL - 11

SP - 51

EP - 58

JO - Natural Computing

JF - Natural Computing

IS - 1

ER -

Supertasks do not increase computational power

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this