метаматематика — метаматематика … Орфографический словарь-справочник
Метаматематика — Метаматематика раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» … Википедия
метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество некоторых конечных… … Словарь терминов логики
Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… … Большая советская энциклопедия
МЕТАМАТЕМАТИКА — см. Метатеория. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 … Философская энциклопедия
МЕТАМАТЕМАТИКА — совокупность математич. теорий, используемых при изучении формальных теорий (исчислений). М., относящаяся к изучению данной формальной теории, составляет то, что наз. метатеорией формальной теории. В близком смысле термин М. используется как… … Математическая энциклопедия
метаматематика — метаматем атика, и … Русский орфографический словарь
метаматематика — (1 ж) … Орфографический словарь русского языка
метаматематика — метаматема/тика, и … Слитно. Раздельно. Через дефис.
метаматематика — и, ж. Галузь методології і математики, що вивчає особливості математичних теорій засобами та методами математики й математичної логіки … Український тлумачний словник