양자 논리 oor Engels

양자 논리

Vertalings in die woordeboek Koreaans - Engels

quantum logic

naamwoord

reasoning about propositions involving quantum theory

voorbeelde

이 튜링 기계 는 1985년 옥스포드대학교의 물리학자 데이비드 도이치 가 양자 게이트가 통상적인 이진 시스템의 논리 게이트와 비슷한 방식으로 동작할 수 있다는 사실을 지적한 논문에서 처음 제시되었다.
Such Turing machines were first proposed in a 1985 article written by Oxford University physicist David Deutsch suggesting quantum gates could function in a similar fashion to traditional digital computing binary logic gates.

그래서 저도 이런 부류 중 한 명이라고 생각합니다 실험 양자 물리학자 대부분이 그렇듯이요 복잡한 생각들을 잘 엮기 위해서 논리적인 부분이 많이 필요하면서도
And so I consider myself one of these people, along with most of the other experimental quantum physicists, who need a good deal of logic to string together these complex ideas.

그는 아인슈타인의 양자 이론에 논리적 모순에와 1949 년 대응.
He corresponded with Einstein on logical inconsistency in quantum theory in 1949.

이 관점은 사업전략을 조직설계의 선택과 IT 인프라스트럭처(전략경영에 대한 전통적이고 위계적인 관점)의 논리 양자의 추진체로 본다.
This perspective views the business strategy as the primary driver of both organization design choices and the logic of the IT infrastructure (the classic, hierarchical view of strategic management ).

그것은 이제 한 사람이 바로, 다음 공식화는 양자 이론을 보였다 볼 수 있듯이, 보면 그 자체에있는 원자 구조의 논리적 이론은 실험적 증거에 동의를 구축하는 데 필요한 구조를 제공하는 일이 아니었다.
Looking at it now one can see that it showed that quantum theory, as then formulated, was not in itself going to provide the necessary structure on which to build a logical theory of atomic structure which agreed with experimental evidence.

그의 마지막 책이 수학 장치 퀀텀을위한 이론, 이론, 부울 격자 스프링거에 의해 1966 년에 출판의 기반 - Verlag, 거의 1000 페이지, 양자 역학이나 더 정확하게의 부울 subalgebras의 자세한 연구를위한 수학적 형식주의에 포함되어있습니다 복잡한 힐베르트 공간의 폐쇄 subspaces의 논리.
His last book The Mathematical Apparatus for Quantum-Theories, based on the Theory of Boolean Lattices published in 1966 by Springer-Verlag contains, on almost thousand pages, the mathematical formalism for quantum mechanics or more precisely a detailed study of the Boolean subalgebras of the logic of closed subspaces of a complex Hilbert space .