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


Do początku strony