Читать онлайн «Системный синтез программ обоснования математики»

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ УЧРЕЖДЕНИЕ ОБРАЗОВАНИЯ «МИНСКИЙ ГОСУДАРСТВЕННЫЙ ВЫСШИЙ РАДИОТЕХНИЧЕСКИЙ КОЛЛЕДЖ» Н. В. МИХАЙЛОВА Н. В. МИХАЙЛОВА СИСТЕМНЫЙ СИНТЕЗ ПРОГРАММ ОБОСНОВАНИЯ СИСТЕМНЫЙ СИНТЕЗ ПРОГРАММ ОБОСНОВАНИЯ СОВРЕМЕННОЙ МАТЕМАТИКИ СОВРЕМЕННОЙ МАТЕМАТИКИ МОНОГРАФИЯ МОНОГРАФИЯ МИНСК 2008 МИНСК 2008 1 УДК 510. 21 ВВЕДЕНИЕ ББК 87+22. 1 М69 Программа обоснования современной математики состоит из Рекомендовано к изданию Советом Учреждения образования «Мин- двух взаимосвязанных уровней – математического и философско- ский государственный высший радиотехнический колледж» (протокол го. Если сущность первого состоит в применении программы обос- № 3 от 26. 03. 2008 г. ) нования к конкретной теории, что составляет чисто математиче- Р е ц е н з е н т ы: скую работу, то сущность второго состоит в том, что каждая про- П. С. Карако, доктор философских наук, профессор, грамма обоснования нуждается в философском анализе ее соответ- профессор кафедры философии и методологии науки ствия своей исходной философско-методологической задаче. По- Белорусского государственного университета, этому круг философских вопросов, нуждающихся в дальнейшем В. П. Старжинский, доктор философских наук, профессор, профессор кафедры философских учений изучении, связан с естественным синтезом различных философско- Белорусского национального технического университета методологических традиций в математике с целью создания единой Л. А. Янович, доктор физико-математических наук, теоретико-мировоззренческой программы обоснования. профессор, член-корреспондент НАН Беларуси, Проблема обоснования математики все еще далека от своего г. н. с. Института математики НАН Беларуси окончательного решения, несмотря на все усилия, предпринятые математиками и философами ХХ века ради прояснения системы Михайлова Н. В. М69 Системный синтез программ обоснования современной матема- допущений, имеющих онтологический и гносеологический ха- тики : монография / Н.