DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ziegler, Martin | ko |
dc.date.accessioned | 2016-04-12T07:51:37Z | - |
dc.date.available | 2016-04-12T07:51:37Z | - |
dc.date.created | 2015-09-17 | - |
dc.date.created | 2015-09-17 | - |
dc.date.issued | 2009-10 | - |
dc.identifier.citation | APPLIED MATHEMATICS AND COMPUTATION, v.215, no.4, pp.1431 - 1447 | - |
dc.identifier.issn | 0096-3003 | - |
dc.identifier.uri | http://hdl.handle.net/10203/203393 | - |
dc.description.abstract | 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. | - |
dc.language | English | - |
dc.publisher | ELSEVIER SCIENCE INC | - |
dc.subject | NEWTONIAN SYSTEMS | - |
dc.subject | QUANTUM LOGIC | - |
dc.subject | REAL NUMBERS | - |
dc.subject | MACHINES | - |
dc.subject | THESIS | - |
dc.subject | LIMITS | - |
dc.subject | HYPERCOMPUTATION | - |
dc.subject | UNDECIDABILITY | - |
dc.subject | COMPUTABILITY | - |
dc.subject | SPACE | - |
dc.title | Physically-relativized Church-Turing Hypotheses: Physical foundations of computing and complexity theory of computational physics | - |
dc.type | Article | - |
dc.identifier.wosid | 000270417900012 | - |
dc.identifier.scopusid | 2-s2.0-77955305323 | - |
dc.type.rims | ART | - |
dc.citation.volume | 215 | - |
dc.citation.issue | 4 | - |
dc.citation.beginningpage | 1431 | - |
dc.citation.endingpage | 1447 | - |
dc.citation.publicationname | APPLIED MATHEMATICS AND COMPUTATION | - |
dc.identifier.doi | 10.1016/j.amc.2009.04.062 | - |
dc.contributor.localauthor | Ziegler, Martin | - |
dc.type.journalArticle | Article; Proceedings Paper | - |
dc.subject.keywordAuthor | Church-Turing Hypothesis | - |
dc.subject.keywordAuthor | Structuralism in physics | - |
dc.subject.keywordPlus | NEWTONIAN SYSTEMS | - |
dc.subject.keywordPlus | QUANTUM LOGIC | - |
dc.subject.keywordPlus | REAL NUMBERS | - |
dc.subject.keywordPlus | MACHINES | - |
dc.subject.keywordPlus | THESIS | - |
dc.subject.keywordPlus | LIMITS | - |
dc.subject.keywordPlus | HYPERCOMPUTATION | - |
dc.subject.keywordPlus | UNDECIDABILITY | - |
dc.subject.keywordPlus | COMPUTABILITY | - |
dc.subject.keywordPlus | SPACE | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.