ما هو المفهوم الذي تم انشاؤه للمنطق quatum?
حساب التفاضل
In a famous paper of 1936 with Garrett Birkhoff, the first work ever to introduce quantum logics, von Neumann and Birkhoff first proved that quantum mechanics requires a propositional calculus substantially different from all classical logics and rigorously isolated a new algebraic structure for quantum logics. The concept of creating a propositional calculus for quantum logic was first outlined in a short section in von Neumann's 1932 work, but in 1936, the need for the new propositional calculus was demonstrated through several proofs. For example, photons cannot pass through two successive filters that are polarized perpendicularly (e.g., one horizontally and the other vertically), and therefore, a fortiori, it cannot pass if a third filter polarized diagonally is added to the other two, either before or after them in the succession, but if the third filter is added in between the other two, the photons will, indeed, pass through. This experimental fact is translatable into logic as the non-commutativity of conjunction . It was also demonstrated that the laws of distribution of classical logic,  and , are not valid for quantum theory. في ورقة مشهورة من عام 1936 مع غاريت بيركوف, اول عمل على الاطلاق لتقديم المنطق الكم, فون نيومان و بيركوف اثبت اولا ان ميكانيكا الكم تتطلب حساب التفاضل مختلف بشكل كبير عن كل المنطق الكلاسيكية و عزل بشكل دقيق هيكل جبري جديد ل الكم الكم.. تم تحديد مفهوم انشاء حساب, للمنطق الكم لاول مرة في قسم قصير في عمل فون نيومان لعام 1932, ولكن في عام 1936, تم اثبات الحاجة الى حساب التفاضل الجديد من خلال العديد من البراهين. على سبيل المثال, لا يمكن ل الفوتونات ان تمر من خلال اثنين من فلاتر الم المتعاقبة التي هي الاستقطاب عموديا (على سبيل المثال, واحد افقيا والاخر عمودي), وبالتالي, لا يمكن ان يمر اذا تم اضافة فلتر ثالث الاستقطاب بشكل قطري الى الاثنين الاخرين. اما قبل او بعدهم في الخلافة, ولكن اذا تم اضافة الفلتر الثالث بين الاثنين الاخرين, فان الفوتو شوب سوف يمر من خلال. هذه الحقيقة التجريبية يتم تحويلها الى المنطق بوصفها عدم التبادل مناشتراك. وقد ثبت ايضا ان قوانين توزيع المنطق الكلاسيكي, وهي ليست صالحة لن نظرية الكم. In einem berühmten Papier von 1936 mit Garrett Birkhoff, die erste Arbeit, die je zu der Einführung von Quanten-Logiken, von Neumann und Birkhoff wurde zuerst bewiesen, dass Quantenmechanik ein Logik-Kalkül, das wesentlich von allen klassischen Logiken unterscheidet und rigoros eine neue algebraischen Struktur für Quantum isoliert. Das Konzept der Erstellung eines Logik-Kalkül für die Quantum wurde erstmals in einem kurzen Abschnitt von von Neumann ' s 1932-Arbeit skizziert, aber im Jahr 1936 wurde die Notwendigkeit des neuen Logik-Kalkül durch mehrere Beweise demonstriert. Zum Beispiel können Photonen zwei aufeinander folgende Filter nicht durchgehen, die polarisiert sind (z. B. eine horizontal und die andere vertikal), und daher kann es nicht passieren, wenn ein dritter Filter, der diagonal polarisiert, den anderen beiden hinzugefügt wird., entweder vor oder nach ihnen in der Nachfolge, aber wenn der dritte Filter zwischen den anderen beiden hinzugefügt wird, werden die Photonen in der Tat durchgehen. Diese experimentelle Tatsache wird in der Logik als nicht-Nichtkommutativität der Verbindung. Es wurde auch gezeigt, dass die Gesetze der Verteilung der klassischen Logik, und, nicht für die Quantenmechanik gültig sind. En un famoso papel de 1936 con garrett birkhoff, el primer trabajo que se ha presentado para introducir lógicas cuánticas, von Neumann y birkhoff primero demostraron que la mecánica cuántica requiere un cálculo proposicional sustancialmente diferente de todas las lógicas clásicas y rigurosamente aislado una nueva estructura algebraica para la lógica cuántica. El concepto de creación de un cálculo proposicional para la lógica cuántica fue descrito por primera vez en una sección corta en el trabajo de von Neumann de 1932, pero en 1936, la necesidad del nuevo cálculo de proposicional se demostró a través de varias pruebas. Por ejemplo, los fotones no pueden pasar a través de dos filtros sucesivos que son polarizado polarizados (e. G., uno horizontalmente y el otro verticalmente), y por lo tanto, a aún, no puede pasar si un tercer filtro polarizado en diagonal se añade a los otros dos, ya sea antes o después de ellos en la sucesión, pero si el tercer filtro se añade entre los otros dos, los fotones, de hecho, pasan. Este hecho experimental se traducible en la lógica como el no-Conmutatividad de conjunción. También se demostró que las leyes de distribución de la lógica clásica, y, no son válidas para la teoría cuántica. गैरेट birkhoff के साथ 1936 के एक प्रसिद्ध पेपर में, क्वांटम बालों का परिचय देने के लिए पहला काम, वॉन न्यूमैन और birkhoff ने पहले साबित कर दिया कि क्वांटम यांत्रिकी को एक प्रतिज्ञप्तिक कलन की आवश्यकता है, जो सभी शास्त्रीय बालों से काफी अलग है और कड़ाई बालों के लिए एक नया बीजीय संरचना है. क्वांटम तर्क के लिए एक प्रतिज्ञप्तिक कलन बनाने की अवधारणा सबसे पहले वॉन न्यूमैन के 1932 के काम में एक छोटे अनुभाग में आउटलाइन किया गया था, लेकिन 1936 में, नए प्रतिज्ञप्तिक कलन की जरूरत कई सबूतों के माध्यम से प्रदर्शित की गई थी । उदाहरण के लिए, फोटोन दो लगातार फिल्टर से गुजर नहीं सकते हैं, जो polarized perpendicularly (जैसे एक क्षैतिज और अन्य लंबवत) हैं, और इसलिए, एक fortiori, यह पास नहीं हो सकता है यदि एक तीसरा फ़िल्टर polarized तिरछे दूसरे दो में जोड़ा जाता है या तो पहले या उसके बाद उत्तराधिकार में, लेकिन यदि तीसरा फिल्टर दूसरे दो के बीच में जोड़ा जाता है, तो फोटोन, वास्तव में पारित हो जाएगा । यह प्रयोगात्मक तथ्य तर्क के गैर-commutativity के रूप में तर्क में अनुवाद है । यह भी प्रदर्शित किया गया था कि शास्त्रीय तर्क के वितरण के कानून, और, क्वांटम सिद्धांत के लिए मान्य नहीं हैं. Trong một tờ giấy nổi tiếng của năm 1936 với Garrett Birkhoff, công việc đầu tiên từ trước đến nay để giới thiệu gic quantum, von Neumann và Birkhoff đầu tiên đã chứng minh rằng các cơ học lượng tử yêu cầu một số tính toán khác nhau đáng kể từ tất cả các gic cổ điển và hòng đã tách ra một cấu trúc. Khái niệm về việc tạo ra một tính toán propositional cho logic lượng tử được vạch ra đầu tiên trong một phần ngắn trong công việc 1932 của von Neumann, nhưng năm 1936, nhu cầu cho các tính toán propositional mới được chứng minh thông qua một số chứng minh. Ví dụ, photon không thể vượt qua hai bộ lọc liên tiếp mà là polarized perpendicularly (e. g., một chiều ngang và các chiều dọc khác), và do đó, một fortiori, nó không thể vượt qua nếu một bộ lọc thứ ba polarized chéo được thêm vào hai người khác, hoặc trước hoặc sau khi họ trong kế hoạch, nhưng nếu bộ lọc thứ ba được thêm vào giữa hai người khác, photon sẽ, thực sự, vượt qua. Thực tế thử nghiệm này được đưa vào logic khi không có sự kết hợp với nhau. Nó cũng được chứng minh rằng luật phân phối của logic cổ điển, và, không hợp lệ cho lý thuyết lượng tử. 在1936年与加雷特·伯克霍夫的一个著名的论文中, 第一次介绍量子逻辑, 冯·诺伊曼和伯克霍夫第一次证明量子力学需要一个与所有经典逻辑大大不同的命题微积分, 并严格... 为量子逻辑创建一个命题演算的概念第一次概述在冯·诺伊曼的1932年工作的一个简短部分, 但在1936年, 新命题微积分的需要通过几个证明证明. 例如, 光子不能通过两个连续的滤波器(e. g., 一个横向和另一个垂直), 因此, 更多的是, 如果第三个滤波器两极分化添加到另两个, 它不能通过. 在他们的继承之前或之后, 但如果第三个滤镜在其他两个之间添加, 光子确实会通过. 这一实验事实是可翻译成逻辑的, 作为非commutativity的结合. 这也证明了经典 逻辑 分配 的 法律, 并且 对 量子 理论 来 说 是 不 有效 的.
Ý tưởng này sau đó được phát triển trong triết học cổ đại của trường Khắc. Khắc epistemology nói chung là nhấn mạnh rằng tâm trí bắt đầu trống rỗng, nhưng thu thập kiến thức như thế giới bên ngoài rất ấn tượng với nó. Cái Aetius tóm cảnh này khi một người đàn ông được sinh ra, người Stoics nói rằng, anh ta có phần chỉ huy của linh hồn của anh ta như một tờ giấy sẵn sàng để viết lên. Sau này stoics, chẳng hạn như Sextus của Chaeronea, sẽ tiếp tục ý tưởng này về empiricism trong sau này Khắc viết cũng được. Với tư cách là Sextus contends cho mọi suy nghĩ đến từ cảm giác-nhận thức hoặc không không có cảm giác và hoặc từ kinh nghiệm trực tiếp hoặc không mà không có kinh nghiệm trực tiếp (chống lại các giáo sư, 8.56-8). El principio ad fontes también tenía muchas aplicaciones. El re-descubrimiento de los manuscritos antiguos trajo un conocimiento más profundo y preciso de las escuelas filosóficas antiguas como epicureísmo, y neoplatonismo, cuya sabiduría pagana los humanistas, como los padres de la iglesia de viejo, tendían, al menos inicialmente, a considerar como derivar de la revelación divina y así adaptable a una vida de virtud cristiana. la línea de un drama de terence, homo sum, humani nihil un me alienum puto (o con nil para nihil), lo que significa que soy un ser humano, no creo que nada humano ajeno a mí, conocido desde la antigüedad a través del respaldo de San Agustín, ganó moneda renovada como epitomising la actitud humanista. la declaración, en una obra modeló o prestada de una comedia griega (ahora perdida) de menandro, puede haber originado en una vena desenfadada - como una justificación cómica para la intromisión de un anciano - pero rápidamente se convirtió en un proverbio y a lo largo de las edades era citado con un significado más profundo, por cicerón y san Agustín, por nombrar unos pocos, y sobre todo por séneca. Richard Bauman escribe: प्लेटो के बाद लगभग दो हजार साल, रेने डकार्टेस ने अणुव्रत के एक ज़्यामितीयत आधारित वैकल्पिक सिद्धांत का भी प्रस्ताव किया, बिना समस्याग्रस्त के कुछ भी नहीं-सब कुछ शून्य और परमाणु के विरोधाभास । हालांकि डकार्टेस समकालीन स्थिति के साथ सहमत हैं, कि एक वैक्यूम प्रकृति में नहीं होता है, उसके हमनाम समन्वय प्रणाली की सफलता और अधिक लखे, अपने तत्वमीमांसा के स्थानिक-फँसना घटक को एक विनिर्धारण के रूप में खाली स्थान की आधुनिक धारणा को परिभाषित करने के लिए आ जाएगा वॉल्यूम का विस्तार । प्राचीन परिभाषा के अनुसार, दिशात्मक जानकारी और परिमाण अलग अलग थे । एक दूरी पर कार्रवाई के क्रूर तथ्य के लिए कार्टेसियन यांत्रिक दर्शन की मौन के साथ, और लंबाई में, बल क्षेत्रों और कभी अधिक परिष्कृत ज्यामितीय संरचना द्वारा सफल reification, खाली जगह के बेमानी को क्वांटम गतिविधि की एक ख़रोश उतेजना तक चौड़ी कर दिया गया है 20 वीं सदी में एक आभासी pleroma के साथ वैक्यूम भर दिया । From his diagrams of a small number of particles interacting in spacetime, Feynman could then model all of physics in terms of the spins of those particles and the range of coupling of the fundamental forces. Feynman attempted an explanation of the strong interactions governing nucleons scattering called the parton model. The parton model emerged as a complement to the quark model developed by his Caltech colleague Murray Gell-Mann. The relationship between the two models was murky; Gell-Mann referred to Feynman's partons derisively as "put-ons". In the mid-1960s, physicists believed that quarks were just a bookkeeping device for symmetry numbers, not real particles, as the statistics of the Omega-minus particle, if it were interpreted as three identical strange quarks bound together, seemed impossible if quarks were real. The Stanford linear accelerator deep inelastic scattering experiments of the late 1960s showed, analogously to Ernest Rutherford's experiment of scattering alpha particles on gold nuclei in 1911, that nucleons (protons and neutrons) contained point-like particles that scattered electrons. It was natural to identify these with quarks, but Feynman's parton model attempted to interpret the experimental data in a way that did not introduce additional hypotheses. For example, the data showed that some 45% of the energy momentum was carried by electrically-neutral particles in the nucleon. These electrically-neutral particles are now seen to be the gluons that carry the forces between the quarks and carry also the three-valued color quantum number that solves the Omega-minus problem. Feynman did not dispute the quark model; for example, when the fifth quark was discovered in 1977, Feynman immediately pointed out to his students that the discovery implied the existence of a sixth quark, which was discovered in the decade after his death. In his Harvard "Lectures on Pragmatism" (1903), Peirce enumerated what he called the "three cotary propositions of pragmatism" (L: cos, cotis whetstone), saying that they "put the edge on the maxim of pragmatism". First among these he listed the peripatetic-thomist observation mentioned above, but he further observed that this link between sensory perception and intellectual conception is a two-way street. That is, it can be taken to say that whatever we find in the intellect is also incipiently in the senses. Hence, if theories are theory-laden then so are the senses, and perception itself can be seen as a species of abductive inference, its difference being that it is beyond control and hence beyond critique – in a word, incorrigible. This in no way conflicts with the fallibility and revisability of scientific concepts, since it is only the immediate percept in its unique individuality or "thisness" – what the Scholastics called its haecceity – that stands beyond control and correction. Scientific concepts, on the other hand, are general in nature, and transient sensations do in another sense find correction within them. This notion of perception as abduction has received periodic revivals in artificial intelligence and cognitive science research, most recently for instance with the work of Irvin Rock on indirect perception. Gellius nói rằng trong ngày của anh ấy, humanitas thường được sử dụng như là một đồng nghĩa cho philanthropy - hoặc lòng tốt và lòng nhân từ đối với người đồng nghiệp của một người. Gellius duy trì rằng việc sử dụng thông thường này là sai, và các nhà văn mô hình của Latin, như Cicero và những người khác, sử dụng từ duy nhất để có nghĩa là những gì chúng ta có thể gọi là nhân đạo hoặc lịch sự học hỏi, hoặc người Hy Lạp tương đương với Gellius trở thành một tác giả yêu thích trong thời Phục Hưng Ý, và, trong Thế kỷ Ý, giáo viên và các học giả triết học, thơ, và những lời hùng biện được gọi và tự gọi mình là rất. Các học giả hiện đại, tuy nhiên, chỉ ra rằng Cicero (106-43 TCN), những người chịu trách nhiệm nhất để xác định và làm cho các nhiệm kỳ humanitas, thực tế thường xuyên sử dụng từ trong cả hai giác quan, như đã làm cho những người đến gần. Đối với Cicero, một luật sư, những gì đặc biệt nhất của con người từ brutes là phát ngôn, mà, liên minh đến lý do, có thể (và nên) cho phép họ giải quyết tranh cãi và sống cùng nhau trong concord và hài hòa dưới quy luật của luật pháp. Vì vậy, humanitas bao gồm hai ý nghĩa từ cái và những thứ này tiếp tục trong các đạo hàm hiện đại, nhân văn, mà thậm chí hôm nay có thể tham khảo cả hai nhân đạo nhân đạo và học bổng. Tôn giáo công cộng diễn ra trong một khu vực thiêng liêng đã bị đánh dấu bởi một background02. Ý nghĩa gốc của từ Latin templum là không gian thiêng liêng này, và chỉ sau đó được gọi là một tòa nhà. Rome chính nó là một không gian thiêng liêng; biên giới cổ của nó (pomerium) đã được đánh dấu bởi Romulus với bò và cày; những gì nằm trong đó là ngôi nhà trần gian và hộ của các vị thần của bang. Tại Rome, tham khảo trung tâm cho việc thành lập một templum templum xuất hiện đã được thông qua giáp (cách thiêng liêng) và cái. Magistrates đã tìm kiếm ý kiến thần thánh về việc đề xuất hành động chính thức thông qua một background02, người đọc thần thánh thông qua nhận xét được thực hiện trong các templum trước, trong và sau một hành động của sự hy sinh. Sự phê bình thần thánh có thể vượt qua sự hy sinh không phù hợp, nghi lễ sai lầm (vitium) hoặc một kế hoạch không chấp nhận được hành động Nếu một dấu hiệu không được đưa ra, thẩm phán có thể lặp lại sự hy sinh cho đến khi những dấu hiệu tốt đẹp được nhìn thấy, tư vấn với đồng nghiệp của anh ta, hoặc từ bỏ dự án. Magistrates có thể sử dụng quyền của họ (ius augurum) để hoãn lại và hủy bỏ quá trình luật pháp, nhưng được biết đến với quyết định của họ về nhận xét và lời khuyên của background02. Đối với Cicero, bản thân mình là một background02, điều này đã làm cho cái có quyền lực mạnh mẽ nhất ở Cộng hòa muộn. Theo thời gian của ông (giữa thế kỷ 1 TCN) augury được giám sát bởi trường đại học pontifices, sức mạnh của người ngày càng được dệt vào magistracies của cái honorum. Almost two thousand years after Plato, René Descartes also proposed a geometrically based alternative theory of atomism, without the problematic nothing–everything dichotomy of void and atom. Although Descartes agreed with the contemporary position, that a vacuum does not occur in nature, the success of his namesake coordinate system and more implicitly, the spatial–corporeal component of his metaphysics would come to define the philosophically modern notion of empty space as a quantified extension of volume. By the ancient definition however, directional information and magnitude were conceptually distinct. With the acquiescence of Cartesian mechanical philosophy to the "brute fact" of action at a distance, and at length, its successful reification by force fields and ever more sophisticated geometric structure, the anachronism of empty space widened until "a seething ferment" of quantum activity in the 20th century filled the vacuum with a virtual pleroma. Từ các sơ đồ của một số hạt nhỏ tương tác ở spacetime, Feynman có thể sau đó mô hình tất cả các vật lý trong các điều khoản về việc quay của các hạt đó và phạm vi liên hệ của các lực lượng cơ bản. Feynman đã cố gắng một lời giải thích về các tương tác mạnh mẽ quản lý nucleons bắc được gọi là mô hình dần. Mô hình dần được phát triển như là một sự bổ sung cho mô hình quark được phát triển bởi đồng nghiệp Caltech của anh Murray Gell-Mann. Mối quan hệ giữa hai người mô hình là ảm đạm; Gell-Mann được gọi là partons ' s partons derisively như là công cụ. Giữa những năm 1960, các nhà vật lý tin rằng quark chỉ là một thiết bị toán học cho các con số đối xứng, không phải là các hạt thực, như thống kê của hạt Omega-trừ, nếu nó được giải thích như ba hạt giống lạ giống nhau ràng buộc với nhau, dường như không thể nếu quark là có thật. Các cuộc thử nghiệm của Stanford tuyến máy gia tốc sâu sắc cho các thí nghiệm tan chảy của những năm 1960 đã được hiển thị, analogously đến cuộc thí nghiệm của Ernest Rutherford về các hạt alpha trên hạt vàng vào năm 1911, mà nucleons (proton và neutron) chứa các hạt giống như các hạt làm loãng electron. Thật tự nhiên để xác định những thứ này với quark, nhưng mô hình dần của Feynman đã cố gắng phân tích dữ liệu thử nghiệm theo cách mà không giới thiệu thêm khác. Ví dụ, dữ liệu cho thấy rằng một số 45 % động lực năng lượng được thực hiện bởi các hạt tính trung lập trong cái. Những hạt tính trung lập này hiện đã được nhìn thấy để trở thành những gluons mang lại các lực lượng giữa các hạt quark và mang theo cả số lượng lượng tử quý giá giải quyết vấn đề Omega-minus. Feynman đã không tranh cãi mô hình quark; ví dụ, khi quark thứ năm được phát hiện vào năm 1977, Feynman ngay lập tức chỉ ra cho các học sinh của mình rằng khám phá ngụ ý sự tồn tại của một quark thứ sáu, được phát hiện trong thập kỷ sau cái chết của anh ta. Trong trường đại học Harvard của anh ta trên Pragmatism (1903), Peirce enumerated những gì anh ta gọi là ba cotary nghe của cách (L: cos, cotis mài), nói rằng họ đặt mép trên maxim của cách. Đầu tiên trong số những người này đã liệt kê quan sát peripatetic-thomist được đề cập ở trên, nhưng anh ta tiếp tục quan sát rằng liên kết này giữa nhận thức giác quan và thai thụ trí tuệ là một con đường hai chiều. Đó là, nó có thể được chụp để nói rằng bất cứ điều gì chúng ta tìm thấy trong trí tuệ cũng là incipiently trong các giác quan. Vì vậy, nếu lý thuyết là lý thuyết-laden thì các giác quan, và nhận thức chính nó có thể được xem như là một loài của abductive suy nghĩ, sự khác biệt của nó là nó vượt quá kiểm soát và do đó vượt qua những lời bình luận - trong một từ, không chữa trị. Điều này không có cách nào xung đột với các fallibility và revisability của các khái niệm khoa học, vì nó chỉ là những percept ngay lập tức trong cá tính độc đáo của nó hoặc thisness - những gì cái gọi là haecceity - điều đó đứng ngoài kiểm soát và sửa chữa. Các khái niệm khoa học, mặt khác, là chung trong thiên nhiên, và những cảm giác tạm thời làm theo một cảm giác khác tìm thấy sự sửa chữa bên trong họ. Khái niệm về nhận thức về việc bắt cóc đã nhận được revivals các trong trí thông minh nhân tạo và nghiên cứu khoa học nhận thức, gần đây nhất để thể hiện với công việc của Irvin Rock về nhận thức gián tiếp.