Обсуждение:Квантовая логика

Vald 17:08, 13 июня 2008 (UTC)

Как переписать

Как минимум, это должен быть человеческий перевод, а не машинный и даже не исправленный машинный.

Кроме того, wiki авторитетным источником не является даже тогда, когда авторитетные источники указаны в статье. То есть нужно просто взять АИ и переписать статью. Longbowman 18:56, 13 июня 2008 (UTC)

В настоящем виде (13 июня 2008) это бессмыслица. Трудновато догадаться, что означает "лабратория красноречия адвоката" и другие подобные комичные пассажи. Longbowman 18:59, 13 июня 2008 (UTC)

Небольшое замечание

Хочу заметить, что приводимые рассуждения относительно квантового измерения не обязательно требуют отказа от дистрибутивности.

Например, в конструктивной (интуиционистской) логике дизъюнкция $q\;\mathrm {OR} \;r$ не является тождественно истинной. С точки зрения конструктивизма истинность такой дизъюнкции означала бы наличие процедуры, однозначно определяющей истинность либо $q$, либо $r$. Но с точки зрения квантовой механики наличие такой процедуры означало бы наличие измерителя координаты, который автоматически исключает возможность однозначного измерения $p$. Таким образом, конъюнкция $p\;\mathrm {AND} \;(q\;\mathrm {OR} \;r)$ в рамках квантовой механики является принципиально неразрешимой (ибо разрешимость конъюнкции с точки зрения конструктивизма означает разрешимость обоих её аргументов одновременно, что исключается соотношением неопределённости).

Таково решение этой проблемы в рамках конструктивной логики, которая не отвергает закон дистрибутивности.

--epros 06:35, 28 июля 2010 (UTC)