МЕТАМАТЕМАТИКА

метаматема́тика (від мета... і математика) наука, що вивчає формалізовані математичні теорії.

Смотреть больше слов в «Словнику іншомовних слів Мельничука»

МЕТАМЕРІЯ →← МЕТАЛУРГІЯ

Смотреть что такое МЕТАМАТЕМАТИКА в других словарях:

МЕТАМАТЕМАТИКА

        теория доказательств, теория доказательства, в широком смысле слова — Метатеория математики, не предполагающая никаких специальных ограничений ... смотреть

МЕТАМАТЕМАТИКА

МЕТАМАТЕМАТИКА, теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких спец. ограниче... смотреть

МЕТАМАТЕМАТИКА

МЕТАМАТЕМАТИКА — раздел математической логики, изучаю­щий основания математики, структуру математических доказательств и математических теорий с помощь... смотреть

МЕТАМАТЕМАТИКА

раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных мето... смотреть

МЕТАМАТЕМАТИКА

1) Орфографическая запись слова: метаматематика2) Ударение в слове: метаматем`атика3) Деление слова на слоги (перенос слова): метаматематика4) Фонетиче... смотреть

МЕТАМАТЕМАТИКА

МЕТАМАТЕМАТИКА(греч.). Философия математики.Словарь иностранных слов, вошедших в состав русского языка.- Чудинов А.Н.,1910.МЕТАМАТЕМАТИКАгреч., от meta... смотреть

МЕТАМАТЕМАТИКА

приставка - МЕТА; корень - МАТЕМАТ; суффикс - ИК; окончание - А; Основа слова: МЕТАМАТЕМАТИКВычисленный способ образования слова: Приставочно-суффиксал... смотреть

МЕТАМАТЕМАТИКА

МЕТАМАТЕМА́ТИКА см. Метатеория. Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия.Под редакцией Ф. В. Константинова.1960—1970.

МЕТАМАТЕМАТИКА

теория доказательств) — теория, к-рая занимается изучением различных свойств формальных систем и исчислений (непротиворечивость, полнота и др.). Термин “М.” введен Гильбертом в связи с его концепцией обоснования математики (Формализм). За последние годы в этой области получен ряд важных результатов (теорема Геделя о неполноте формальной арифметики и о невозможности доказательства непротиворечивости системы с помощью средств, формализуемых в этой системе, и др.). ... смотреть

МЕТАМАТЕМАТИКА

- совокупность математич. теорий, используемых при изучении формальных теорий (исчислений). М., относящаяся к изучению данной формальной теории, состав... смотреть

МЕТАМАТЕМАТИКА

Ударение в слове: метаматем`атикаУдарение падает на букву: аБезударные гласные в слове: метаматем`атика

МЕТАМАТЕМАТИКА

Метаматематика Мета Матт Матка Математик Матема Мат Мамка Мама Маки Макет Макам Мак Маета Кмет Кит Ким Кета Кеа Катет Кат Кама Итак Имамат Имам Икт Аттик Атм Атекат Метек Метка Мик Мим Митта Мка Такт Там Тамтам Тата Аммиакат Аммиак Амми Тета Тит Акие Аки Аимак Тимка Тим Аким Акм Акт Тик Тетка Тематика Тема Амати Амт Атака Тектит Татка... смотреть

МЕТАМАТЕМАТИКА

Rzeczownik метаматематика f metamatematyka f

МЕТАМАТЕМАТИКА

-и, ж. Галузь методології і математики, що вивчає особливості математичних теорій засобами та методами математики й математичної логіки.

МЕТАМАТЕМАТИКА

метаматема/тика, -и

МЕТАМАТЕМАТИКА

ж. metamatematica f

МЕТАМАТЕМАТИКА

-и, ж. Галузь методології і математики, що вивчає особливості математичних теорій засобами та методами математики й математичної логіки.

МЕТАМАТЕМАТИКА

Начальная форма - Метаматематика, слово обычно не имеет множественного числа, единственное число, женский род, именительный падеж, неодушевленное

МЕТАМАТЕМАТИКА

імен. жін. родуметаматематика

МЕТАМАТЕМАТИКА

сущ. жен. родаметаматематика

МЕТАМАТЕМАТИКА

МЕТАМАТЕМА́ТИКА.

МЕТАМАТЕМАТИКА

(мета... і математика) наука, що вивчає формалізовані математичні теорії.

МЕТАМАТЕМАТИКА

метаматем'атика, -и

МЕТАМАТЕМАТИКА

métamathématique f

МЕТАМАТЕМАТИКА

метаматематика метаматем`атика, -и

МЕТАМАТЕМАТИКА

метаматематика

МЕТАМАТЕМАТИКА

Філософія математики

МЕТАМАТЕМАТИКА

метаматэматыка, жен.

МЕТАМАТЕМАТИКА

наук. метаматема́тика

МЕТАМАТЕМАТИКА

наук. метаматематика

МЕТАМАТЕМАТИКА

см. Метатеория.

МЕТАМАТЕМАТИКА

Метаматэматыка

МЕТАМАТЕМАТИКА

метаматематика

МЕТАМАТЕМАТИКА

метаматэматыка

T: 198