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
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