TGViewer
Кафедра математической логики и теории алгоритмов мехмата МГУ Кафедра математической логики и теории алгоритмов мехмата МГУ @msu_mathlog · 340 subscribers
Post #414 199
#матлог #учёба #спецсеминар

6 марта (пятница) в 18:30 состоится заседание семинара "Mathematical Logic and Category Theory" (online)

Для получения ссылки для подключения пишите на почту azazanayupov@gmail.com

Страница семинара: https://mlct-seminar.online/

Тема доклада: The Mathematical Infinite as an Illusion.

Докладчик: Graham Priest (Distinguished Professor of the Graduate Center of the City University of New York).

Аннотация: In this talk I will describe a view of mathematical reality to the effect that:
- there is only a finite number of things
- that there is an infinite number of things is, in a sense to be made clear, an illusion
- paradox is an integral aspect of the illusion
The view is made possible by an important technical result in the model-theory of paraconsistent logic: the Collapsing Lemma.

➰ ВК
VK Кафедра математической логики МГУ. Пост со стены. #матлог #учёба #спецсеминар 6 марта (пятница) в 18:30 состоится заседание семинара "Mathemati... Смотрите полностью ВКонтакте.
  • 🔥 2
More from @msu_mathlog
  1. Oct 1, 2026#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД Семинар отдела математической логики МИАН…
  2. Sep 30, 2026#матлог #учёба #спецсеминар Kolmogorov seminar on complexity (for receive the zoom link, p…
  3. Sep 30, 2026#матлог #учёба #просеминар 💥В пятницу 2 октября состоится очередное занятие просеминара п…
  4. Sep 29, 2026#матлог #учёба #семинар #не_мехмат #ВШЭ Уважаемые коллеги, приглашаем вас принять участие…
  5. Sep 28, 2026#матлог #спецсеминар #не_мехмат #МФТИ Уважаемые коллеги, приглашаем вас на логический семи…
  6. Sep 25, 2026#матлог #учёба #спецсеминар 30 сентября 2026 г. состоится заседание Рабочего семинара по м…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →