Physically-relativized Church-Turing Hypotheses: Physical foundations of computing and complexity theory of computational physics

Cited 13 time in webofscience Cited 0 time in scopus
  • Hit : 341
  • Download : 0
We turn the physical Church-Turing Hypothesis from an ambiguous source of sensational speculations into a (collection of) sound and well-defined scientific problem(s): Examining recent controversies and causes for misunderstanding concerning the state of the Church-Turing Hypothesis (CTH), it is suggested to study the CTH 'sharpened' relative to an arbitrary but specific physical theory - rather than vaguely referring to "nature" in general. For this purpose we apply, and emphasize the utility of, concepts from philosophy: physical structuralism, ontological commitment, and constructivism. This general approach is then illustrated with some exemplary results on computability and complexity theory in computational physics. (C) 2009 Elsevier Inc. All rights reserved.
Publisher
ELSEVIER SCIENCE INC
Issue Date
2009-10
Language
English
Article Type
Article; Proceedings Paper
Keywords

NEWTONIAN SYSTEMS; QUANTUM LOGIC; REAL NUMBERS; MACHINES; THESIS; LIMITS; HYPERCOMPUTATION; UNDECIDABILITY; COMPUTABILITY; SPACE

Citation

APPLIED MATHEMATICS AND COMPUTATION, v.215, no.4, pp.1431 - 1447

ISSN
0096-3003
DOI
10.1016/j.amc.2009.04.062
URI
http://hdl.handle.net/10203/203393
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 13 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0