Quantum logic as motivated by quantum computing
نویسندگان
چکیده
منابع مشابه
Quantum logic as motivated by quantum computing
Our understanding of Nature comes in layers, so should the development of logic. Classic logic is an indispensable part of our knowledge, and its interactions with computer science have recently dramatically changed our life. A new layer of logic has been developing ever since the discovery of quantum mechanics. G. D. Birkhoff and von Neumann introduced quantum logic in a seminal paper in 1936 ...
متن کاملEditors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
We begin by discussing the history of quantum logic, dividing it into three eras or “lives.” The first life has to do with Birkhoff and von Neumann’s algebraic approach in the 1930’s. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950’s and blossomed in the 1970’s. And the third life has to do with recent developments in quantum logic coming ...
متن کاملThe Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
We begin by discussing the history of quantum logic, dividing it into three eras or “lives.” The first life has to do with Birkhoff and von Neumann’s algebraic approach in the 1930’s. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950’s and blossomed in the 1970’s. And the third life has to do with recent developments in quantum logic coming ...
متن کاملQuantum Logic, Quantum Computing and Perspectives
In this paper we present the basic concepts of Quantum Computing and of Quantum Circuits (QC), based on previously done work and experiments. A detailed transition from Quantum Mechanics of elementary particles to Quantum Computing is presented. Basic well-known types of Quantum Gates (QG) and computing on them is presented and illustrated on explained results so as the Quantum logic synthesis ...
متن کاملLogic Synthesis for Quantum Computing
Today’s rapid advances in the physical implementation of quantum computers call for scalable synthesis methods to map practical logic designs to quantum architectures. We present a synthesis framework to map logic networks into quantum circuits for quantum computing. The synthesis framework is based on LUT networks (lookup-table networks), which play a key role in state-of-the-art conventional ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2005
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1120224716