Беседы об основаниях математики. Часть 2 // Лев Беклемишев / ЛШСМ 2022
Основания математики — раздел философии науки, посвященный различным взглядам на природу математических объектов, утверждений и доказательств. Наличие у математики «оснований» подразумевает восходящее к Д. Гильберту представление о том, что математика строится наподобие некоторого здания, от более простых и фундаментальных структур к более сложным. Это представление закреплено в стандартной картине мира Бурбаки, однако возможны и альтернативные точки зрения, для которых «оснований» у математики как таковых нет.
Вопросы оснований математики тесно связаны с некоторыми разделами математической логики (и вызвали к жизни последнюю). Однако, в традиционных курсах обычно не хватает времени, чтобы поговорить на эти темы более подробно. По нашему плану темы для обсуждения будут в значительной мере определяться участниками беседы. Мы можем поговорить о таких:
1. Формальные vs реальные математические доказательства.
2. Прав ли Пенроуз: говорят ли теоремы Гёделя о невозможности механизации человеческого разума.
3. Конструктивизм и интуиционизм: как их понимали раньше, и как понимают сейчас.
4. Компьютерные доказательства.
5. Теоретико-множественные основания vs теоретико-категорные основания.
6. «Обратная математика»: какие аксиомы нам реально нужны?
Беклемишев Лев Дмитриевич — доктор физико-математических наук, член-корреспондент РАН.
Летняя школа «Современная математика», г. Дубна
26-27 июля 2022 г.
235 views
16
8
1 month ago 01:40:31 1
Коровы. Глобалисты. Инопланетяне.
2 months ago 00:04:37 1
«День народного единства». Познавательный мультфильм к уроку «Разговоры о важном»
2 months ago 02:16:12 1
Татьяна Монтян в Петербурге! Пышки + настойка = беседы о СВО и долге 4 500 000 ₽, Путине и коррупции
2 months ago 02:16:12 1
ТАТЬЯНА МОНТЯН: ИНТЕРВЬЮ В ПЕТЕРБУРГЕ: ПЛАВАЕМ, ВЫПИВАЕМ И РЫБАЧИМ В НЕВЕ. Беседа о СВО, Путине и… 🔥
2 months ago 00:58:41 1
Вася Обломов. Остановка Бельвиль | Интервью | ПЕРЕЖИВУ
2 months ago 01:25:33 1
Крокус – Курск – Ко ???
2 months ago 00:03:26 1
Ребёнок не говорит в 3 года. Татьяна Черниговская
2 months ago 00:38:12 1
Лицом к лицу с Карлом Густавом Юнгом, интервью (HQ) #психология
2 months ago 01:59:40 1
Организация Воронежских Марксистов. Опыт регионов. Стрим/ Никита Лопатин и Сергей Крупенько
2 months ago 00:41:15 2
Интервью Дмитрия Волкова с Николаем Дужим в Смоленске. О забеге 3100 миль и о жизни.
2 months ago 00:21:43 1
Как найти трюфели в России? – Интервью с руководителями питомников Лаготто-романьоло
2 months ago 01:13:09 1
ПЕТР НАЛИЧ - первое интервью после долгого перерыва. Жизнь. Карьера. Любовь.
2 months ago 01:15:52 1
Как жить во время войны. Интервью психиатра Юрия Вагина | ПРЯМОТА
2 months ago 00:47:58 1
Будущее России, часть 2 // беседа Михаила Левина с Александром Бобылёвым
2 months ago 00:56:52 1
Традиция и Человек. Беседа с Николаем Котаром @NicholasKotarauthor
2 months ago 00:31:18 30
Выступление и ответы на вопросы СМИ С.В.Лаврова по итогам переговоров с А.Аль-Яхьей
2 months ago 01:11:44 1
Ребёнок сидит в телефоне и не хочет больше ничего — что делать? / Редакция / Интервью
2 months ago 00:54:05 1
Виды авионики. Авионика для лёгких самолётов. Вечерние разговоры об авиации
2 months ago 00:11:42 1
Иван Янковский и Тихон Жизневский о «Преступлении и наказании»: интервью для КИНОТВ
2 months ago 00:13:12 1
Крымчанка откровенно рассказала, что увидела в Крыму во время войны | Эксклюзивное интервью
2 months ago 00:09:36 1
Аркадий Райкин. Монолог “Зеленый свет добру“ (1973)
2 months ago 03:09:10 1
Святой Августин - фильм на русском языке
2 months ago 00:00:54 1
Николай Цискаридзе - Об уходе своих педагогов / интервью #цискаридзе #цискаридзеинтервью #shorts
2 months ago 01:35:57 1
Бездомные Нью-Йорка: беспредел в приютах, мафия и ПТСР | Интервью, мигранты, США