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