Синергетика 2, Cинергетика 3 или Эволюционная кибернетика


На пути к теории происхождения логики - часть 2


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

математика --> метаматематика --> метаметаматематика.




Начало  Назад  Вперед



Книжный магазин