Философский словарь
"МЕТАМАТЕМАТИКА"

Главная - Философский словарь - буква М - МЕТАМАТЕМАТИКА

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: МЕТАМАТЕМАТИКА

будет выглядеть так: Что такое МЕТАМАТЕМАТИКА

Философский словарь"МЕТАМАТЕМАТИКА"

Философский словарь
"МЕТАМАТЕМАТИКА"