-
1 метаматематический
adj. metamathematicalРусско-английский словарь математических терминов > метаматематический
-
2 метаматематический
-
3 метаматематический
Mathematics: metamathematicalУниверсальный русско-английский словарь > метаматематический
-
4 метаматематический
-
5 метаматематический
-
6 метаматематический
Русско-английский математический словарь > метаматематический
-
7 метаматематический
Русско-английский научно-технический словарь Масловского > метаматематический
-
8 метаматематический
-
9 метаматематический
Русско-английский военно-политический словарь > метаматематический
-
10 метаматематический
Русско-английский словарь по информационным технологиям > метаматематический
-
11 метаматематический
adj.Русско-английский словарь по математике > метаматематический
-
12 метаматематический идеал
Mathematics: metamathematical idealУниверсальный русско-английский словарь > метаматематический идеал
-
13 метаматематический многочлен
Mathematics: metamathematical polynomialУниверсальный русско-английский словарь > метаматематический многочлен
-
14 метаматематический предикат
Mathematics: metamathematical predicateУниверсальный русско-английский словарь > метаматематический предикат
-
15 метаматематический идеал
Русско-английский научно-технический словарь Масловского > метаматематический идеал
-
16 метаматематический многочлен
Русско-английский научно-технический словарь Масловского > метаматематический многочлен
-
17 метаматематический предикат
Русско-английский научно-технический словарь Масловского > метаматематический предикат
См. также в других словарях:
метаматематический — метаматематический … Орфографический словарь-справочник
метаматематический — метаматемат ический … Русский орфографический словарь
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз … Математическая энциклопедия
Научные организации в области логики — Научные организации в области логики это философские и математические научные организации, область исследований которых относится к логике Содержание 1 Организация логики в России … Википедия
Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… … Википедия