## 25 Citations

### Hypercomputation: Towards an extension of the classical notion of Computability?

- PhilosophyArXiv
- 2012

This thesis makes an analysis of the concept of Hypercomputation and of some hypermachines and attention is given to the possible physical realization of these machines and their usefulness.

### A Brief Critique of Pure Hypercomputation

- Computer ScienceMinds and Machines
- 2009

Hypercomputation—the hypothesis that Turing-incomputable objects can be computed through infinitary means—is ineffective, as the unsolvability of the halting problem for Turing machines depends just…

### On the Possibilities of Hypercomputing Supertasks

- Computer ScienceMinds and Machines
- 2011

It is concluded that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection or re-interpretation of the Church-Turing thesis in its traditional interpretation.

### Approximate Outputs of Accelerated Turing Machines Closest to Their Halting Point

- Computer ScienceACIIDS
- 2019

This paper addresses the issue of defining the output of a machine close or at the halting point and supports this analysis by reasoning on Thomson’s paradox and by looking closely the result of the Twin Prime conjecture.

### Zeno machines and Running Turing machine for infinite time

- BusinessArXiv
- 2014

It is proved that the halting problem algorithm for every Turing-recognizable program and every input cannot be devised whatever method is used to exploit infinite running-time of Turing machine.

### Ultrafilter and Non-standard Turing Machines

- Computer ScienceUC
- 2008

The main problem is the problem of defining the output, or final message, of a machine which has run for a countably infinite number of steps, and a modest scheme, using non-standard numbers, is proposed.

### Zeno Squeezing of Cellular Automata

- Computer ScienceInt. J. Unconv. Comput.
- 2010

The main definitions and propositions are surveyed and new results regarding the indeterminism of self-similar cellular automata are added.

### Series A Note on Accelerated Turing Machines

- Computer Science
- 2009

In this note we prove that any Turing machine which uses only a finite computational space for every input cannot solve an uncomputable problem even in case it runs in accelerated mode. 1.…

### A note on accelerated Turing machines

- Computer ScienceMathematical Structures in Computer Science
- 2010

It is proved that any Turing machine that uses only a finite computational space for every input cannot solve an uncomputable problem even when it runs in accelerated mode, and two ways to define the language accepted by an accelerated Turing machine are proposed.

## References

SHOWING 1-10 OF 66 REFERENCES

### The Diagonal Method and Hypercomputation

- MathematicsThe British Journal for the Philosophy of Science
- 2005

It is demonstrated why a contradiction only occurs if a type of machine can compute its own diagonal function, and why such a situation does not occur for the methods of hypercomputation under attack, andwhy it is unlikely to occur for any other serious methods.

### The Myth of Hypercomputation

- Mathematics
- 2004

Under the banner of “hypercomputation” various claims are being made for the feasibility of modes of computation that go beyond what is permitted by Turing computability. In this article it will be…

### Non-Turing Computations Via Malament–Hogarth Space-Times

- Computer Science
- 2001

It is argued that there are several distinguished Church–Turing-type theses (not only one) and validity of some of these theses depend on the background physical theory the authors choose to use, and if they choose classical general relativity theory as their background theory, then certain forms of the Church-Turing thesis cease to be valid.

### The Church-Turing Thesis: Breaking the Myth

- Computer ScienceCiE
- 2005

This paper identifies and analyzes the historical reasons for widespread belief that no model of computation more expressive than Turing machines can exist, and presents one such model, Persistent Turing Machines (PTMs), which capture sequential interaction, which is a limited form of concurrency.

### Accelerating Turing Machines

- BusinessMinds and Machines
- 2004

It is argued that accelerating Turing machines are not logically impossible devices, and there are implications concerning the nature of effective procedures and the theoretical limits of computability.

### Hypercomputation and the Physical Church‐Turing Thesis

- Philosophy, Computer ScienceThe British Journal for the Philosophy of Science
- 2003

A version of the Church‐Turing Thesis states that every effectively realizable physical system can be defined by Turing Machines (‘Thesis P’); in this formulation the Thesis appears an empirical,…

### Classical physics and the Church--Turing Thesis

- PhysicsJACM
- 2003

In this article, it is observed that there is fundamental tension between the Extended Church--Turing Thesis and the existence of numerous seemingly intractable computational problems arising from classical physics.