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

Поиск по словарю

Философия: что такое метаматематика

метаматематика - это:

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

Узнать значение "метаматематика" онлайн

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

Директ 1 блок