- аксиоматическая формулировка
- мат. axiomatic formulation
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Аксиоматическая теория множеств — формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… … Большая советская энциклопедия
АКСИОМАТИЧЕСКАЯ КВАНТОВАЯ ТЕОРИЯ ПОЛЯ — (АКТП) квантовая теория поля (КТП), построенная но образцу аксиоматич. теории, т … Физическая энциклопедия
Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см … Большая советская энциклопедия
ИНВАРИАНТНОСТЬ — (от лат. invarians, род. п. invariantis неизменяющийся), неизменность, независимость от нек рых физ. условий. Чаще рассматривается И. в матем. смысле неизменность к. л. величины по отношению к нек рым преобразованиям. Напр., если рассматривать… … Физическая энциклопедия
КВАНТОВАЯ ТЕОРИЯ ПОЛЯ. — КВАНТОВАЯ ТЕОРИЯ ПОЛЯ. Содержание:1. Квантовые поля ................. 3002. Свободные поля и корпускулярно волновой дуализм .................... 3013. Взаимодействие полей .........3024. Теория возмущений ............... 3035. Расходимости и… … Физическая энциклопедия
Парадокс Бурали-Форти — демонстрирует, что предположение о существовании множества всех порядковых чисел ведёт к противоречиям и, следовательно, противоречивой является теория множеств, в которой построение такого множества возможно. Содержание 1 Формулировка 2 История … Википедия
НЕЙМАН Джон фон — (Neumann, John von) (1903 1957), один из самых блестящих математиков первой половины 20 в. Родился 28 декабря 1903 в Будапеште. В 1926 окончил Будапештский университет, получив степень доктора философии. Продолжил математические исследования в… … Энциклопедия Кольера
ХААГА ТЕОРЕМА — следствие постулатов аксиоматич. квантовой теории поля, демонстрирующее нетривиальный характер связи свободного и взаимодействующего полей в релятивистской теории. Доказана Р. Хаагом (R. Haag) в 1955. Согласно X. т., взаимодействия представление… … Физическая энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
МЕТАТЕОРИЯ — совокупность математич. средств и методов, предназначенных для описания и определения нек рой формальной аксиоматич. теории, а также для исследования ее свойств. М. является важной составной частью метода формализации одного из центральных… … Математическая энциклопедия
Гамильтон, Уильям Роуэн — Уильям Роуэн Гамильтон William Rowan Hamilton … Википедия