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