Обсуждение:За границей известного

В файле http://synset.com/pdf/100.pdf есть такая фраза:

"...квантовая теория связана с отказом от аксиомы дистрибутивности в математической логике...".

Можете, пожалуйста, пояснить, как? Maxim 22:32, 26 марта 2013 (UTC).

Это долгая история, до конца еще не проработанная. Дистрибутивность в логике означает выполнения формулы A and (B or C) = (A and B) or (A and C). Если левая часть истинна, то и правая также будет истинной. Однако в квантовой механики утверждение "Есть интерференция" and ("Электрон пролетел через левую щель" or "Электрон пролетел через правую щель") истинно, тогда как ("Есть интерференция" and "Электрон пролетел через левую щель") or ("Есть интерференция" and "Электрон пролетел через правую щель") - уже нет. Вообще, существует целое направление в алгебре "дистрибутивные решетки" при помощи которого пытаются описать ("объяснить") квантовые явления. Сергей Степанов 16:10, 27 марта 2013 (UTC)

Спасибо! И еще такой вопрос. Формально, что при выведении преобразований Лоренца, что при выведении более общих преобразований (для пространства-времени с ненулевой кривизной) использовалась, как написано в этой главе, аксиома однородности пространства-времени. Но если в случае с преобразованиями Лоренца можно просто потребовать, чтобы дифференциал функции преобразования не зависел от выбора точки пространства-времени (преобразования сразу станут линейными), то в случае с дробно-линейными преобразованиями используется множество вспомогательных аксиом. Чем отличается однородность пространства-времени, выражаемая в свойстве инвариантности дифференциала функции преобразования, и однородность, задаваемая тем множеством аксиом? Является ли "вторая" однородность более "слабой" версией первой? Каким образом тот набор аксиом допускает кривизну, а инвариантность дифференциала функции преобразования ее автоматически отбрасывает? Извиняюсь за засилье вопросов. Maxim 21:40, 27 марта 2013 (UTC).

И еще. А как показать, что параметр "лямбда" соответствует кривизне пространства?