Михайлова Н. В. Системная триада философско-методологических программ обоснования математики / Михайлова Н. В. // Философия науки. - 2009. - № 1 (40). - С. 104 - 117. - Лит. в примеч. в конце статьи.Отраслевые рубрики: математика, методология науки, философия, философия науки Ключевые слова: логика, математическая логика, математическая теория, математические доказательства, обоснование математики, философия математики, философско-методологические программы Аннотация: "Используется системный подход к программам обоснования математики, который помогает убедиться в том, что глубокие противоречия в развитой математической теории маловероятны. В обосновании математики системная триада означает, что никакая часть математики не обладает особыми привилегиями, поскольку каждая известная программа обоснования математики имеет особую надежность своих доказательств, свободных от противоречий."
|