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

Математика парадоксальна. Она помогает исследовать реальность, но ее объектов в реальности нет. Она является самой достоверной наукой, но не может доказать собственную достоверность. Выпуск о философских проблемах царицы наук.

Гость — философ Владислав Шапошников

Ведущий — Антон Кузнецов 

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 - Заключение от Мэри

Полезные ссылки

выпуск на ютубе 

наше сообщество вк 

канал в тг 

Работы Владислава Шапошникова - https://istina.msu.ru/profile/vladshaposhnikov/#articles

Философия математики - https://iphlib.ru/library/collection/newphilenc/document/HASHfa8b4eb1682875831d14fa