Математический формализм - définition. Qu'est-ce que Математический формализм
Diclib.com
Dictionnaire ChatGPT
Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:

Traduction et analyse de mots par intelligence artificielle ChatGPT

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

  • comment le mot est utilisé
  • fréquence d'utilisation
  • il est utilisé plus souvent dans le discours oral ou écrit
  • options de traduction de mots
  • exemples d'utilisation (plusieurs phrases avec traduction)
  • étymologie

Qu'est-ce (qui) est Математический формализм - définition

БШШН формализм

Математический формализм      

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

Лит.: Гильберт Д., Основания геометрии, перевод с немецкого, М. - Л., 1948, добавл. 6-10; Клини С. К., Введение в метаматематику, перевод с английского, М., 1957, § 8, 14, 15, 42, 79 (библ.); Новиков П. С., Элементы математической логики, М., 1959 (введение); Чёрч А., Введение в математическую логику, перевод с английского, т. 1, М., 1960 (введение); Генцен Г., Непротиворечивость чистой теории чисел, перевод с немецкого, в книге: Математическая теория логического вывода, М., 1967, с.77-153: Карри Х. Б., Основания математической логики, перевод с английского, М., 1969, гл. 1-4.

Ю. А. Гастев.

Параметризованный постньютоновский формализм         
Параметризо́ванный постнью́тоновский формали́зм (ППН формали́зм) — версия постньютоновского формализма, применимая не только к общей теории относительности, но и к другим метрическим теориям гравитации, когда движения тел удовлетворяют принципу эквивалентности Эйнштейна. В таком подходе явно выписываются все возможные зависимости гравитационного поля от распределения материи вплоть до соответствующего порядка обратного квадрата скорости света c^{-2} (точнее, скорости гравитации, при этом обычно ограничиваются первым порядком) и составляется наи�
Математический сборник         
РОССИЙСКИЙ НАУЧНЫЙ ЖУРНАЛ
Математический Сборник; Матем. сб.
("Математи́ческий сбо́рник",)

советский научный журнал, публикующий оригинальные научные исследования, относящиеся к различным разделам математики. Издаётся в Москве. Основан в 1866 Московским математическим обществом ("М. с." - старейший из издающихся в СССР математических журналов). В 1932-35 выходил как объединённый орган Московского, Ленинградского и Казанского математических обществ; с 1936 - орган АН СССР, а с 1948 - АН СССР и Московского математического общества. "М. с." первоначально издавался на средства, собранные среди членов общества; из-за финансовых трудностей в некоторые годы выходил нерегулярно. С 1926 выходит регулярно, по одному тому в год (до 1934 по 4 номера, а в 1935-1937 по 6 номеров); с 1938 ежегодно выходит 2 тома по 3 номера, а с 1956 - 3 тома в год по 4 номера каждый, с 1936 ведётся "Новая серия" и идёт двойная нумерация томов [с 1(43)]. Тираж (1974) около 2 тысяч экземпляров.

Wikipédia

БШСН формализм

БШСН формали́зм или формали́зм Баумгарте — Шапиро — Сибаты — Накамуры (англ. BSSN Formalism) — модификация АДМ формализма гамильтоновой формулировки общей теории относительности, разработанная в 1987—1999 годах Томасом Баумгарте, Стюартом Шапиро, Масару Сибатой и Такаси Накамурой.

АДМ формализм в силу своих неустранимых ограничений не позволяет получать стабильные численные схемы для численного моделирования. В БШСН формализме АДМ уравнения модифицированы введением вспомогательных переменных, что улучшило численную стабильность и позволило применять этот формализм к численному исследованию линейных и нелинейных гравитационных волн, а также к симуляции столкновений чёрных дыр.

Qu'est-ce que Математ<font color="red">и</font>ческий формал<font color="red">и</font>зм - définitio