Results 1  10
of
14
The Length of Infinite Time Turing Machine Computations
 Bulletin of the London Mathematical Society
"... We show that the halting times of infinite time Turing Machines (considered as ordinals coded by sets of integers) are themselves all capable of being halting outputs of such machines. This gives a clarification of the nature of "supertasks" or infinite time computations. The proof furt ..."
Abstract

Cited by 20 (8 self)
 Add to MetaCart
We show that the halting times of infinite time Turing Machines (considered as ordinals coded by sets of integers) are themselves all capable of being halting outputs of such machines. This gives a clarification of the nature of "supertasks" or infinite time computations. The proof further yields that the class of sets coded by outputs of halting computations coincides with a level of Godel's constructible hierarchy: namely that of L where is the supremum of halting times. A number of other open questions are thereby answered. 1 Introduction: Infinite Time Turing Machines Hamkins and Lewis in [4] give an account of the construction of these machines (first developed by Kidder and Hamkins in 1989) and develop the basic theory of this notion of computability. The reader should refer to this paper for a clear and full account of their basic properties, from which all the results and definitions of this introduction are taken. But to summarise: an infinite time Turing machine has...
Infinite time Turing machines with only one tape
 MLQ. Mathematical Logic Quarterly
, 2001
"... Abstract. Infinite time Turing machines with only one tape are in many respects fully as powerful as their multitape cousins. In particular, the two models of machine give rise to the same class of decidable sets, the same degree structure and, at least for functions f. R → N, the same class of com ..."
Abstract

Cited by 13 (4 self)
 Add to MetaCart
Abstract. Infinite time Turing machines with only one tape are in many respects fully as powerful as their multitape cousins. In particular, the two models of machine give rise to the same class of decidable sets, the same degree structure and, at least for functions f. R → N, the same class of computable functions. Nevertheless, there are infinite time computable functions f: R → R that are not onetape computable, and so the two models of infinitary computation are not equivalent. Surprisingly, the class of onetape computable functions is not closed under composition; but closing it under composition yields the full class of all infinite time computable functions. Finally, every ordinal which is clockable by an infinite time Turing machine is clockable by a onetape machine, except certain isolated ordinals that end gaps in the clockable ordinals. Infinite time Turing machines, introduced in [HamLew∞a], extend the usual operation of Turing machines into transfinite ordinal time. By doing so, they provide a model for supertask computations, computations involving infinitely many steps, and set the stage for a mathematical analysis of what is possible in principle to achieve via supertasks. For example, it is easy to see that every arithmetic set is decidable by such machines; a bit more sophistication reveals that every Π 1 1 set and more is supertask decidable. A rich degree structure has emerged on the class of reals and sets of reals, stratified by two natural jump operators. For this and more analysis we refer the reader to the small but rapidly growing body of literature on the subject: [HamLew∞a], [HamLew∞b], [Wel∞a], [Wel∞b] and [Wel98]. Let us review how the machines work. Using a threetape Turing machine model, with separate input, scratch and output tapes, an infinite time Turing machine progresses through the successor stages of computation just as an ordinary Turing machine does, according to the rigid instructions of a finite program running with
Ultimate truth vis à vis stable truth
 Journal of Philosophical Logic
, 2003
"... Abstract. We show that the set of ultimately true sentences in Hartry Field’s Revengeimmune solution to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger’s revision sequence starting from the null hypothesis. We further remark that this ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
Abstract. We show that the set of ultimately true sentences in Hartry Field’s Revengeimmune solution to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger’s revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second order number theory is needed to establish the semantic values of sentences over the ground model of the standard natural numbers: ¢¡Comprehension Axiom scheme) is insufficient. £¤¦¥¨ § (second order number theory with a ©��
Characteristics of discrete transfinite time Turing machine models: halting times, stabilization times, and . . .
, 2008
"... ..."
On the transfinite action of 1 tape Turing machines
 Computational Paradigms: Proceedings of CiE2005
, 2005
"... Abstract. • We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1tape. The reason for choosing this formalism is that it apparently yields a smoother classification of classes defined by algorithms that halt at limit ordinals. • We conside ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Abstract. • We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1tape. The reason for choosing this formalism is that it apparently yields a smoother classification of classes defined by algorithms that halt at limit ordinals. • We consider some relations of such classes with other similar notions, such as arithmetical quasiinductive definitions. • It is noted that the action of ω many steps of such a machine can correspond to the double jump operator (in the usual Turing sense): a−→ a ′ ′. • The ordinals beginning gaps in the “clockable ” ordinals are admissible ordinals, and the length of such gaps corresponds to the degree of reflection those ordinals enjoy. 1
Arithmetical quasiinductive definitions and the transfinite action of one tape Turing machines
, 2003
"... • We produce a classification of the pointclasses using infinite time turing machines with 1tape. The reason for choosing this formalism is that it apparently yields a smoother classification of classes defined by algorithms that halt at limit ordinals. • We consider some relations of such classes ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
• We produce a classification of the pointclasses using infinite time turing machines with 1tape. The reason for choosing this formalism is that it apparently yields a smoother classification of classes defined by algorithms that halt at limit ordinals. • We consider some relations of such classes with other similar notions, such as arithmetical quasiinductive definitions. • It is noted that the action of ω many steps of such a machine can correspond to the double jump operator (in the usual Turing sense): a− → a ′ ′. • The ordinals beginning gaps in the “clockable” ordinals are admissible ordinals, and the length of such gaps corresponds to the degree of reflection those ordinals enjoy.
Alternatively: Π 1
"... Abstract. We locate winning strategies for various Σ 0 3games in the Lhierarchy in order to prove the following: ..."
Abstract
 Add to MetaCart
Abstract. We locate winning strategies for various Σ 0 3games in the Lhierarchy in order to prove the following:
Theorem 2 KP +∆2Comprehension +Σ2Collection +AQI � ⊢Σ0 3Determinacy.
, 2007
"... We show that the theories: Π 1 3CA0, ∆ 1 3CA0+Σ 0 3Determinacy, ∆ 1 3CA0+AQI, and ∆ 1 3CA0 are in strictly descending order of strength. (Here AQI is the assertion that every arithmetical quasiinductive definition converges.) More precisely, we locate winning strategies for various Σ 0 3games ..."
Abstract
 Add to MetaCart
We show that the theories: Π 1 3CA0, ∆ 1 3CA0+Σ 0 3Determinacy, ∆ 1 3CA0+AQI, and ∆ 1 3CA0 are in strictly descending order of strength. (Here AQI is the assertion that every arithmetical quasiinductive definition converges.) More precisely, we locate winning strategies for various Σ 0 3games in the Lhierarchy in order to prove the following: Theorem 1 KP ⊢ Σ2Separation → ∃ a βmodel of ∆ 1 3CA0 + Σ 0 3
unknown title
, 2007
"... Weak systems of determinacy and arithmetical quasiinductive definitions. ..."
Abstract
 Add to MetaCart
Weak systems of determinacy and arithmetical quasiinductive definitions.