Quantum logic (original) (raw)
量子論理（りょうしろんり、quantum logic）とは、量子論において見られる現象と相似するような形式論理の体系で、分配律が成り立たない無限多値の論理である。とジョン・フォン・ノイマンの1936年の論文に始まり、1960年代に直交モジュラー束（orthomodular lattice）の研究と並行して多くの研究成果が出された。
| Property | Value |
|---|---|
| dbo:abstract | في ميكانيكا الكم، منطق الكم هو مجموعة من القواعد للتفكير في المقترحات التي تأخذ مبادئ نظرية الكم في الاعتبار. نشأت هذه المنطقة البحثية واسمها في ورقة 1936 من إعداد غاريت بيرخوف وجون فون نيومان، اللذين كانا يحاولان التوفيق بين التناقض الظاهري للمنطق الكلاسيكي مع الحقائق المتعلقة بقياس المتغيرات التكميلية في ميكانيكا الكم، مثل الموقع والزخم. يمكن صياغة المنطق الكمي إما كنسخة معدلة من المنطق المقترح أو منطق كثير القيمغير تبادلي وغير ارتباطي. تم اقتراح المنطق الكمي باعتباره المنطق الصحيح للاستدلال المقترح بشكل عام، وعلى الأخص الفيلسوف هيلاري بوتنام، على الأقل في مرحلة واحدة من حياته المهنية. كانت هذه الأطروحة مكونًا مهمًا في بحث بوتنام لعام 1968 «هل المنطق تجريبي؟» حيث قام بتحليل الحالة المعرفية لقواعد المنطق الافتراضي. ينسب بوتنام فكرة أن الشذوذات المرتبطة بالقياسات الكمية تنشأ مع الشذوذات في منطق الفيزياء نفسه إلى الفيزيائي ديفيد فينكلستين. ومع ذلك، كانت هذه الفكرة موجودة لبعض الوقت وتم إحياءها قبل عدة سنوات من خلال عمل جورج ماكي بشأن تمثيل المجموعات والتماثل. لكن الرأي الأكثر شيوعًا فيما يتعلق بالمنطق الكمومي، هو أنه يوفر شكلاً رسميًا فيما يتعلق بالملاحظات ذات الصلة، ومرشحات إعداد النظام والحالات. في هذا الرأي، يشبه النهج المنطقي الكمومي بشكل أو بآخر النهج الجبرالي في ميكانيكا الكم. إن أوجه التشابه في الشكلية المنطقية الكمومية لنظام المنطق الاستنتاجي يمكن اعتبارها فضولاً أكثر منها حقيقة ذات أهمية فلسفية أساسية. يتمثل الأسلوب الأكثر حداثة في بنية المنطق الكمومي في افتراض أنه مخطط - بمعنى نظرية الفئة - للمنطق الكلاسيكي (انظر ديفيد إدواردز). (ar) En kvantuma mekaniko, kvantuma logiko estas serio de reguloj por rezonado pri propozicioj kiuj sekvas la principojn de kvantuma teorio. Tiu esplorareo kaj ties nomo originiĝis en artikolo de 1936 de Garrett Birkhoff kaj John von Neumann, kiuj estis klopodante rekongruigi la ŝajnan nekonsistecon de la klasika logiko kun la fakto rilataj al la mezurado de komplementaj variabloj en kvantuma mekaniko, tiel kiel pozicio kaj momanto. Kvantuma logiko povas esti formulata ĉu kiel modifita versio de propozicia logiko aŭ kiel nekomutativa kaj ne-asocia plurvalora logiko. Kvantuma logiko estis proponita kiel la ĝusta logiko por la propozicia inferenco ĝenerale, plej rimarkinde fare de la filozofo Hilary Putnam, almenaŭ je unu momento de sia kariero. Tiu tezo estis grava ingredienco en la artikolo de Putnam de 1968 nome "Is Logic Empirical?" en kiu li analizis la epistemologian statuson de la reguloj de propozicia logiko. Putnam atribuas la ideon ke anomalioj asociaj al kvantumaj mezuroj originitaj kun anomalioj en la logiko de fiziko mem al la fizikisto David Finkelstein. Tamen, tiu ideo estis en la aero dum iom da tempo kaj estis revivigita kelkajn jarojn pli frue fare de George Mackey per sia verko pri grupa prezento kaj simetrio. (eo) En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas. Ejemplos de tales proposiciones son aquellas relativas al momento lineal o a la posición en el espacio de un electrón. La lógica cuántica puede considerarse como un sistema formal paralelo al cálculo proposicional de la lógica clásica, donde en esta última, las operaciones para combinar proposiciones son las conectivas lógicas y los predicados entre proposiciones son equivalencia e implicación. La lógica cuántica fue creada con el propósito de tratar matemáticamente las anomalías relativas a la medición, como el principio de incertidumbre, en la mecánica cuántica. Estas surgen por la medición simultánea de observables complementarios en escalas atómicas. La expresión "lógica cuántica" también se refiere a la rama interdisciplinária de física, matemática, lógica y filosofía que estudia el formalismo y las bases empíricas de estas reglas algebraicas. Cabe destacar que la lógica cuántica es una disciplina científica independiente y con objetivos diferentes a los de la informática cuántica, aunque ambas dependen, por supuesto, de la física cuántica. (es) Als Quantenlogik (englisch quantum logic) werden Versuche bezeichnet, ein logisches System zu formulieren, das den Prinzipien der Quantenmechanik gerecht wird. Die Strukturen der Quantenphysik wirken paradox und sind teilweise schwer nachzuvollziehen. Fragestellungen wie die, ob Schrödingers Katze lebt, fordern das Verständnis heraus. Im Kontext der mathematischen Strukturen der Schrödingergleichung und der Heisenbergschen Unschärferelation wurde deshalb eine Logik gesucht, die Deutungen der Quantenmechanik wie dem Komplementaritätsprinzip oder dem Korrespondenzprinzip nachempfunden ist. Dazu musste die herkömmliche Logik modifiziert werden. Es gibt im Wesentlichen drei verschiedene Ansätze zur Quantenlogik: * John von Neumann und Garrett Birkhoff entdeckten als erste in den mathematischen Strukturen der Quantenphysik (Hilbertraum, Hamiltonoperator) eine von der bis dahin üblichen Booleschen Algebra abweichende so genannte orthomodulare Logik. * Hans Reichenbach und andere entwickelten aus einer Wahrscheinlichkeitslogik eine dreiwertige Quantenlogik mit den Wahrheitswerten wahr, falsch und unbestimmt. * Peter Mittelstaedt, Ernst-Walther Stachow und Carl Friedrich von Weizsäcker entwickelten die dialogische Logik zu einer zeitlichen Logik der Quantenprozesse um. Hilary Putnam nahm 1968 die Quantenlogik zum Anlass, die a-priori-Geltung logischer Gesetze insgesamt in Frage zu stellen, was eine Debatte um den Status logischer und algebraischer Gesetzmäßigkeiten auslöste. (de) La logique quantique est la base de raisonnements et conclusions en accord avec les postulats de la mécanique quantique. En particulier, les observables n'étant pas forcément commutatives, le théorème d'Heisenberg (cf. le principe d'incertitude), entraîne la notion d'intricats, notion purement quantique comme l'illustre celle de chat mort & vivant du célèbre paradoxe du chat de Schrödinger. John von Neumann a montré, en réfléchissant aux fondations de la mécanique quantique, que la logique d'Aristote (cf. Organon) était en contradiction avec la logique quantique. En particulier la notion du tiers exclu n'existe pas en logique quantique. George Mackey, puis (en) ont développé ces réflexions, puis beaucoup d'autres. (fr) In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The field takes as its starting point an observation of Garrett Birkhoff and John von Neumann, that the structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated structure. Quantum logic has been proposed as the correct logic for propositional inference generally, most notably by the philosopher Hilary Putnam, at least at one point in his career. This thesis was an important ingredient in Putnam's 1968 paper "Is Logic Empirical?" in which he analysed the epistemological status of the rules of propositional logic. Modern philosophers reject quantum logic as a basis for reasoning, because it lacks a material conditional; a common alternative is the system of linear logic, of which quantum logic is a fragment. Mathematically, quantum logic is formulated by weakening the distributive law for a Boolean algebra, resulting in an orthocomplemented lattice. Quantum-mechanical observables and states can be defined in terms of functions on or to the lattice, giving an alternate formalism for quantum computations. (en) 量子論理（りょうしろんり、quantum logic）とは、量子論において見られる現象と相似するような形式論理の体系で、分配律が成り立たない無限多値の論理である。とジョン・フォン・ノイマンの1936年の論文に始まり、1960年代に直交モジュラー束（orthomodular lattice）の研究と並行して多くの研究成果が出された。 (ja) 논리학과 양자역학에서 양자 논리(量子論理, 영어: quantum logic)는 양자역학의 상태 공간의 대수적인 이론을 논리학적으로 해석하는 이론이다. 양자 논리는 고전 논리(불 대수)와 여러 성질들을 공유하지만, 고전 논리의 분배법칙이 양자 논리에서는 일반적으로 성립하지 않는다. (ko) Em Física Matemática, lógica quântica é um conjunto de regras para o raciocínio relativo a uma classe proposições para as quais os princípios da teoria quântica são considerados. Esta área de pesquisa e este nome originaram-se em uma publicação de 1936 de Garrett Birkhoff e John von Neumann, que tentaram reconciliar a aparente inconsistência da lógica booleana clássica com os fatos relacionados as medições de na mecânica quântica, tais como a posição e o momento. A lógica quântica pode ser formulada como uma versão modificada da lógica proposicional ou como uma não comutativa. Dentro das propriedades que claramente a distinguem da lógica clássica,encontra-se a falha da da lógica proposicional. p e (q ou r) = (p e q) ou (p e r), Onde os símbolos p, q e r são variáveis proposicionais. Para ilustrar como a lei distribuitiva falha, considere-se uma partícula movendo em uma reta e tendo: p = "a partícula está se movendo para a direita"q = "a partícula está no intervalo [-1,1]"r = " a partícula não está no intervalo [-1,1]" Se a proposição "q ou r" é verdadeira, então p e (q or r) = p Por outro lado, as proposições "p e q" e "p e r" são ambas falsas, desde que elas se referem simultaneamente a valores de posição e momento, o que não é permitido pelo principio da incerteza. Então, (p e q) ou (p e r) = falso Portanto a lei distributiva falha. (pt) Квантовая логика — раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории. Эта область исследований была основана в 1936 году работой Гарита Бирхофа и Джона фон Неймана, которые пытались примирить очевидную несогласованность классической логики с фактами по поводу измерения дополнительных переменных в квантовой механике, как например координата и импульс. Квантовая логика может быть сформулирована как измененная версия логики высказываний. Она имеет несколько свойств, которые отличают её от классической логики. В частности, отсутствие дистрибутивности: , где символы , и — . Чтобы проиллюстрировать, почему дистрибутивный закон не работает, рассмотрим движущуюся по прямой частицу. Далее, пусть логические переменные , и имеют следующие значения: * «частица двигается вправо»; * «частица слева от начала координат»; * «частица справа от начала координат». Тогда предложение «» всегда верно, точно как и С другой стороны, «» и «» неверны, так как требуют более жёстких условий одновременных значений позиции и инерции, что не возможно по принципу неопределённости Гейзенберга. Поэтому и дистрибутивность не может существовать. Представьте лабораторию, которая имеет аппаратуру, необходимую для измерения скорости пули, выпущеной из огнестрельного оружия. Тщательно подбирая условия (температуру, влажность, давление и т.д.), необходимо неоднократно выстрелить из одного и того же оружия и провести измерения скоростей. Это даст некоторое распределение скоростей. Однако мы не будем стремиться получить тем же образом эти значения для каждого индивидуального измерения, для каждой группы измерений; мы ожидаем, что эксперимент приводит к такому же распределению скоростей. В частности, мы можем ожидать распределения вероятностей предложениям, например, { a ≤ скорость ≤ b}. Поэтому естественно предложить, что при контролируемых условиях подготовки измерение классической системы можно описать мерой вероятности на пространстве состояний. Такая же статистическая структура также присутствует в квантовой механике.Для более подробной информации о статистике квантовых систем, смотрите учебные пособия по квантовой статистической механике. (ru) Квантова логіка — набір правил логіки для роботи з системами, що потребують урахування квантових законів. Вона часто називається сучасною основою, або структурою квантових розрахунків. Звичайна булева логіка не застосовна для квантових розрахунків з огляду на вимогу зворотності квантових процесів. Квантова механіка вимагає щоб за результатом дії можна було б однозначно визначити початкові операнди. Наприклад, якщо в звичайній логіці результат операції АБО — істина, то можна зробити висновок, що хоча б один з двох операндів мав значення істинності. Точно визначити, який із них був істинним, чи, можливо, істинними були обидва, — неможливо. Така ситуація недопустима в квантовій механіці, тому операція АБО не може бути реалізованою квантовим комп'ютером. З огляду на це квантова логіка користується іншими логічними операціями, які мають властивості оборотності. Квантова логіка пропонувалася як правильна логіка висловлювань взагалі, зокрема таку думку підтримував філософ Гіларі Патнем, принаймні в одній точці у своїй кар'єрі. Ця теза була важливою складовою в роботі Патнема Is Logic Empirical?, в якій він проаналізував епістемологічний статус правил логіки висловлювань. Гіларі Патнем назвав фізика автором думки, що аномалії, пов'язані з квантовими вимірюваннями, властиві самій логіці фізики. Однак, ця ідея вже існувала деякий час, її відродив в роботі 1963 року щодо теорії представлень груп симетрії. Проте, загальніша точка зору відносно квантової логіки полягає в тому, що вона надає формалізм для зіставлення квантових спостережуваних, фільтрів системи підготовки та станів. Подібність квантового логічного формалізму до системи дедуктивної логіки можна розглядати радше як курйоз, ніж як факт фундаментального філософського значення. (uk) |
| dbo:wikiPageExternalLink | https://archive.org/details/HilaryPutnam-ContemporaryPhilosophyInFocus https://archive.org/details/foundations-of-quantum-mechanics-i-g.-ludwig-c.-a.-hein https://archive.org/details/mathematicalfoun0000unse_t7f9 https://archive.org/details/mathematicalfoun0000vonn https://arxiv.org/abs/cs/0508005 https://arxiv.org/abs/quant-ph/0101028 https://www.jstor.org/stable/j.ctt1wq8zhp https://www.jstor.org/stable/pdf/1968621.pdf http://perso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/Handbook_of_Quantum_Logic_2009.pdf http://us.metamath.org/qleuni/mmql.html http://www.fulviofrisone.com/attachments/article/451/the%20logic%20of%20quantum%20mechanics%201936.pdf http://dx.doi.org/10.1007/978-3-642-70029-3 http://dx.doi.org/10.1017/CBO9780511614187.006 http://dx.doi.org/10.2307/1968621 https://core.ac.uk/download/pdf/25303784.pdf https://hdl.handle.net/2027/mdp.39015001329567 http://wrap.warwick.ac.uk/61398/7/WRAP_cs-rr-416.pdf |
| dbo:wikiPageID | 663426 (xsd:integer) |
| dbo:wikiPageLength | 35618 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124616036 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Belavkin_equation dbr:Quantum_field_theory dbr:Quantum_mechanics dbr:Quantum_state dbr:Modal_logic dbr:Monotonicity_of_entailment dbr:Quantum_contextuality dbr:Boolean_operator_(Boolean_algebra) dbr:David_Finkelstein dbr:John_von_Neumann dbr:Uncertainty_principle dbr:Viacheslav_Belavkin dbr:De_Morgan's_laws dbr:Decidability_(logic) dbr:Deep_inference dbr:Dynamics_(mechanics) dbr:Infinitary_logic dbr:Quasi-set_theory dbr:Quantum_probability dbc:Quantum_mechanics dbr:Commutative dbr:Compact_support dbr:Copenhagen_interpretation dbr:Material_conditional dbr:Mathematical_formulation_of_quantum_mechanics dbr:Mathematical_logic dbr:Or_(logic) dbr:Separable_space dbr:Quantum_Bayesianism dbr:Quantum_cognition dbr:Quantum_foundations dbr:Classical_mechanics dbr:Eigenspace dbr:Eigenvalue dbr:Entire_function dbr:Epistemology dbr:Garrett_Birkhoff dbr:General_relativity dbr:Generalized_eigenvector dbr:George_Mackey dbr:Gleason's_theorem dbr:Constantin_Piron dbr:Limit_(mathematics) dbr:Linear_logic dbr:Closed_set dbr:Density_matrix dbr:Physics dbr:Projection-valued_measure dbr:Proposition dbr:Propositional_logic dbr:Quantum_superposition dbr:Spectral_theory dbr:Mathematical_Foundations_of_Quantum_Mechanics dbr:Measurement_problem dbr:Total_function dbr:Trace_(linear_algebra) dbr:Truth dbr:Wavefunction_collapse dbr:Fuzzy_logic dbr:HPO_formalism dbr:Is_Logic_Empirical? dbr:Falsity dbr:Lattice_(order) dbr:Linear_subspace dbc:Non-classical_logic dbc:Systems_of_formal_logic dbr:Fourier_transform dbr:Causal_graph dbr:Logical_connective dbr:Natural_deduction dbr:Mathematical_folklore dbr:Positive_operator dbr:Projection_(mathematics) dbr:Proof_theory dbr:Gudrun_Kalmbach dbr:Hamiltonian_mechanics dbr:Hans_Reichenbach dbr:Hilary_Putnam dbr:Hilbert_space dbr:Internet_Archive dbr:JSTOR dbr:Maria_Luisa_Dalla_Chiara dbr:Solèr_theorem dbc:Mathematical_logic dbr:Trace_class dbr:Boolean_algebra_(structure) dbr:Spectral_theorem dbr:Square-integrable dbr:Classical_logic dbr:Philosopher_of_science dbr:Metamath dbr:Method_of_analytic_tableaux dbr:Negation_(logic) dbr:Associative dbr:Orthogonal_complement dbr:Categorification dbr:Self-adjoint_operator dbr:Sequent_calculus dbr:Material_implication_(rule_of_inference) dbr:Multi-valued_logic dbr:Tim_Maudlin dbr:Valuation_(logic) dbr:Lattice_Homomorphism dbr:Formalism_(mathematics) dbr:Observable dbr:Vector_logic dbr:Solèr's_theorem dbr:Interpretation_of_quantum_mechanics dbr:Normalizable_wave_function dbr:Orthomodular_lattice dbr:Borel_subset dbr:Orthocomplement dbr:Orthocomplemented_lattice dbr:And_(logic) dbr:Countably_additive_measure dbr:Distributive_law dbr:Quantum_measurement dbr:Hidden_variables dbr:Projection_operator dbr:Reduced_Planck's_constant dbr:Pre-Hilbert_space |
| dbp:other | yes (en) |
| dbp:quantum | yes (en) |
| dbp:wikiPageUsesTemplate | dbt:IEP dbt:= dbt:Colend dbt:Frac dbt:ISBN dbt:Main dbt:Math dbt:Nlab dbt:Quantum_mechanics dbt:Reflist dbt:Sfn dbt:Short_description dbt:Wikicite dbt:Wiktionary dbt:Harvid dbt:Cite_SEP dbt:Quote_frame dbt:Closed-closed dbt:Cols dbt:Emerging_technologies dbt:Quantum_mechanics_topics |
| dcterms:subject | dbc:Quantum_mechanics dbc:Non-classical_logic dbc:Systems_of_formal_logic dbc:Mathematical_logic |
| rdfs:comment | 量子論理（りょうしろんり、quantum logic）とは、量子論において見られる現象と相似するような形式論理の体系で、分配律が成り立たない無限多値の論理である。とジョン・フォン・ノイマンの1936年の論文に始まり、1960年代に直交モジュラー束（orthomodular lattice）の研究と並行して多くの研究成果が出された。 (ja) 논리학과 양자역학에서 양자 논리(量子論理, 영어: quantum logic)는 양자역학의 상태 공간의 대수적인 이론을 논리학적으로 해석하는 이론이다. 양자 논리는 고전 논리(불 대수)와 여러 성질들을 공유하지만, 고전 논리의 분배법칙이 양자 논리에서는 일반적으로 성립하지 않는다. (ko) في ميكانيكا الكم، منطق الكم هو مجموعة من القواعد للتفكير في المقترحات التي تأخذ مبادئ نظرية الكم في الاعتبار. نشأت هذه المنطقة البحثية واسمها في ورقة 1936 من إعداد غاريت بيرخوف وجون فون نيومان، اللذين كانا يحاولان التوفيق بين التناقض الظاهري للمنطق الكلاسيكي مع الحقائق المتعلقة بقياس المتغيرات التكميلية في ميكانيكا الكم، مثل الموقع والزخم. يمكن صياغة المنطق الكمي إما كنسخة معدلة من المنطق المقترح أو منطق كثير القيمغير تبادلي وغير ارتباطي. (ar) Als Quantenlogik (englisch quantum logic) werden Versuche bezeichnet, ein logisches System zu formulieren, das den Prinzipien der Quantenmechanik gerecht wird. Die Strukturen der Quantenphysik wirken paradox und sind teilweise schwer nachzuvollziehen. Fragestellungen wie die, ob Schrödingers Katze lebt, fordern das Verständnis heraus. Im Kontext der mathematischen Strukturen der Schrödingergleichung und der Heisenbergschen Unschärferelation wurde deshalb eine Logik gesucht, die Deutungen der Quantenmechanik wie dem Komplementaritätsprinzip oder dem Korrespondenzprinzip nachempfunden ist. Dazu musste die herkömmliche Logik modifiziert werden. (de) En kvantuma mekaniko, kvantuma logiko estas serio de reguloj por rezonado pri propozicioj kiuj sekvas la principojn de kvantuma teorio. Tiu esplorareo kaj ties nomo originiĝis en artikolo de 1936 de Garrett Birkhoff kaj John von Neumann, kiuj estis klopodante rekongruigi la ŝajnan nekonsistecon de la klasika logiko kun la fakto rilataj al la mezurado de komplementaj variabloj en kvantuma mekaniko, tiel kiel pozicio kaj momanto. Kvantuma logiko povas esti formulata ĉu kiel modifita versio de propozicia logiko aŭ kiel nekomutativa kaj ne-asocia plurvalora logiko. (eo) En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas. (es) In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The field takes as its starting point an observation of Garrett Birkhoff and John von Neumann, that the structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated structure. (en) La logique quantique est la base de raisonnements et conclusions en accord avec les postulats de la mécanique quantique. En particulier, les observables n'étant pas forcément commutatives, le théorème d'Heisenberg (cf. le principe d'incertitude), entraîne la notion d'intricats, notion purement quantique comme l'illustre celle de chat mort & vivant du célèbre paradoxe du chat de Schrödinger. (fr) Em Física Matemática, lógica quântica é um conjunto de regras para o raciocínio relativo a uma classe proposições para as quais os princípios da teoria quântica são considerados. Esta área de pesquisa e este nome originaram-se em uma publicação de 1936 de Garrett Birkhoff e John von Neumann, que tentaram reconciliar a aparente inconsistência da lógica booleana clássica com os fatos relacionados as medições de na mecânica quântica, tais como a posição e o momento. p e (q ou r) = (p e q) ou (p e r), Se a proposição "q ou r" é verdadeira, então p e (q or r) = p (p e q) ou (p e r) = falso (pt) Квантовая логика — раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории. Эта область исследований была основана в 1936 году работой Гарита Бирхофа и Джона фон Неймана, которые пытались примирить очевидную несогласованность классической логики с фактами по поводу измерения дополнительных переменных в квантовой механике, как например координата и импульс. , где символы , и — . * «частица двигается вправо»; * «частица слева от начала координат»; * «частица справа от начала координат». Тогда предложение «» всегда верно, точно как и (ru) Квантова логіка — набір правил логіки для роботи з системами, що потребують урахування квантових законів. Вона часто називається сучасною основою, або структурою квантових розрахунків. Звичайна булева логіка не застосовна для квантових розрахунків з огляду на вимогу зворотності квантових процесів. Квантова механіка вимагає щоб за результатом дії можна було б однозначно визначити початкові операнди. Наприклад, якщо в звичайній логіці результат операції АБО — істина, то можна зробити висновок, що хоча б один з двох операндів мав значення істинності. Точно визначити, який із них був істинним, чи, можливо, істинними були обидва, — неможливо. Така ситуація недопустима в квантовій механіці, тому операція АБО не може бути реалізованою квантовим комп'ютером. З огляду на це квантова логіка користує (uk) |
| rdfs:label | منطق كمومي (ar) Lògica quàntica (ca) Quantenlogik (de) Kvantuma logiko (eo) Lógica cuántica (es) Logique quantique (fr) 量子論理 (ja) 양자 논리 (ko) Quantum logic (en) Lógica quântica (pt) Квантовая логика (ru) Квантова логіка (uk) |
| owl:sameAs | freebase:Quantum logic yago-res:Quantum logic wikidata:Quantum logic dbpedia-ar:Quantum logic dbpedia-ca:Quantum logic dbpedia-de:Quantum logic dbpedia-eo:Quantum logic dbpedia-es:Quantum logic dbpedia-fa:Quantum logic dbpedia-fi:Quantum logic dbpedia-fr:Quantum logic http://hy.dbpedia.org/resource/Քվանտային_տրամաբանություն dbpedia-ja:Quantum logic dbpedia-ko:Quantum logic http://pa.dbpedia.org/resource/ਕੁਆਂਟਮ_ਤਰਕ dbpedia-pnb:Quantum logic dbpedia-pt:Quantum logic dbpedia-ro:Quantum logic dbpedia-ru:Quantum logic http://sah.dbpedia.org/resource/Квантовай_логика dbpedia-sk:Quantum logic dbpedia-uk:Quantum logic https://global.dbpedia.org/id/G37D |
| prov:wasDerivedFrom | wikipedia-en:Quantum_logic?oldid=1124616036&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Quantum_logic |
| is dbo:academicDiscipline of | dbr:Gudrun_Kalmbach |
| is dbo:knownFor of | dbr:Garrett_Birkhoff |
| is dbo:wikiPageRedirects of | dbr:Quantum_Logic dbr:Quantum_Reason |
| is dbo:wikiPageWikiLink of | dbr:Quantum_logic_gate dbr:List_of_functional_analysis_topics dbr:Two_Dogmas_of_Empiricism dbr:Principle_of_bivalence dbr:David_Finkelstein dbr:John_von_Neumann dbr:Jon_Michael_Dunn dbr:Currying dbr:David_McGoveran dbr:Deduction_theorem dbr:Duhem–Quine_thesis dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Index_of_philosophy_of_science_articles dbr:Index_of_physics_articles_(Q) dbr:International_Journal_of_Theoretical_Physics dbr:List_of_mathematical_topics_in_quantum_theory dbr:Quasi-set_theory dbr:Quantum_Logic dbr:Measurement_in_quantum_mechanics dbr:Principle_of_distributivity dbr:Noncommutative_logic dbr:Quantum_algebra dbr:Quantum_Bayesianism dbr:Quantum_Reality dbr:Quantum_cognition dbr:Quantum_statistical_mechanics dbr:Christopher_Isham dbr:Alexander_Zinoviev dbr:Emily_Levine dbr:Ensemble_(mathematical_physics) dbr:Garrett_Birkhoff dbr:George_Mackey dbr:Gleason's_theorem dbr:Constantin_Piron dbr:Andrew_M._Gleason dbr:Logic dbr:Complemented_lattice dbr:John_Lane_Bell dbr:Theoretical_physics dbr:Mach–Zehnder_interferometer dbr:HPO_formalism dbr:Is_Logic_Empirical? dbr:Lattice_(order) dbr:Glossary_of_quantum_philosophy dbr:Josef-Maria_Jauch dbr:Relational_quantum_mechanics dbr:Grigore_Moisil dbr:Gudrun_Kalmbach dbr:Hilary_Putnam dbr:Interpretations_of_quantum_mechanics dbr:Jean-Michel_Raimond dbr:Maria_Luisa_Dalla_Chiara dbr:Quantum_operation dbr:Kazem_Sadegh-Zadeh dbr:Boolean_algebra_(structure) dbr:Sonja_Smets dbr:Hugo_Dingler dbr:Metamath dbr:Michael_Dummett dbr:Octonion dbr:Categorical_quantum_mechanics dbr:Serge_Haroche dbr:Skew_lattice dbr:Existential_theory_of_the_reals dbr:Schrödinger_logic dbr:Statistical_physics dbr:Vector_logic dbr:Solèr's_theorem dbr:Non-classical_logic dbr:Patti_Frazer_Lock dbr:Outline_of_logic dbr:Peter_Mittelstaedt dbr:Quantum_Reason |
| is dbp:knownFor of | dbr:Garrett_Birkhoff dbr:George_Mackey |
| is foaf:primaryTopic of | wikipedia-en:Quantum_logic |