Uniwersytet Warszawski Instytut Filozofii

XV Warsztaty Logiczne

„Arytmetyka – Prawdopodobieństwo – Złożoność”

Białka Tatrzańska, 3 – 10 sierpnia 2014 r.

• Strona GłównaStrona główna — informacje ogólne
• ProgramProgram warsztatów — plan kursów i ich programy
• KomitetKomitety Programowy i Organizacyjny warsztatów; adresy kontaktowe
• RejestracjaRejestracja na warsztaty; terminy, dealine'y
• ZakwaterowanieMiejsce warsztatów

Program (Szczegóły)

Tematyka:

• Logiczne podstawy arytmetyki, tj. zagadnienia teorii modeli arytmetyki, teorii dowodu arytmetyki, badania sił wyrazu teorii arytmetycznych (także z kwantyfikatorami uogólnionymi), słabe arytmetyki, podsystemy arytmetyki drugiego rzędu, wszystko to oczywiście w ważkim filozoficznie kontekście podstaw matematyki,
• Zagadnienia związane z rachunkiem prawdopodobieństwa: metody bayesowskie w logice i kognitywistyce, złożoność Kołmogorowa, teoria informacji oraz zastosowania rachunku prawdopodobieństwa w epistemologii,
• Teoria złożoności obliczeniowej, teoria automatów i obliczeń w jej związkach z logiką, teoria złożoności opisowej i modeli skończonych oraz teoria wyuczalności (ze szczególnym uwzględnieniem kolektywnego uczenia się), złożoność kwantyfikatorów uogólnionych.

Wykładowcy:

Lista wykładowców tegorocznej edycji Warsztatów Logicznych:

• Zofia Adamowicz (IM PAN) – Stopnie Turinga zupełnych teorii arytmetycznych
• Damian Niwiński (MIM UW) – μ-rachunek - logika modalna z punktami stałymi
• Marcin Mostowski (IF UW) – TBA
• Tomasz Połacik (IM UŚ) – O konserwatywności fragmentów Arytmetyki Peano nad Arytmetyką Heytinga
• Jerzy Tomasik (DN&T AU) – O pewnych zastosowaniach (ultra-)produktów. Od syntezy teorii według Łosia do uogólnionych porządków Keislera
• Rafał Urbaniak (CLPS U. Gent, IFSiD UG) – (1) Za mocne z filtrem, (2) Mereologia po części zawodzi, (3) Złe towarzystwo na dobre wychodzi
• Leszek A. Kołodziejczyk (MIM UW) – Jak silnych aksjomatów potrzeba do kategorycznej charakteryzacji liczb naturalnych?
• Eryk Kopczyński (MIM UW) – Hierarchia wielomianowa (i nie tylko)
• Leszek Wroński (IF UJ) – Probabilistyczna rewizja przekonań
• Marek Czarnecki (IF UW) – Logiczne własności teorii stopni nierozstrzygalności
• Michał Tomasz Godziszewski (IF UW, MIMUW, FUW) – Arytmetyka Peano z kwantyfikatorem Ramseya
• Dariusz Kalociński (IF UW) – Algorytmy uzgadniania semantyki kwantyfikatorów i łańcuchy Markowa
• Tomasz Steifer (IF UW) – Złożoność diofantyczna a hierarchia wielomianowa
• Jakub Uszyński (IF UW) – Struktury algebraiczne w logice
• Przemysław Wałęga (IF UW) – Złożoność obliczeniowa pewnych kwantyfikatorów Ramseya
• Michał Wrocławski (IF UW) – Niezależność twierdzenia Goodsteina od PA

Siatka zajęć:

Niedziela, 3 sierpnia

• Do 17⁰⁰ przyjazd gości
• 17⁰⁰ – 18⁰⁰ obiadokolacja
• 18⁰⁰ – 18⁴⁵ Michał Wrocławski: Niezależność twierdzenia Goodsteina od PA
• 19⁰⁰ – 19⁴⁵ Michał Wrocławski: Niezależność twierdzenia Goodsteina od PA

(w zależności od pogody, warunków na drogach etc. inauguracyjny referat może odbyć się z opóźnieniem do ok. 1h)

