Проблема логического обоснования дедуктивно-математического знания от Античности до XX века: Логико-математический и философский аспекты
| ISBN | 978-5-9710-6525-8 |
| Автор | Бирюков Б.В., Бирюкова Л.Г. |
| Издательство | ЛЕНАНД |
| Переплет | м |
| Формат | 60x90/16 |
| Вес, гр | 280 |
| Год | 2019 |
| Стр. | 240 |
| ID | 56ЛИБ |
В книге освещаются вопросы логико-математического обоснования математики. Рассматриваются такие направления в логико-философских исследованиях, которые связаны с идеей бесконечности, теорией пределов, арифметизацией анализа, развитием аксиоматического метода, теорией множеств. Не обойден вниманием и вопрос о том, является ли логика основой математики. Обсуждаются проблемы, связанные со множественностью путей обоснования дедуктивного знания.