Смотреть больше слов в «Словнику іншомовних слів Мельничука»
теория доказательств, теория доказательства, в широком смысле слова — Метатеория математики, не предполагающая никаких специальных ограничений ... смотреть
МЕТАМАТЕМАТИКА, теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких спец. ограниче... смотреть
МЕТАМАТЕМАТИКА — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощь... смотреть
раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных мето... смотреть
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
Метаматэматыка
метаматематика
метаматэматыка