- ЗАМКНУТАЯ ФОРМУЛА
- см. Арифметика формальная.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
- см. Арифметика формальная.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
ЗАМКНУТАЯ ФОРМУЛА — такая формула логич. исчисления, к рая выражает нек рое высказывание; формула, не содержащая свободных переменных вовсе или имеющая только такие их вхождения, к рые нельзя связывать кванторами, не выходя за рамки данного исчисления. Напр., З. ф.… … Философская энциклопедия
Формула Грина — Теорема Грина устанавливает связь между криволинейным интегралом по замкнутому контуру C и двойным интегралом по области D, ограниченной этим контуром. Фактически, эта теорема является частным случаем более общей теоремы Стокса. Теорема названа в … Википедия
Замкнутая времениподобная кривая — Замкнутая временеподобная линия или замкнутая временеподобная кривая (англ. closed timelike curve, CTC) в математической физике временеподобная кривая на Лоренцевом многообразии, возвращающаяся в исходную пространственно временную… … Википедия
РАЗРЕШИМАЯ ФОРМУЛА — (в данной системе) такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. е. является теоремой), либо опровержима (т. е. доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в… … Математическая энциклопедия
ОПРОВЕРЖИМАЯ ФОРМУЛА — формально опровержимая в данной системе формула, замкнутая формула данной системы, отрицание к рой выводимо в этой системе. В. Н. Гришин … Математическая энциклопедия
ПУАНКАРЕ - БЕРТРАНА ФОРМУЛА — формула перестановки порядка интегрирования в повторных несобственных интегралах в смысле главного значения по Коши. Пусть Г простая замкнутая или разомкнутая гладкая линия на комплексной плоскости; j(t, t1).определенная на Г (вообще говоря,… … Математическая энциклопедия
ГАУССА-ОСТРОГРАДСКОГО ФОРМУЛА — одна из основных интегральных теорем векторного анализа, связывающая объемный интеграл с поверхностным: Здесь замкнутая поверхность, ограничивающая 3 мерную область V, а п проекция вектора на внеш. нормаль к поверхности. Получена Дж. Грином (G.… … Физическая энциклопедия
РИМАНА - ГУРВИЦА ФОРМУЛА — ф о р м у л а Г у р в и ц а, с о о т н о ш е н и е Г у р в и ц а, формула, связывающая род замкнутой римановой поверхности с числом ее листов и кратностью точек ветвления. Пусть R замкнутая риманова поверхность рода накрывающая Rриманова… … Математическая энциклопедия
Декартово замкнутая категория — В теории категорий декартово замкнутой называется категория, допускающая интернализацию понятия морфизма. Другими словами, каждому морфизму в ней соответствует некоторый объект , представляющий его. Декартово замкнутые категории, находятся, в… … Википедия
РЕАЛИЗУЕМОСТЬ — один из видов неклассич. интерпретаций логических и логико математических языков. Различные интерпретации типа Р. определяются по следующей схеме. Для формул логико математич. языка определяется отношение объект реализует замкнутую формулу F , к… … Математическая энциклопедия