Смотреть больше слов в «Электронном словаре анаграмм русского языка»
теория доказательств, теория доказательства, в широком смысле слова — Метатеория математики, не предполагающая никаких специальных ограничений ... смотреть
МЕТАМАТЕМАТИКА, теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких спец. ограниче... смотреть
МЕТАМАТЕМАТИКА — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощь... смотреть
раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных мето... смотреть
1) Орфографическая запись слова: метаматематика2) Ударение в слове: метаматем`атика3) Деление слова на слоги (перенос слова): метаматематика4) Фонетиче... смотреть
МЕТАМАТЕМАТИКА(греч.). Философия математики.Словарь иностранных слов, вошедших в состав русского языка.- Чудинов А.Н.,1910.МЕТАМАТЕМАТИКАгреч., от meta... смотреть
приставка - МЕТА; корень - МАТЕМАТ; суффикс - ИК; окончание - А; Основа слова: МЕТАМАТЕМАТИКВычисленный способ образования слова: Приставочно-суффиксал... смотреть
МЕТАМАТЕМА́ТИКА см. Метатеория. Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия.Под редакцией Ф. В. Константинова.1960—1970.
теория доказательств) — теория, к-рая занимается изучением различных свойств формальных систем и исчислений (непротиворечивость, полнота и др.). Термин “М.” введен Гильбертом в связи с его концепцией обоснования математики (Формализм). За последние годы в этой области получен ряд важных результатов (теорема Геделя о неполноте формальной арифметики и о невозможности доказательства непротиворечивости системы с помощью средств, формализуемых в этой системе, и др.). ... смотреть
- совокупность математич. теорий, используемых при изучении формальных теорий (исчислений). М., относящаяся к изучению данной формальной теории, состав... смотреть
Ударение в слове: метаматем`атикаУдарение падает на букву: аБезударные гласные в слове: метаматем`атика
Rzeczownik метаматематика f metamatematyka f
-и, ж. Галузь методології і математики, що вивчає особливості математичних теорій засобами та методами математики й математичної логіки.
метаматема/тика, -и
ж. metamatematica f
-и, ж. Галузь методології і математики, що вивчає особливості математичних теорій засобами та методами математики й математичної логіки.
Начальная форма - Метаматематика, слово обычно не имеет множественного числа, единственное число, женский род, именительный падеж, неодушевленное
імен. жін. родуметаматематика
сущ. жен. родаметаматематика
f.metamathematics
метаматема́тика (від мета... і математика) наука, що вивчає формалізовані математичні теорії.
МЕТАМАТЕМА́ТИКА.
(мета... і математика) наука, що вивчає формалізовані математичні теорії.
метаматем'атика, -и
métamathématique f
(1 ж)
метаматематика метаматем`атика, -и
metamathematics
metamathematics
метаматематика
Філософія математики
метаматэматыка, жен.
наук. метаматема́тика
наук. метаматематика
см. Метатеория.
metamathematics
metamathematics
Метаматэматыка
метаматематика
метаматэматыка