Читать онлайн «Философско-методологические основания постгёделевской математики»

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ УЧРЕЖДЕНИЕ ОБРАЗОВАНИЯ «МИНСКИЙ ГОСУДАРСТВЕННЫЙ ВЫСШИЙ РАДИОТЕХНИЧЕСКИЙ КОЛЛЕДЖ» Н. В. Михайлова ФИЛОСОФСКО-МЕТОДОЛОГИЧЕСКИЕ ОСНОВАНИЯ ПОСТГЁДЕЛЕВСКОЙ МАТЕМАТИКИ МОНОГРАФИЯ МИНСК 2009 УДК 510. 21 ББК 87+22. 1 М69 Рекомендовано к изданию Советом Учреждения образования «Минский государственный высший радиотехнический колледж» (протокол № 2 от 25. 02. 2009 г. ) Р е ц е н з е н т ы: П. И. Монастырный, доктор физико-математических наук профессор, лауреат Государственной премии БССР, профессор кафедры численных методов и программирования Белорусского государственного университета, В. В. Шлыков, доктор педагогических наук, профессор, заведующий кафедрой алгебры и геометрии, декан математического факультета Белорусского государственного педагогического университета им. М. Танка, Я. С. Яскевич, доктор философских наук, профессор, директор Института социально-гуманитарного образования Белорусского государственного экономического университета Михайлова Н. В. М69 Философско-методологические основания постгёделевской математики: монография / Н. В. Михайлова. – Мн. : МГВРК, 2009. – 156 с. ISBN 978-985-526-042-5 Монография посвящена актуальной проблеме философии математики – философско-методологическим основаниям постгёделевской математики. Предлагаемый в работе подход к анализу действующих философско- методологических программ обоснования современной математики рассматривает формализм и интуиционизм как равноправные составляющие естественного процесса развития неклассической и постнеклассической математики. Для этого в концептуальном решении проблемы оснований математики используются философско-математическая идея двойственности. Адресуется студентам, магистрантам и аспирантам философских, математических и инженерных специальностей, а также преподавателям философских и математических дисциплин и всем тем, кто интересуется философскими проблемами математики. УДК 510. 21 ББК 87+22. 1 ISBN 978-985-526-042-5 © Михайлова Н. В. , 2009 © Оформление. Учреждение образования МГВРК, 2009  ОГЛАВЛЕНИЕ ВВЕДЕНИЕ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 2 ГЛАВА 1 ИНТУИЦИОНИЗМ И ФОРМАЛИЗМ В НЕКЛАССИЧЕСКОЙ МАТЕМАТИКЕ: ДИНАМИКА РАЗВИТИЯ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 11 1. 1.