Конструктивная Квантовая Теория Поля

- термин, употребляемый в теории краевых задач для дифференциальных уравнений с частными производными. Пусть v=(v1, . , vn )-внешняя нормаль в точке хк гладкой поверхности S, расположенной в евклидовом пространстве Е n с координатами х 1, . .., х n, gij - контравариантный невырожденный тензор, обычно представляющий коэффициенты нек-рого дифференциального оператора второго порядка D=Тогда конормалью (относительно D)наз. Вектор где vi=gikvk. Другими словами, К.-контравариантная запись (в пр..

в математической логике - символ формального языка для обозначения некоторого фиксированного элемента (индивида), фиксированной операции или отношения на какой-либо структуре, описываемой этим языком. В соответствии с этим различают индивидные константы, функциональные константы и предикатные константы. Совокупность всех К. Языка наз. Сигнатурой этого языка. Напр., сигнатура языка арифметики формальной состоит из индивидной К. "О" (нуль), двуместных функциональных К. "+" (сложение) и (умнож..

- раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. Л. Шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии исключенного третьего закона и двойного отрицания закона При обозначении систем чистой логики (исчисление высказываний, предикатов) термины "конструктивное", "интуиционистское", "гейтинговское" часто считаются синонимами (см. Рейтинга формальн..

конструктивное направление в математике,- математика, строящаяся в соответствии с тем или иным конструктивным математич. Мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. Объектов с возможностью их построения и отвергающим в силу этого ряд установок традиционной теоретико-множественной математики, приводящих к появлению чистых теорем существования (в частности, абстракцию актуальной бесконечности и универсальный характер исключенного третьего закона). Ко..