Математика без оснований, но с философией

Математика парадоксальна. Она помогает исследовать реальность, но ее объектов в реальности нет. Она является самой достоверной наукой, но не может доказать собственную достоверность. Выпуск о философских проблемах царицы наук. Гость — философ Владислав Шапошников Ведущий — Антон Кузнецов 00:00 - Введение 00:58 - Зачем нужна философия математики? 03:51 - Числа и племена Амазонии. Математика не очевидна 05:48 - Проблема формального и неформального. Избавимся от интуиций! 12:48 - Что такое поиск оснований математики? 15:46 - До 19 века основания не искали. Они в божественном 18:15 - Проблема оснований возникает, потому что математики стали атеистами? 20:14 - Математика не была одинаковой во все времена 22:15 - Разрыв между математикой и реальностью 28:30 - Формализация математики и ее основания 30:50 - Противостояние между формалистами и интуиционистами 37:54 - Гедель. Почему основания так и не нашли и скорее всего не найти 41:46 - Заключение от Мэри