CALCULEMUS
Spis treści Forum 1999 Strona główna Forum

Konferencja współfinansowana przez Komitet Badań Naukowych

III Warsztaty Logiki, Informatyki i Filozofii Nauki

Hilbert i Zagadnienie Rozstrzygalności Zakopane, 26.IX - 30.IX. 1999

W prawie stulecie odczytu Davida Hilberta
Mathematische Probleme - 1900

P R O G R A M P O N I E D Z I A Ł E K 9.00-9.15 --- Prof. Roman Murawski: Otwarcie Warsztatów w imieniu Polskiego Towarzystwa Logiki i Filozofii Nauki --- Prof. Witold Marciszewski: Komentarz do pewnego zdania Hilberta z Mathematische Probleme, wyrażający życzenia dla uczestników Warsztatów. Prof. Andrzej Grzegorczyk Zagadnienia rozstrzygalności Popularyzacja problemu i sprawy do zbadania 9.15-10.45   Wykład 1. P r z e r w a 11.15-12.45   Wykład 2. 16.15-17.45   Dr Anna Zalewska: Logika porządkowa Turinga jako próba "formalizacji intuicji". 19.15-...... Wspomnienia o dawnych Mistrzach. Wśród uczestników Warsztatów są tacy, co pamiętają postacie dziś już prawie legendarne: Ajdukiewicz, Kotarbińscy, Słupecki, Tarski... Będzie więc wieczór - przy piwie - wspomnień, anegdot, a nawet podsumowań roli tych postaci. W T O R E K Prof. Andrzej Grzegorczyk Zagadnienia rozstrzygalności Popularyzacja problemu i sprawy do zbadania 9.15-10.45   Wykład 3. P r z e r w a 11.15-12.45   Wykład 4. 16.15-17.45   Dr Andrzej Trybulec: Formalizacja matematyki na potrzeby organizacji wiedzy. 19.15-...... Hyde Park doktorantów. Uczestnicy konferencji będący na etapie pisania rozpraw doktorskich mają szansę podzielenia się w formie improwizowanego odczytu problemami swojej rozprawy, zapraszając na ten odczyt wszystkich zainteresowanych. Ś R O D A Prof. Andrzej Grzegorczyk Zagadnienia rozstrzygalności Popularyzacja problemu i sprawy do zbadania 9.15-10.45   Wykład 5. P r z e r w a 11.15-12.45   Wykład 6. 16.15-17.45   Wykład 7. 19.15-...... Hyde Park doktorantów. Pory posiłków 8.15 -- śniadanie 13.15 - obiad 18.15 - kolacja