Pięć dni z logiką w Chęcinach

Pod sam koniec sierpnia studenci Wydziału Filozofii UW, a także MIM UW i Uniwersytetu Gdańskiego wzięli udział w XIX Warsztatach Logicznych. Młodzi miłośnicy logiki ćwiczyli się w zakresie teorii mnogości, teorii obliczeń, matematyki odwrotnej, złożoności dowodów, logiki modalnej oraz interpretowalności teorii.

Warsztaty odbywały się w dniach 26-30 sierpnia 2023 r. w Chęcinach. Zorganizowali Organizatorzy: Katarzyna W. Kowalik, dr Mateusz Łełyk, dr Bartosz Wcisło.

Warsztaty obejmowały następujące zajęcia:

• Interpretacje i teorie sekwencyjne (Piotr Gruza, MIM UW)
• Wstęp do Matematyki odwrotnej (Katarzyna W. Kowalik, MIM UW)
• System rezolucji i automatyzacja dowodów (Leszek Kołodziejczyk, MIM UW)
• Wprowadzenie do teorii obliczeń (Michał Wrocławski, WFZ UW; Dariusz Kalociński, IPI PAN)
• Teorie solidne (Mateusz Łełyk, WFZ UW)
• Liczby mierzalne a determinacja gier (Bartosz Wcisło, IF UG)
• Wstęp do logiki modalnej (Jędrzej Kołodziejski, MIM UW).