Основное меню

метаматематика - в словаре-справочнике по философии.

Что такое метаматематика в философии?

метаматематика:

метаматематика (теория доказательств) — теория, к-рая занимается изучением различных свойств формальных систем и исчислений (непротиворечивость, полнота и др.). термин “м.” введен гильбертом в связи с его концепцией обоснования математики (формализм). за последние годы в этой области получен ряд важных результатов (теорема гёделя о неполноте формальной арифметики и о невозможности доказательства непротиворечивости системы с помощью средств, формализуемых в этой системе, и др.).

Благодаря нашему философскому онлайн словарю Вы можете узнать точное определение термина метаматематика.