Перевод: с английского на все языки

со всех языков на английский

метаматематический

Страницы
  • 1
  • 2

См. также в других словарях:

  • метаматематический — метаматематический …   Орфографический словарь-справочник

  • метаматематический — метаматемат ический …   Русский орфографический словарь

  • МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …   Философская энциклопедия

  • НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз …   Математическая энциклопедия

  • Научные организации в области логики — Научные организации в области логики  это философские и математические научные организации, область исследований которых относится к логике Содержание 1 Организация логики в России …   Википедия

  • Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость  свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… …   Википедия

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

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