LEMUS Do Strony Głównej Warsztatów VI
LEMUS
Tematy poprzednich Warsztatów Logiki, Informatyki i Filozofii Nauki
Każdy z warsztatów był powiązany z jakąś rocznicą z historii wzajemnych oddziaływań informatyki i logiki. Ich inicjatorem, poczynając od trzeciej edycji, byŁ Komitet Nauk Filozoficznych PAN wespół z Katedrą Logiki, Informatyki i Filozofii Nauki Uniwersytetu w Białymstoku, przy współdziałaniu jeszcze jednego lub więcej ośrodków. Odsyłacze kierują do programów, a w I także do pełnych tekstów odczytów w języku angielskim.
- I. Wzajemne oddziaływania informatyki i logiki
W stulecie urodzin Emila Posta (Augustów, 1897)
Białystok 13-14 grudnia 1997.
Współrganizatorzy: Instytut Informatyki Politechniki Białostockiej, Instytut Informatyki UwB.- II. Maszyna Turinga i Mechanizacja Rozumowań
W pół wieku po raporcie Alana M. Turinga Intelligent Machinery - 1948
Zakopane, 27.IX - 1.X, 1998
Współorganizator: Instytut Informatyki UJ.- III. Hilbert i Zagadnienie Rozstrzygalności
W wigilię stulecia odczytu Davida Hilberta "Mathematische Probleme" - 1900
Zakopane, 26.IX - 30.IX. 1999
Współorganizator: Polskie Towarzystwo Logiki i Filozofii Nauki.- IV. TARSKI versus HILBERT
Wynikanie semantyczne a wyprowadzalność formalna
W stulecie Drugiego Problemu Hilberta.
Zakopane 30.IX - 3.X. 2000
Współorganizator: Polskie Towarzystwo Logiki i Filozofii Nauki.- V. Wolny Rynek jako System Przetwarzania Informacji
- Z problematyki algorytmizacji w badaniach społecznych.
W dziesięciolecie śmierci Friedricha Hayeka.
Zakopane 26-29 września 2002.
Współorganizatorzy - zob. Strona Główna Warsztatów V.