Алгоритм построения шуток существует, но дело в том, что для каждой шутки существует свой алгоритм, который для нёё нужно разработать. Если же учесть не только "существование для любого", но и последовательность событий во времени - сделать логику секвенциальной, то нужно учесть, что сначала появляется шутка, а затем для неё алгоритм
Теорема о бессмысленности (шуточная теорема):
{Алгоритмы шуток бессмысленны}
Доказательство
{
А="шутка"
B="её алгоритм"
A(t1) - шутка в момент времени t1
(оператор рождения шутки)
B(t2) - алгоритм в момент времени t2
(оператор рождения алгоритма шутки)
(t1 < t2) => "в начале была шутка"(на самом деле)
A(t1)B(t2) - обычное произведение операторов рождения шутки и её алгоритма такое будто алгоритм появился раньше (правость оператора - его первость)
T= оператор временного упорядочения
(расставляет операторы слева направо
в порядке убывания времени[1])
Оператор временного упорядочения определён на множестве операторов, зависящих от времени и взятых в фиксированный момент времени (для данной задачи о шутке и её алгоритме)
T<A(t1)B(t2)> (c условием t1 < t2) = B(t2)A(t1)
(так происходит на самом деле - такой порядок правилен)
Поскольку оператор появления алгоритма после действия оператора временного упорядочения находится левее оператора появления шутки, что является критерием его бессмысленности => алгоритмы шуток бессмысленны
}
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ
[1] Абрикосов Алексей Алексеевич, Горьков Лев Петрович, Дзялошинский Игорь Ехиельевич
Методы квантовой теории поля в статистической физике
Нобелевская премия по физике (2003 год)
f(Алексей Алексеевич Абрикосов, Виталий Лазаревич Гинзбург, Энтони Леггетт)
= пионерский вклад в теорию сверхпроводников и сверхтекучих жидкостей
Примечание автора:
В данном случае соотношение (шуточная теорема) симметрично - оба смысла верны
А="шуточная"
B="теорема"
АВ="шуточная теорема"
BA="теорема о шутках"
Здесь AB=BA <=> [A, B]=0
[A, B]=AB - BA - коммутатор двух операторов,
первым аргументом коммутатора является оператор А,
вторым аргументов коммутатора является оператор B.
Коммутатор антисимметричен,
относительно перестановки аргументов
[B, A]= - [А, В]
В случае коммутации аргументы перестановочны
[А, B]=[B,A] <=> [А, B]=-[А,B] <=> [А, B]=0