Abstract:Using nonstandard analysis, we will extend the classical Turing machines into the internal Turing machines. The internal Turing machines have the capability to work with infinite ($*$-finite) number of bits while keeping the finite combinatoric structures of the classical Turing machines. We will show the following. The internal deterministic Turing machines can do in $*$-polynomial time what a classical deterministic Turing machine can do in an arbitrary finite amount of time. Given an element of $<M;x>\in HALT$ (more precisely, the $*$-embedding of $HALT$), there is an internal deterministic Turing machine which will take $<M;x>$ as input and halt in the $"yes"$ state. The language ${}^*Halt$ can not be decided by the internal deterministic Turing machines. The internal deterministic Turing machines can be viewed as the asymptotic behavior of finite precision approximation to real number computations. It is possible to use the internal probabilistic Turing machines to simulate finite state quantum mechanics with infinite precision. This simulation suggests that no information can be transmitted instantaneously and at the same time, the Turing machine model can simulate instantaneous collapse of the wave function. The internal deterministic Turing machines are powerful, but if $P \neq NP$, then there are internal problems which the internal deterministic Turing machines can solve but not in $*$-polynomial time.

The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines

The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $α$-register machines

Cardinal-Recognizing Infinite Time Turing Machines

Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines

Internal Turing Machines

Algorithmic Randomness for Infinite Time Register Machines

Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals

Recognizable Realizability

Randomness and Degree Theory for Infinite Time Register Machines

Incompleteness theorems via Turing category

Noncomputable functions in the Blum-Shub-Smale model

A Strong Version of Cobham's Theorem

Kleene Theorem for Higher-Dimensional Automata

Nondeterministic infinite time Turing machines

A Busy Beaver Problem for Infinite-Time Turing Machines

A Note on OTM-Realizability and Constructive Set Theories

Exploring the abyss in Kleene's computability theory

Conway's cosmological theorem and automata theory

A correspondence between the time and space complexity

Proof of Conway's Lost Cosmological Theorem