tgoop.com/logic_metamathematics/929
Create:
Last Update:
Last Update:
В истории науки и эпистемологии сверхпристальное внимание к логике проявляется в рамках изучения оснований математики вообще и отдельных математических теорий в частности, начиная с 1910 года (выход первого тома Principia Mathematica Уайтхеда и Рассела) и до 40-х годов того же столетия. Фундаментальный вопрос здесь: что выступает основанием чего - логика математики (Рассел, Уайтхед, Гильберт и другие) или, наоборот, математика логики (Брауэр и его адепты). Примерно в этот период в научный словооброт и входит понятие Математическая логика, которое впоследствии станет названием одноименной специальности. Здесь изучается логика, теснейшим образом связанная с математическими теориями.
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/929