Journal of Symbolic Logic 43 (4):667-672 (1978)
We study the measure independent character of Godel speed-up theorems. In particular, we strengthen Arbib's necessary condition for the occurrence of a Godel speed-up [2, p. 13] to an equivalence result and generalize Di Paola's speed-up theorem . We also characterize undecidable theories as precisely those theories which possess consistent measure independent Godel speed-ups and show that a theory τ 2 is a measure independent Godel speed-up of a theory τ 1 if and only if the set of undecidable sentences of τ 1 which are provable in τ 2 is not recursively enumerable
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel.Andrzej Mostowski - 1952 - Greenwood Press.
Abstract Complexity Theory and the Mind-Machine Problem.Albert E. Lyngzeidetson & Martin K. Solomon - 1994 - British Journal for the Philosophy of Science 45 (2):549-54.
Light-Speed Constancy Versus Light-Speed Invariance in the Derivation of Relativistic Kinematics.Harvey R. Brown & Adolfo Maia Jr - 1993 - British Journal for the Philosophy of Science 44 (3):381-407.
On the Philosophical Relevance of Gödel's Incompleteness Theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
What is More Explanatory, Processing Capacity or Processing Speed?Nelson Cowan - 1998 - Behavioral and Brain Sciences 21 (6):835-836.
Independent Judgment-Linked and Motor-Linked Forms of Artificial Grammar Learning.C. A. Seger - 1998 - Consciousness and Cognition 7 (2):259-284.
Gödel and 'the Objective Existence' of Mathematical Objects.Pierre Cassou-Noguès - 2005 - History and Philosophy of Logic 26 (3):211-228.
Un Apparente Paradosso Relativistico Connesso Con le Masse in Moto.Giuseppe Antoni - 1986 - Theoria 2 (1):181-185.
Added to index2009-01-28
Total downloads9 ( #459,889 of 2,164,288 )
Recent downloads (6 months)1 ( #348,039 of 2,164,288 )
How can I increase my downloads?