ЗАМКНУТАЯ ФОРМУЛА


ЗАМКНУТАЯ ФОРМУЛА

- см. Арифметика формальная.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ЗАМКНУТАЯ ФОРМУЛА" в других словарях:

  • ЗАМКНУТАЯ ФОРМУЛА — такая формула логич. исчисления, к рая выражает нек рое высказывание; формула, не содержащая свободных переменных вовсе или имеющая только такие их вхождения, к рые нельзя связывать кванторами, не выходя за рамки данного исчисления. Напр., З. ф.… …   Философская энциклопедия

  • Формула Грина — Теорема Грина устанавливает связь между криволинейным интегралом по замкнутому контуру C и двойным интегралом по области D, ограниченной этим контуром. Фактически, эта теорема является частным случаем более общей теоремы Стокса. Теорема названа в …   Википедия

  • Замкнутая времениподобная кривая — Замкнутая временеподобная линия или замкнутая временеподобная кривая (англ. closed timelike curve, CTC) в математической физике  временеподобная кривая на Лоренцевом многообразии, возвращающаяся в исходную пространственно временную… …   Википедия

  • РАЗРЕШИМАЯ ФОРМУЛА — (в данной системе) такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. е. является теоремой), либо опровержима (т. е. доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в… …   Математическая энциклопедия

  • ОПРОВЕРЖИМАЯ ФОРМУЛА — формально опровержимая в данной системе формула, замкнутая формула данной системы, отрицание к рой выводимо в этой системе. В. Н. Гришин …   Математическая энциклопедия

  • ПУАНКАРЕ - БЕРТРАНА ФОРМУЛА — формула перестановки порядка интегрирования в повторных несобственных интегралах в смысле главного значения по Коши. Пусть Г простая замкнутая или разомкнутая гладкая линия на комплексной плоскости; j(t, t1).определенная на Г (вообще говоря,… …   Математическая энциклопедия

  • ГАУССА-ОСТРОГРАДСКОГО ФОРМУЛА — одна из основных интегральных теорем векторного анализа, связывающая объемный интеграл с поверхностным: Здесь замкнутая поверхность, ограничивающая 3 мерную область V, а п проекция вектора на внеш. нормаль к поверхности. Получена Дж. Грином (G.… …   Физическая энциклопедия

  • РИМАНА - ГУРВИЦА ФОРМУЛА — ф о р м у л а Г у р в и ц а, с о о т н о ш е н и е Г у р в и ц а, формула, связывающая род замкнутой римановой поверхности с числом ее листов и кратностью точек ветвления. Пусть R замкнутая риманова поверхность рода накрывающая Rриманова… …   Математическая энциклопедия

  • Декартово замкнутая категория — В теории категорий декартово замкнутой называется категория, допускающая интернализацию понятия морфизма. Другими словами, каждому морфизму в ней соответствует некоторый объект , представляющий его. Декартово замкнутые категории, находятся, в… …   Википедия

  • РЕАЛИЗУЕМОСТЬ — один из видов неклассич. интерпретаций логических и логико математических языков. Различные интерпретации типа Р. определяются по следующей схеме. Для формул логико математич. языка определяется отношение объект реализует замкнутую формулу F , к… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.