Меню Главная Случайная статья Настройки Обсуждение:Квантовая логика Материал из https://ru.wikipedia.org Vald 17:08, 13 июня 2008 (UTC)[ответить] Как переписать Как минимум, это должен быть человеческий перевод, а не машинный и даже не исправленный машинный. Кроме того, wiki авторитетным источником не является даже тогда, когда авторитетные источники указаны в статье. То есть нужно просто взять АИ и переписать статью. Longbowman 18:56, 13 июня 2008 (UTC)[ответить] В настоящем виде (13 июня 2008) это бессмыслица. Трудновато догадаться, что означает "лабратория красноречия адвоката" и другие подобные комичные пассажи. Longbowman 18:59, 13 июня 2008 (UTC)[ответить] Небольшое замечание Хочу заметить, что приводимые рассуждения относительно квантового измерения не обязательно требуют отказа от дистрибутивности. Например, в конструктивной (интуиционистской) логике дизъюнкция ${\displaystyle q\;\mathrm {OR} \;r}$ не является тождественно истинной. С точки зрения конструктивизма истинность такой дизъюнкции означала бы наличие процедуры, однозначно определяющей истинность либо ${\displaystyle q}$, либо ${\displaystyle r}$. Но с точки зрения квантовой механики наличие такой процедуры означало бы наличие измерителя координаты, который автоматически исключает возможность однозначного измерения ${\displaystyle p}$. Таким образом, конъюнкция ${\displaystyle p\;\mathrm {AND} \;(q\;\mathrm {OR} \;r)}$ в рамках квантовой механики является принципиально неразрешимой (ибо разрешимость конъюнкции с точки зрения конструктивизма означает разрешимость обоих её аргументов одновременно, что исключается соотношением неопределённости). Таково решение этой проблемы в рамках конструктивной логики, которая не отвергает закон дистрибутивности. --epros 06:35, 28 июля 2010 (UTC)[ответить]