A.Lewis, Infinite time turing machines

by Joel David Hamkins , Andy Lewis
Venue:Journal of Symbolic Logic
Citations:75 - 5 self

Active Bibliography

Supertask Computation – Benedikt Löwe, Wolfgang Malzkorn, Thoralf Räsch, Joel David Hamkins - 2002
3 Characteristics of discrete transfinite time Turing machine models: halting times, stabilization times, and . . . – P.D. Welch - 2008
4 Infinite time computable model theory – Joel David Hamkins, Russell Miller, Daniel Seabold, Steve Warner
1 Abstract Super-Tasks, Accelerating Turing Machines and Uncomputability – Oron Shagrir
Discrete transfinite computation models – P. D. Welch
Can new physics challenge “old ” computational barriers? – István Németi, Hajnal Andréka
4 General relativistic hypercomputing and foundation of mathematics – Hajnal Andréka, István Németi, Péter Németi
66 Non-Turing computations via Malament-Hogarth space-times – Gábor Etesi, István Németi - 2002
Transfinite Machine Models – P. D. Welch - 2011
7 Predictability, Computability and Spacetime – Mark Hogarth, George Boolos, Tim Budden, Rob Clifton, John Earman, Bob Geroch, Joseph Melia, John Norton, Michael Redhead, Adrian Stanley - 2002
10 Deciding arithmetic in Malament–Hogarth spacetimes – Mark Hogarth - 2001
The extent of computation in Malament-Hogarth – unknown authors - 2008
10 P ̸= NP∩co-NP for infinite time turing machines – Vinay Deolalikar, Joel David Hamkins, Ralf-dieter Schindler - 2005
1 ZENO MEETS MODERN SCIENCE – Z. K. Silagadze - 2005
2 Arithmetical quasi-inductive definitions and the transfinite action of one tape Turing machines. typescript – P. D. Welch - 2004
2 On the transfinite action of 1 tape Turing machines – P. D. Welch - 2005
1 Space bounds for infinitary computation – Benedikt Löwe
22 RELATIVISTIC COMPUTERS AND THE TURING Barrier – István Németi, Gyula Dávid - 2006
16 The many forms of hypercomputation – Toby Ord - 2006