Метаматематика
Материал из Википедии — свободной энциклопедии
Метаматематика — метатеория математики, предметом исследования которой является математика.
Понятие метаматематики восходит к Давиду Гильберту, который поставил задачу перестройки оснований математики и логики с целью решения проблем полноты и непротиворечивости математики.
В математической логике под метаматематикой понимается теория доказательств. Метаматематика является первым примером метанауки.
[править] См. также
[править] Литература
- Ю. Гастев. Метаматематика // БСЭ.
