Непостижимая эффективность и философия математики
В прошлом выпуске мы поговорили об основах, но оставили подвисшим в воздухе вопрос - как нам воспринимать математику. Какие под ней лежат философские основы и откуда она берется? 🤔 Сегодня в меру своих возможностей пофилософствуем. А на повестке дня - основные школы философии математики 20в и почему математика так эффективна. 📌 В выпуске: • Во что верят математики?🏛️ • Во что играют математики? • В каких отношениях находятся математика и логика • Полаются ли математики на интуицию🧠 • Как споры рождают ещё поводы для споров 🎓 И предупреждаю, в следующем видео Гёдель пощадит только ПОДПИСАВШИХСЯ математиков! 🕒 СОДЕРЖАНИЕ: 00:00 Вступление 00:44 Бу! 01:2 Платонисты 06:35 Теория сознания Пенроуза 09:06 Математическая Вселенная 11:52 Пассивная эффективность математики 16:28 Формалисты 21:42 Логицисты 25:43 Непредикативность 27:58 Интуиционисты 31:20 Конструктивность 34:45 Интуиционисты-Когнитивисты 37:34 Споры 43:15 Структурализм 45:24 Притча 📚Книги: • М. Айгнер , Г. Циглер - Доказательства из Книги. Лучшие доказательства со времен Евклида до наших дней • Платон - Тимей ; Государство ; Менон ; Федон ; Федр • Роджер Пенроуз - Тени разума ; Новый ум короля • Макс Тегмарк - Наша математическая вселенная. В поисках фундаментальной природы реальности • Годфри Харолд Харди - Апология математика • А. Уайтхед и Б. Рассела - Principia Mathematica • Phillip J. Davis, Reuben Hersh The Mathematical Experience • Морис Клайн - Математика. Утрата определённости Музыка из видео - https://drive.google.com/drive/folder...
Telegram-канал: https://t.me/maximatiks
#математика #философия #научпоп #конструктивность #maximatika #популяризация науки #популяризация математики #философия математики #платонизм #формализм #логицизм #интуиционизм #структурализм #рассел #гильберт
