
Sign up to save your podcasts
Or
Гость — философ Владислав Шапошников
Ведущий — Антон Кузнецов
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
5
88 ratings
Гость — философ Владислав Шапошников
Ведущий — Антон Кузнецов
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
70 Listeners
154 Listeners
130 Listeners
42 Listeners
134 Listeners
24 Listeners
96 Listeners
16 Listeners
84 Listeners
188 Listeners
20 Listeners
10 Listeners
113 Listeners
28 Listeners
14 Listeners