Л.Д.Беклемишев. Логика и топология: родственные связи (ЛШСМ-2024)
Анонс лекции:
На многие логические явления можно смотреть с топологической точки зрения. Топология дает богатый источник моделей, которые позволяют «визуализировать» происходящее в логике или, как в случае интуиционистской логики, дать точное объяснение довольно туманной философской доктрины.
Мы обсудим базовые связи между логикой и топологией на простейших примерах из классической логики высказываний, конструктивной (интуиционистской) логики и модальной логики. На этом пути мы увидим, что общего между классической логикой и пространством Кантора; почему любое топологическое пространство — модель интуиционистской логики; и как топология подсказывает интерпретации классической логики в интуиционистской, а интуиционистской в модальной. Наконец, мы рассмотрим топологическую интерпретацию логики доказуемости, второй теоремы Гёделя о неполноте и последовательных расширений теории формулами, выражающими непротиворечивость. Все это приведет нас к топологиям на вполне упорядоченных множествах, стационарной рефлексии и утверждениям, выходящим за рамки теории множеств ZFC.
1 view
280
43
2 months ago 00:33:04 24
Твикс и все-все-все: системный анализ события. Часть 2: Таинственная ночь
3 months ago 01:19:50 1
Л.Д.Беклемишев. Логика и топология: родственные связи (ЛШСМ-2024)
10 months ago 01:04:17 11
Беседы о логике: часть 2 – беседуют математики Николай Андреев и Лев Беклемишев | Научпоп
10 months ago 00:52:51 19
Беседы о логике. Часть 1 – беседуют математики Николай Андреев и Лев Беклемишев | Научпоп
2 years ago 02:01:02 1.9K
Беседы об основаниях математики. Часть 2 // Лев Беклемишев / ЛШСМ 2022
2 years ago 01:32:20 12.5K
Беседы об основаниях математики. Часть 1 // Лев Беклемишев / ЛШСМ 2022
2 years ago 02:01:03 23
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 2
2 years ago 01:32:20 47
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 1
2 years ago 01:14:00 1
Л.Д. Беклемишев. Элементарная геометрия с точки зрения логики
3 years ago 01:12:52 1
Логика и алгоритмы. Лекция 28
4 years ago 01:43:09 13
Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 2 ()