Доказательство реальных намерений

lex_kravetski — 24.08.2025 В математике, если вдуматься, есть отличное доказательство того, что все эти сложные «теории» и «терминологии» создаются как самоценность, а не чтобы стало проще. Есть, например, лямбда-исчисление, теория категорий, пропозиционная логика, бра-кет операторы и ещё ряд вещей, которые говорят, по сути, об одном и том же. И каждое из перечисленных при этом обладает своим собственным уникальным синтаксисом, который при изложении чего-то, что касается нескольких теорий сразу, просто микшируют.

Это выглядит так, как если бы сопроводительный текст ко всему этому был бы написан на русском, французском, китайском и арабском одновременно. Причём не в отдельных абзацах свой язык и даже не внутри абзаца фразы на другом языке как цитаты, а просто всё вперемешку: одно слово из одного языка, другое — из другого. И грамматические конструкции, аналогично, могут перемешиваться в одном предложении и запросто относиться к словам другого языка.

То есть, зачипись, мы придумали красивые абстрактные названия для операции сложения и для размещения по кругу, чтобы типа «обобщить», но за сто лет не смогли обобщить синтаксисы разных теорий, а потому до сих пор преподаём и используем их строго как в оригинале. Причём даже в тех областях, которые посвящены тому, как можно было бы обобщить синтаксисы — ведь лямбда-исчисление и прочие подобные, они как раз про это.

В общем, это даже не собирались использовать на практике. Это просто способ показать себя умным и застолбить поляну при помощи хитровывернутых значков и терминов.

Причём даже это, как оказалось, всё равно можно обобщить — язык Вольфрам показывает, как именно. То есть имеется даже уже готовое. Стали математики его использовать? Хер там плавал. Вместо него, всё ещё тот же адский микс, который не позволяет понять даже простейшие идеи тому, кто не знает целой кучи этих языков одновременно. Причём во всех деталях, включая их возможные диалекты. То есть, считай, записанное так непонятно никому, кроме авторов. По этой причине на практике все просто пропускают формулы и читают только сопроводительный текст.

Оставить комментарий

Популярные посты:

• Ранее
• Архив