V Warsztaty Logiki, Informatyki i Filozofii Nauki
Zakopane 26-29 września 2002Wolny Rynek jako System Przetwarzania Informacji
Z problematyki algorytmizacji w badaniach społecznych
Założenia do Programu Warsztatów V
Celem Warsztatów jest analiza F.Hayeka koncepcji rynku jako systemu przetwarzania informacji podającego na wyjściu ceny. Ujęcie rynku jako systemu maksymalnie złożonego oraz dynamicznego wymaga odwołania się, odpowiednio, do teorii (A) złożoności algorytmicznej i (B) chaosu. Punkt A nawiązuje do logicznej problematyki rozstrzygalności (tematyka czterech wcześniejszych Warsztatów), co polegałoby na badaniu, jakie modele matematyczne oddają procesy ekonomiczne z wystarczającym przybliżeniem i na ile są osiągalne niezbędne do tego moce obliczeniowe. Podczas gdy w A niewiedzę (np. niedokładność pomiarów) traktuje się jako mogącą ograniczać możliwość działania, w B pewien jej rodzaj jest czynnikiem twórczym, gdyż pełna informacja zawarta w cenach (tzw. efektywność rynku), odebrałaby zachowaniu ekonomicznemu, w szczególności na giełdzie, charakter gry w warunkach niepewności, który zdaje się być nieodzownym psychologicznie i socjologicznie czynnikiem inwestowania (por. E.Fama, "Efficient Capital Markets", 1970).
Wyznacza to następującą strukturę Programu Warsztatów: dwie serie wykładów i dwa panele, odpowiednio do tematów A i B. Wykłady mają dać elementy wiedzy niezbędne do współpracy interdysplinarnej (informatyka, ekonomia, logika etc), a panele w gronie specjalistów (z możliwością włączania się słuchaczy) mają przetestować zasadność postawionych wyżej pytań i hipotez oraz ich przydatność jako punktu wyjścia dla programu badawczego.
Konstruowany na podstawie tych założeń Program jest sukcesywnie, w miarę podejmowanych ustaleń, podawany i aktualizowany komunikacie nr 2. Pewne roozwinięcia powyższego szkicu znajdują się w następujacych tekstach W.Marciszewskiego.
- Czy możliwa jest symulacja cyfrowa wolnego rynku?
- Rola pojęć limitacyjnych informatyki i logiki
- Gradacja niedostępności obliczeniowej w modelowaniu procesów społecznych i ekonomicznych.
Odczyt na VII Forum Teleinformatyki, 2001, w wersji skróconej wydrukowany w Computerworld z 26 listopada 2001 pt. "Nieobliczalna ekonomia". Termin "niedostępność obliczeniowa" jest tam zaproponowany jako nadrzędny w stosunku do tych wszystkich, które służą do wyrażania pojęć limitacyjnych, a więc niezupełności, nierozstrzygalności, niewykonalności rachunkowej, chaotyczności, a także indeterminizmu kwantowego etc. Każda z tych cech stanowi pewną odmianę w hierarchii niedostępności obliczeniowej, na której szczycie znajduje się nierozstrzygalność w sensie zdefiniowanym przez Turinga i Churcha.
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: Fundacja na rzecz Informatyki, Logiki i Matematyki.- IV. TARSKI versus HILBERT
Wynikanie semantyczne a wyprowadzalność formalna
W stulecie Drugiego Problemu Hilberta.
Zakopane 30.IX - 3.X. 2000
Współorganizator: Fundacja na rzecz Informatyki, Logiki i Matematyki.