Poniedziałek, 4 sierpnia

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Leszek Kołodziejczyk: Jak silnych aksjomatów potrzeba do kategorycznej charakteryzacji liczb naturalnych?
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ Leszek Kołodziejczyk: Jak silnych aksjomatów potrzeba do kategorycznej charakteryzacji liczb naturalnych?
• 11⁴⁵ – 12¹⁵ przerwa kawowa
• 12¹⁵ – 13⁰⁰ Tomasz Połacik: O konserwatywności fragmentów PA nad HA
• 13⁰⁰ – 13¹⁵ przerwa
• 13¹⁵ – 14⁰⁰ Tomasz Połacik: O konserwatywności fragmentów PA nad HA
• 14⁰⁰ – 16⁰⁰ przerwa obiadowa (obiad 14:30)
• 16⁰⁰ – 16⁴⁵ Jerzy Tomasik: O pewnych zastosowaniach (ultra-)produktów. Od syntezy teorii według Łosia do uogólnionych porządków Keislera
• 16⁴⁵ – 17⁰⁰ przerwa
• 17⁰⁰ – 17⁴⁵ Jerzy Tomasik: O pewnych zastosowaniach (ultra-)produktów. Od syntezy teorii według Łosia do uogólnionych porządków Keislera
• 17⁴⁵ – 18¹⁵ przerwa kawowa
• 18¹⁵ – 19⁰⁰ Dariusz Kalociński: Algorytmy uzgadniania semantyki kwantyfikatorów i łańcuchy Markowa
• Od 20⁰⁰ ognisko

Wtorek, 5 sierpnia

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Leszek Kołodziejczyk: Jak silnych aksjomatów potrzeba do kategorycznej charakteryzacji liczb naturalnych?
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ Leszek Kołodziejczyk: Jak silnych aksjomatów potrzeba do kategorycznej charakteryzacji liczb naturalnych?
• 11⁴⁵ – 12¹⁵ przerwa kawowa
• 12¹⁵ – 13⁰⁰ Tomasz Połacik: O konserwatywności fragmentów PA nad HA
• 13⁰⁰ – 13¹⁵ przerwa
• 13¹⁵ – 14⁰⁰ Tomasz Połacik: O konserwatywności fragmentów PA nad HA
• 14⁰⁰ – 14¹⁵ przerwa
• 14¹⁵ – 15⁰⁰ Dariusz Kalociński: Algorytmy uzgadniania semantyki kwantyfikatorów i łańcuchy Markowa
• 15⁰⁰ – 15³⁰ przerwa kawowa
• 15³⁰ – 16¹⁵ Przemysław Wałęga: Złożoność obliczeniowa pewnych kwantyfikatorów Ramseya
• 16¹⁵ – 16³⁰ przerwa
• 16³⁰ – 17¹⁵ Przemysław Wałęga: Złożoność obliczeniowa pewnych kwantyfikatorów Ramseya
• 17³⁰ obiadokolacja

Środa, 6 sierpnia

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Damian Niwiński: μ-rachunek: logika modalna z punktami stałymi
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ Damian Niwiński: μ-rachunek: logika modalna z punktami stałymi
• 11⁴⁵ – 12¹⁵ przerwa kawowa
• 12¹⁵ – 13⁰⁰ Damian Niwiński: μ-rachunek: logika modalna z punktami stałymi
• 13⁰⁰ – 13¹⁵ przerwa
• 13¹⁵ – 14⁰⁰ Eryk Kopczyński: Hierarchia wielomianowa (i nie tylko)
• 14⁰⁰ – 14¹⁵ przerwa
• 14¹⁵ – 15⁰⁰ Eryk Kopczyński: Hierarchia wielomianowa (i nie tylko)
• 15⁰⁰ – 15³⁰ przerwa kawowa
• 15³⁰ – 16¹⁵ Eryk Kopczyński: Hierarchia wielomianowa (i nie tylko)
• 16¹⁵ – 16³⁰ przerwa
• 16³⁰ – 17¹⁵ Leszek Wroński: Probabilistyczna rewizja przekonań
• 17¹⁵ – 17³⁰ przerwa
• 17³⁰ – 18¹⁵ Leszek Wroński: Probabilistyczna rewizja przekonań
• 18³⁰ obiadokolacja

