Brenoritvrezorkre
Здесь трудность не в том, что я не разбираюсь в физике (я и не говорил ничего о физике), а в том, что когда физики пытаются что-то подобное определить, нередко возникают странные суждения. А возникают они потому, что они не разбираются в тематике той же формальной логики.
Предикаты к функциональным символам вполне возможны (higher-order predicate logic с функциональными предикатами и допущением предикации над предикатами). То же можно сотворить над процессами в исчислениях процессов — кто запретит? А если мы не вкладываем в понятие "процесс" чисто математического значения как "функция" или "процесс" в исчислении процессов, то, кажется, это даже не функциональный символ или мат.процесс, а что-то другое.
@viktoria_korzhova Обратите внимание на этого пациента, он уже был в тематическом чате по физике, но разговор о физике его не устроил, ему интересно заниматься квазилогическими построениями, рассуждая о том, что он, во-первых, не понимает, во-вторых, не желает понимать, даже когда начинаешь ему объяснять.