125

Introducing Einstein’s relativity
– R D’Inverno
 1992

35

The ChurchTuring Thesis as a Guiding Principle for Physics
– Karl Svozil

62

Quantum Algorithm For Hilberts Tenth Problem
– Tien D Kieu
 2003

27

The myth of hypercomputation
– M Davis
 2003

73

Recursion Theory on the Reals and Continuoustime Computation
– Cristopher Moore
 1995

568

A Decision Method for Elementary Algebra and Geometry
– A Tarski
 1948

393

Simulating Physics with Computers
– Richard Feynman, Peter W. Shor
 1982

75

A.Lewis, Infinite time turing machines
– Joel David Hamkins, Andy Lewis

1161

On computable numbers with an application to the Entscheidungsproblem
– A Turing
 1936

29

An analog characterization of the Grzegorczyk hierarchy
– Manuel Lameiras Campagnolo, Cristopher Moore
 2002

34

Analog computers and recursive functions over the reals
– Daniel Silva Graça, José Félix Costa
 2003

67

Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers
– M B PourEl
 1974

1239

The large scale structure of spacetime
– S W Hawking, G F R Ellis
 1973

26

Achilles and the Tortoise climbing up the hyperarithmetical hierarchy
– Olivier Bournez
 1997

308

Classical Recursion Theory
– P Odifreddi
 1989

43

general relativity allow an observer to view an eternity in a finite time
– Mark L. Hogarth
 1992

30

Computing the noncomputable
– Tien D Kieu

708

A logical calculus of ideas immanent in nervous activity
– W S McCulloch, W Pitts
 1943

482

Quantum complexity theory
– Ethan Bernstein, Umesh Vazirani
 1993