Czwartek, 7 sierpnia

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Leszek Wroński: Probabilistyczna rewizja przekonań
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ Leszek Wroński: Probabilistyczna rewizja przekonań
• 11⁴⁵ – 12¹⁵ przerwa kawowa
• 12¹⁵ – 13⁰⁰ Eryk Kopczyński: Hierarchia wielomianowa (i nie tylko)
• 13⁰⁰ – 13¹⁵ przerwa
• 13¹⁵ – 14⁰⁰ Eryk Kopczyński: Hierarchia wielomianowa (i nie tylko)
• 14⁰⁰ – 15⁰⁰ obiad
• 15⁰⁰ – 21⁰⁰ czas wolny (możliwa wycieczka)
• Od 21⁰⁰ ognisko

Piątek, 8 sierpnia

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Jakub Uszyński: Struktury algebraiczne w logice
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ Jakub Uszyński: Struktury algebraiczne w logice
• 11⁴⁵ – 12¹⁵ przerwa kawowa
• 12¹⁵ – 13⁰⁰ Marek Czarnecki: Logiczne własności teorii stopni Turinga
• 13⁰⁰ – 13¹⁵ przerwa
• 13¹⁵ – 14⁰⁰ Marek Czarnecki: Logiczne własności teorii stopni Turinga
• 14⁰⁰ – 14¹⁵ przerwa
• 14¹⁵ – 15⁰⁰ Rafał Urbaniak: Za mocne z filtrem
• 15⁰⁰ – 15³⁰ przerwa kawowa
• 15³⁰ – 16¹⁵ Rafał Urbaniak: Za mocne z filtrem
• 16¹⁵ – 16³⁰ przerwa
• 16³⁰ – 17¹⁵ Tomasz Steifer: Złożoność diofantyczna a hierarchia wielomianowa
• 17¹⁵ – 17³⁰ przerwa
• 17³⁰ – obiadokolacja

Sobota, 9 sierpnia

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Marek Czarnecki: Logiczne własności teorii stopni Turinga
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ Marek Czarnecki: Logiczne własności teorii stopni Turinga
• 11⁴⁵ – 12¹⁵ przerwa kawowa
• 12¹⁵ – 13⁰⁰ Zofia Adamowicz: Stopnie Turinga zupełnych teorii arytmetycznych
• 13⁰⁰ – 13¹⁵ przerwa
• 13¹⁵ – 14⁰⁰ Zofia Adamowicz: Stopnie Turinga zupełnych teorii arytmetycznych
• 14⁰⁰ – 16⁰⁰ przerwa obiadowa (obiad 14:30)
• 16⁰⁰ – 16⁴⁵ Zofia Adamowicz: Stopnie Turinga zupełnych teorii arytmetycznych
• 16⁴⁵ – 17⁰⁰ przerwa
• 17⁰⁰ – 17⁴⁵ Rafał Urbaniak: Mereologia po części zawodzi
• 17⁴⁵ – 18¹⁵ przerwa kawowa
• 18¹⁵ – 19⁰⁰ Rafał Urbaniak: Mereologia po części zawodzi
• 19⁰⁰ – 19¹⁵ przerwa
• 19¹⁵ – 20⁰⁰ Tomasz Steifer: Złożoność diofantyczna a hierarchia wielomianowa
• Od 20³⁰ ognisko

Niedziela, 10 sierpnia

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ Michał Godziszewski: Arytmetyka Peano z kwantyfikatorem Ramseya
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ Michał Godziszewski: Arytmetyka Peano z kwantyfikatorem Ramseya
• 11⁴⁵ – 12¹⁵ przerwa kawowa
• 12¹⁵ – 13⁰⁰ Michał Godziszewski: Arytmetyka Peano z kwantyfikatorem Ramseya
• 13⁰⁰ – 13¹⁵ przerwa
• 13¹⁵ – 14⁰⁰ Marcin Mostowski - TBA
• 14⁰⁰ – 14¹⁵ przerwa
• 14¹⁵ – 15⁰⁰ Marcin Mostowski - TBA
• 15⁰⁰ zakończenie warsztatów

Uniwersytet Warszawski Instytut Filozofii