A reformulation of Hilbert's tenth problem through quantum mechanics
From MaRDI portal
Publication:4668198
DOI10.1098/RSPA.2003.1266zbMath1089.11068arXivquant-ph/0111063OpenAlexW1998410188MaRDI QIDQ4668198
Publication date: 18 April 2005
Published in: Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0111063
Decidability (number-theoretic aspects) (11U05) Quantum computation (81P68) General mathematical topics and methods in quantum theory (81Q99) Decidability of theories and sets of sentences (03B25)
Related Items (4)
A proof of the Geroch-Horowitz-Penrose formulation of the strong cosmic censor conjecture motivated by computability theory ⋮ Hypercomputation with quantum adiabatic processes ⋮ Methods of geometric control theory for quantum computations ⋮ Quantum principles and mathematical computability
This page was built for publication: A reformulation of Hilbert's tenth problem through quantum mechanics
