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