Gabor Etesi Yukawa Institute for Theoretical Physics, Kyoto University,...  Home/Search
Context Related
| mathinst.hu/pub/algebraic...turing.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mathinst.hu/pub/algeb...Contents (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate the Church{Kalmar{Kreisel{Turing Theses concerning theoretical (necessary) limitations of future computers and of deductive sciences, in view of recent results of classical general relativity theory. We argue that (i) there are several distinguished Church{Turing-type Theses (not only one) and (ii) validity of some of these theses depend on the background physical theory we choose to use. In particular, if we choose classical general relativity theory as our background... (Update)
Context of citations to this paper: More
.... 1 Introduction Recently various proposals to break Turing Barrier (see [13, 43, 8, 10] have been discussed in a series of papers [18, 12, 25]. The common denominator of all approaches is the essential use of some physical theory, relativity theory in [18] quantum theory...
Cited by: More
Computing with Cells and Atoms: After Five Years - Calude, Paun (2004) (Correct)
Bio-Steps Beyond Turing - Calude, Paun (2004) (Correct)
Incompleteness, Complexity, Randomness and Beyond - Calude (2002) (Correct)
Active bibliography (related documents): More All
0.5: Logic and Relativity (in the light of definability theory) - Madarasz (2002) (Correct)
0.4: Set Theory and Physics - Svozil (1995) (Correct)
0.2: List of Axioms and Axiom Systems - Oldalsz Amokat Ellen (Correct)
Similar documents based on text: More All
0.9: Geometric interpretation of Schwarzschild instantons - Etesi, Hausel (2001) (Correct)
0.3: Geometry of the moduli space of Higgs bundles - Hausel (1998) (Correct)
0.3: Thomson's Lamp is Dysfunctional - McLaughlin (1997) (Correct)
Related documents from co-citation: More All
4: Quantum algorithm for the Hilbert's tenth problem (context) - Kieu - 2001
4: International Workshop (context) - Martn-Vide, Paun et al.
4: Quantum Information Processing (context) - Calude, Pavlov - 2002
BibTeX entry: (Update)
G. Etesi, I. Nemeti. Non-Turing computations via Malament-Hogarth space-times, International Journal of Theoretical Physics 41 (2002), 341--370. http://citeseer.ist.psu.edu/610406.html More
@misc{ etesi02nonturing,
author = "G. Etesi and I. Nemeti",
title = "Non-Turing computations via Malament-Hogarth space-times",
text = "G. Etesi, I. Nemeti. Non-Turing computations via Malament-Hogarth space-times,
International Journal of Theoretical Physics 41 (2002), 341--370.",
year = "2002",
url = "citeseer.ist.psu.edu/610406.html" }
Citations (may not include all citations):5 Church's Thesis and principles for mechanics (context) - Gandy - 1980
4 the logical structure of relativity theories (context) - eka, Madar et al. - 2000
4 Forever is a day: supertasks in Pitowsky and Malament{Hogart.. (context) - Earman, Norton - 1993
1 whimpers and shrieks (context) - Earman - 1995
1 Are physical objects necessarily burnt up by the blue sheet .. - Burko, Ori - 1995
1 In nite pains: the problem with supertask (context) - Earman, Norton - 1996
1 Comments on Laraudogoitia's \Classical particle dynamics (context) - Earman, Norton - 1998
http://www.wins.uva.nl/~j50/cdrom
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math-inst.hu/pub/algebraic-logic/Contents.html): More
Algebraizations Of Quantifier Logics, An Introductory Overview - Nemeti (1991) (Correct)
List of Axioms and Axiom Systems - Oldalsz Amokat Ellen (Correct)
Logical Analysis of Special Relativity Theory - Andréka.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC