Большая Советская энциклопедия - переменная

переменное, одно из основных понятий математики и логики. Начиная с работ П. Ферма, Р. Декарта, И. Ньютона, Г. В. Лейбница и др. основоположников «высшей» математики под П. понимали некоторую «величину», которая может «изменяться», принимая в процессе этого изменения различные «значения». Тем самым П. противопоставлялись «постоянным» (или константам) — числам или каким-либо др. «величинам», каждая из которых имеет единственное, вполне определённое значение (см. Переменные и постоянные величины). По мере развития математики и в ходе её обоснования представления о «процессах», «изменении величин» и т. п. тщательно изгонялись из математического арсенала как «внематематические», в результате чего П. стала пониматься как обозначение для произвольного элемента рассматриваемой предметной области (например, области натуральных чисел или действительных чисел), то есть как родовое имя всей этой области (в отличие от констант — «собственных имён» для чисел или др. конкретных предметов рассматриваемой области). Этот пересмотр взглядов на понятие П. был тесно связан с перестройкой математики на базе множеств теории (См. Множеств теория), завершившейся в конце 19 в. При всей простоте и «естественности» такой перестройки она существенным образом опирается на так называемую абстракцию актуальной бесконечности, позволяющую рассматривать произвольные бесконечные множества в качестве «данных» («завершенных», «готовых», «актуальных») объектов и применять по отношению к ним любые средства классической логики, отвлекаясь от незавершённости и принципиальной незавершимости процесса образования такого множества. Трудности решения логических проблем, связанных с принятием этой абстракции, делают понятной частичную «реабилитацию» старинных представлений о «переменных величинах»; при построении математических теорий представители некоторых школ (см. Математический интуиционизм, Конструктивное направление) предпочитают обходиться боле (слабой, но зато менее уязвимой в логическом отношении абстракцией потенциальной осуществимости, с точки зрения которой с бесконечными множествами как раз связываются представления о процессах их «порождения»,— сколь угодно далеко заходящих, но никогда не завершающихся (см. Бесконечность в математике). При исследовании вопроса непротиворечивости (См. Непротиворечивость) различных областей математики на такую позицию фактически встаёт значительное большинство математиков и логиков (см. Метаматематика).

В формализованных языках (исчислениях (См. Исчисление), формальных системах) математической логики П. называются символы строго фиксированного вида, могущие при определённых условиях заменяться выражениям данного исчисления. Это относится к так называемым свободным (или значащим) П. примером которых может служить П. в неравенстве х > 5, обращающемся при подстановке вместо х, скажем, цифры 7 (то есть обозначения для числа) 7 в истинное высказывание, а при подстановке цифры 2 — в ложное высказывание. Что касается так называемых связанных (или фиктивных) П., то они сами по себе вообще ничего не означают, несут чисто синтаксические функции и могут (при соблюдении некоторых элементарных предосторожностей) «переименовываться», то есть заменяться др. П. Такова, например, П. у в записях .