Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences · 2004 · 38 citations · 13 references
Natural SciencesMathematicsPhysicsMathematical PhysicsQuantum MechanicsTheoretical PhysicsComputability TheoryHilbert Space FormalismQuantum ComputationComputabilityEffective ComputabilityQuantum Propagator
Inspired by quantum mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetic into a problem involving either a set of infinitely coupled nonlinear differential equations or a Schrödinger propagator with some appropriate kernel.
13
Simulating physics with computers
Richard P. Feynman · International Journal of Theoretical Physics · 1982 · 7.5K citations
Ethan Bernstein, Umesh Vazirani · SIAM Journal on Computing · 1997 · 1.5K citations
Ethan Bernstein, Umesh Vazirani · 1993 · 1.3K citations
Computability and Unsolvability.
Calvin C. Elgot, Martin Davis · Mathematical Tables and Other Aids to Computation · 1959 · 1K citations