<s>[INST]Von Neuman 1936'da kuantum mantığı tanıtan bir kağıt üzerinde kiminle çalıştı?[/INST]1936 yılında Garrett Birkhoff ile ünlü bir makalede, kuantum mantığını tanıtan ilk çalışma olan von Neumann ve Birkhoff, kuantum mekaniğinin tüm klasik mantıklardan büyük ölçüde farklı olan ve yeni bir titizlikle izole edilmiş yeni bir analiz gerektirdiğini kanıtladı. Kuantum mantığı için cebirsel yapı. Kuantum mantığı için önermeli bir hesap oluşturma kavramı ilk önce von Neumann'ın 1932 çalışmasında kısa bir bölümde açıklanmıştır, ancak 1936'da, yeni önermeli hesaplamanın gerekliliği çeşitli kanıtlarla kanıtlanmıştır. Örneğin, fotonlar dikey olarak polarize edilmiş iki ardışık filtreden geçemez (örneğin biri yatay ve diğeri dikey olarak) ve bu nedenle, bir fortiori, çapraz olarak polarize edilmiş üçüncü bir filtre diğer ikisine, önce veya daha önce polarize edilmişse geçemez arka arkaya onlardan sonra, ancak üçüncü filtre diğer ikisi arasına eklenirse, fotonlar gerçekten geçer. Bu deneysel gerçek, eşleşmenin değişmezliği olarak mantığa çevrilebilir. Klasik mantığın dağıtım yasalarının kuantum teorisi için geçerli olmadığı da kanıtlanmıştır.</s>