Значение слова «метание дротиков»
-
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
В широком смысле слова метаматематика — метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в ней «математики».
Источник: Википедия
-
метаматема́тика
1. раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов
Источник: Викисловарь
Похожие слова и словосочетания
- абсолютная геометрия
- абстрагирование
- автоматическое доказательство
- аддитивная комбинаторика
- аксиома непрерывности
- аксиоматический метод
- аппроксимация
- априорность
- аргумент
- асимптотическое разложение
- генеративная лингвистика
- геометрия
- дедуктивная система
- дескрипция
- дизъюнкция
- дистинкция
- доказуемость
- единственность
- изоморфизм
- инвариантность
- исчисления предикатов
- комбинаторика
- компьютерная химия
- конструктивная математика
- контрпример
- критерий демаркации
- логика первого порядка
- локально выпуклое пространство
- математик
- метатеория
- метафункция
- неопозитивист
- нормальный алгоритм
- обобщённая функция
- однозначность
- относительность
- парадигма
- парадоксы теории множеств
- паралогизм
- понятие
- порождающая грамматика
- построение
- постулат
- постулирование
- проверка статистических гипотез
- проверяемость
- рекурсия
- семантика
- синергетика
- снижение размерности
- структурная индукция
- сходимость
- теоретическая информатика
- теория
- термодинамика
- тождество
- топология
- формализация
- формулировка
- функциональный анализ
- характеристический класс
- центральная предельная теорема
- эквивалентность
- эпистемология