к дальнейшему обоснованию математического знания,
Затем математики обратились к дальнейшему обоснованию математического знания, в том числе к анализу самого инструмента математических исследований - к построению теорий математической логики [20,21]. Т.е. сами математические исследования стали предметом изучения новой дисциплины - теории доказательств или метаматематики [21]. Название метаматематика подчеркивает, что в теории доказательств происходит выход на мета-уровень относительно объекта исследования - собственно математической теории. Наиболее естественным продолжением исследований в рамках рассматриваемой тенденции мог бы быть дальнейший переход к более глубокому естественнонаучному обоснованию логики путем исследования причин ее происхождения. Подчеркивая, что при этом происходит дальнейший переход на следующий мета-уровень относительно математической логики, теорию происхождения логики можно было бы назвать метаметаматематикой. Т. е., указанная тенденция такова:
математика --> метаматематика --> метаметаматематика.
Содержание Назад Вперед
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий