Поиск в словарях
Искать во всех

Математическая энциклопедия - метаматематика

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

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

В близком смысле термин "М." используется как синоним доказательств теории.

А. Г. Драгалин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985

Рейтинг статьи:
Комментарии:

Вопрос-ответ:

Что такое метаматематика
Значение слова метаматематика
Что означает метаматематика
Толкование слова метаматематика
Определение термина метаматематика
metamatematika это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):