Полное описание
>
Светлов, Виктор Александрович .
Философия математики. Основные программы обоснования математики XX столетия : учебное пособие / В. А. Светлов. - Изд. стер. - Москва : URSS : ЛЕНАНД, 2025. - 204 с. - Загл. на корешке : Философия математики. - Тираж не указ. -
ISBN 978-5-9710-8552-2. - Текст (визуальный) : непосредственный.
Рубрики: Математика -- Философские вопросы
Кл.слова (ненормированные): ИНТУИЦИОНИЗМ -- КОНСТРУКТИВИЗМ -- ЛОГИЦИЗМ -- МАТЕМАТИЧЕСКОЕ ЗНАНИЕ -- ФОРМАЛИЗМ
Аннотация: Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия - логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. Первая глава книги посвящена изложению общего подхода к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. В книге используется большое количество первоисточников и критической литературы.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-25/41329)>
Шифр в сводном ЭК: a6dd0cda0fc3c93ce2658b3dbae508fa
Светлов, Виктор Александрович. Философия и методология науки : Учебное пособие / Московская школа конфликтологии, 2011. - 768 с. - Текст : электронный. Светлов, Виктор Александрович. Философия и методология науки. Ч. 1 : Учебное пособие / Московская школа конфликтологии, 2011. - 768 с. - Текст : электронный. Светлов, Виктор Александрович. Логика : Учебное пособие / Московская школа конфликтологии, 2020. - 432 с. - Текст : электронный. Светлов, Виктор Александрович. История и теория научного вывода / В. А. Светлов, 2024. - 431 с. - Текст (визуальный) : непосредственный. Светлов, Виктор Александрович. Логика. Классическая и неклассическая / В. А. Светлов, 2025. - 503 с. - Текст (визуальный) : непосредственный. Светлов, Виктор Александрович. Единая теория конфликта / В. А. Светлов, 2026. - 414 с. - Текст (визуальный) : непосредственный. Светлов, Виктор Александрович. Философия математики. Основные программы обоснования математики XX столетия : учебное пособие / В. А. Светлов, 2025. - 204 с. - Текст (визуальный) : непосредственный. Светлов, Виктор Александрович. Философия : учебник для вузов / В. А. Светлов., 2026. - 265 с. - Текст : электронный. Светлов, Виктор Александрович. Логика. Современный курс : учебное пособие для вузов / В. А. Светлов., 2026. - 374 с. - Текст : электронный. Светлов, Виктор Александрович. Неклассическая логика : учебное пособие для вузов / В. А. Светлов., 2026. - 100 с. - Текст : электронный. Светлов, Виктор Александрович. Основы философии : учебник для спо / В. А. Светлов., 2026. - 265 с. - Текст : электронный. Светлов, Виктор Александрович. Логика. Современный курс : учебное пособие для спо / В. А. Светлов., 2026. - 374 с. - Текст : электронный. Светлов, Виктор Александрович. История философии : учебник для вузов / В. А. Светлов., 2026. - 175 с. - Текст : электронный. Светлов, Виктор Александрович. История и философия науки. Математика : учебник для вузов / В. А. Светлов., 2026. - 209 с. - Текст : электронный. Светлов, Виктор Александрович. Конфликтология : учебник для вузов / В. А. Светлов, В. А. Семенов., 2026. - 351 с. - Текст : электронный. Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. Фосс А.Э. Сущность математики / А. Э. Фосс ; Пер. И. Яшунский, 2016. - 117 с. - Текст : непосредственный. Султанова Л.Б. Неформальная рационализация в математике / Л. Б. Султанова, 2001. - 194 с. - Текст : непосредственный. Войтов А.Г. Математика и философия. Проблема математической компетентности общества / А. Г. Войтов, 2013. - 98 с. - Текст : непосредственный. Труды Московского семинара по философии математики / МГУ им. М. В. Ломоносова. Филос. фак. Кн. 6 : Математика и реальность / под ред. В. А. Бажанова [и др.], 2014. - 502 с. - Текст : непосредственный. Коржуев А.В. Категория "Сущность" в научном познании - междисциплинарный контекст: физика, математика, биофизика : монография / А. В. Коржуев, П. И. Самойленко, 2000. - 143 с. - Текст : непосредственный. Новиков А.Г. Философские проблемы возникновения и начального этапа развития математики / А. Г. Новиков, 1992. - 160 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Малиновская Н.М. История и философия математики : учебное пособие / Н. М. Малиновская, 2018. - 58 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