Results 1  10
of
14
The many forms of hypercomputation
 Applied Mathematics and Computation
, 2006
"... This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess. ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
(Show Context)
This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess.
Computational universes
 Chaos, Solitons & Fractals
, 2006
"... Suspicions that the world might be some sort of a machine or algorithm existing “in the mind ” of some symbolic number cruncher have lingered from antiquity. Although popular at times, the most radical forms of this idea never reached mainstream. Modern developments in physics and computer science h ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
(Show Context)
Suspicions that the world might be some sort of a machine or algorithm existing “in the mind ” of some symbolic number cruncher have lingered from antiquity. Although popular at times, the most radical forms of this idea never reached mainstream. Modern developments in physics and computer science have lent support to the thesis, but empirical evidence is needed before it can begin to replace our contemporary world view.
Zeno machines and hypercomputation
 Theoretical Computer Science
"... This paper reviews the ChurchTuring Thesis (or rather, theses) with reference to their origin and application and considers some models of “hypercomputation”, concentrating on perhaps the most straightforward option: Zeno machines (Turing machines with accelerating clock). The halting problem is br ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
(Show Context)
This paper reviews the ChurchTuring Thesis (or rather, theses) with reference to their origin and application and considers some models of “hypercomputation”, concentrating on perhaps the most straightforward option: Zeno machines (Turing machines with accelerating clock). The halting problem is briefly discussed in a general context and the suggestion that it is an inevitable companion of any reasonable computational model is emphasised. It is suggested that claims to have “broken the Turing barrier ” could be toned down and that the important and wellfounded rôle of Turing computability in the mathematical sciences stands unchallenged.
On the Brightness of the Thomson Lamp. A Prolegomenon to Quantum Recursion Theory
, 2009
"... Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the physical limit has an operational meaning in agreement with the Abel sums of infinite series. The formal analogies to accele ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the physical limit has an operational meaning in agreement with the Abel sums of infinite series. The formal analogies to accelerated (hyper) computers and the recursion theoretic diagonal methods are discussed. As quantum information is not bound by the mutually exclusive states of classical bits, it allows a consistent representation of fixed point states of the diagonal operator. In an effort to reconstruct the selfcontradictory feature of diagonalization, a generalized diagonal method allowing no quantum fixed points is proposed.
SuperTasks, Accelerating Turing Machines and Uncomputability
"... Accelerating Turing machines are abstract devices that have the same computational structure as Turing machines, but can perform supertasks. I argue that performing supertasks alone does not buy more computational power, and that accelerating Turing machines do not solve the halting problem. To sh ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Accelerating Turing machines are abstract devices that have the same computational structure as Turing machines, but can perform supertasks. I argue that performing supertasks alone does not buy more computational power, and that accelerating Turing machines do not solve the halting problem. To show this, I analyze the reasoning that leads to Thomson's paradox, point out that the paradox rests on a conflation of different perspectives of accelerating processes, and conclude that the same conflation underlies the claim that accelerating Turing machines can solve the halting problem.
EXTENDING CANTOR’S PARADOX A CRITIQUE OF INFINITY AND SELFREFERENCE
, 809
"... Abstract. This paper examines infinity and selfreference from a critique perspective. Starting from an extension of Cantor Paradox that suggests the inconsistency of the actual infinite, the paper makes a short review of the controversial history of infinity and suggests several indicators of its i ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. This paper examines infinity and selfreference from a critique perspective. Starting from an extension of Cantor Paradox that suggests the inconsistency of the actual infinite, the paper makes a short review of the controversial history of infinity and suggests several indicators of its inconsistency. Semantic selfreference is also examined from the same critique perspective by comparing it with selfreferent sets. The platonic scenario of infinity and selfreference is finally criticized from a biological and neurobiological perspective. 1.
On the brightness of the Thomson lamp. A
, 904
"... prolegomenon to quantum recursion theory ..."
(Show Context)
THE ALEPHZERO OR ZERO DICHOTOMY (New and extended version with new arguments)
, 804
"... Abstract. This paper proves the existence of a dichotomy which being formally derived from the topological successiveness of ω ∗order leads to the same absurdity of Zeno’s Dichotomy II. It also derives a contradictory result from the first Zeno’s Dichotomy. ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. This paper proves the existence of a dichotomy which being formally derived from the topological successiveness of ω ∗order leads to the same absurdity of Zeno’s Dichotomy II. It also derives a contradictory result from the first Zeno’s Dichotomy.