Measurement-based quantum computation and undecidable logic

DOI10.1007/s10701-008-9212-6zbMath1140.81342arXivquant-ph/0610040OpenAlexW2005587022MaRDI QIDQ930147

Hans J. Briegel, Maarten Van den Nest

Publication date: 23 June 2008

Published in: Foundations of Physics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/quant-ph/0610040

zbMATH Keywords

LogicQuantum computationQuantum information theory

Mathematics Subject Classification ID

Quantum computation (81P68) Undecidability and degrees of sets of sentences (03D35) Classical propositional logic (03B05)

Related Items (2)

Undecidability of the Spectral Gap ⋮ Epistemic horizons and the foundations of quantum mechanics

Cites Work

• Vertex-minors, monadic second-order logic, and a conjecture by Seese
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• On the role of entanglement in quantum-computational speed-up

This page was built for publication: Measurement-based quantum computation and undecidable logic