STRONA GłÓWNA "FORUM" DOMENA "CALCULEMUS"
Spis Treści 1999

Komunikat nr 2 (1 czerwca; aktualizacja 6 września, 1999)

--- Polskie Towarzystwo Logiki i Filozofii Nauki
--- Komitet Nauk Filozoficznych PAN
--- Katedra Logiki, Informatyki i Filozofii Nauki Uniwersytetu w Białymstoku
zapraszają na

III WARSZTATY Logiki, Informatyki i Filozofii Nauki HILBERT I ZAGADNIENIE ROZSTRZYGALNOŚCI 26-30.IX 1999, Zakopane

• Głównym wykładowcą będzie prof. Andrzej Grzegorczyk; tekst wykładów - pod adresem www.calculemus.org/forum/2/grzeg03.html

• Inne wykłady i dyskusje będą poświęcone zagadnieniom:
  • prawdziwość a dowodliwość w matematyce
    -- prof. R.Murawski, Inst.Matematyki UAM;
  • formalizacja matematyki na potrzeby organizacji wiedzy
    -- dr A.Trybulec, Instytut Matematyki Uniw. w Białymstoku;
    
  • logika porządkowa Turinga jako próba "formalizacji intuicji"
    -- dr A.Zalewska, Katedra Logiki (etc) Uniw. w Białymstoku.

• Program Warsztatów 1999 jest pomyślany jako pogłębienie -- w kierunku podstaw logicznych -- problematyki Warsztatów 1998, poświęconych maszynie Turinga, oraz pewnych zagadnień Warsztatów 1997 (intuicja i mechanizacja wg Posta).

• Lista uczestników.

• Czas: 26 (od godz. 18) -- 30 (rano).IX.1999.
  
• Miejsce: pensjonat "Pan Tadeusz", ul. Do Białego, u wylotu Doliny Białego.

• Dojazd: bezpośredni z W-wy ekspresem Tatry lub dowolnym pociągiem do Krakowa, stąd autobusem do Zakopanego.
  
• W programie rezerwuje się czas na wycieczki.

• Zgłoszenia przyjmujemy do 30.VI.1999 e-mailem na adresy:
  • Witold Marciszewski - witmar@calculemus.org
    
  • cc: Roman Matuszewski - romat@mizar.org

  Koszt udziału wynosi 500 zł., gdy zostanie uiszczony wraz ze zgłoszeniem (do 30.VI.1999), a 600 zł. po tej dacie. Ostateczny termin wpłat -- 15.VIII.

  Należności prosimy regulować przelewem na konto:
  Fundacja na rzecz Informatyki, Logiki i Matematyki
  Warszawa; PKO BP, XV O. w Warszawie
  rach. nr 10201156-6334-270-1-111.

  ---

  Pełny serwis informacyjny Warsztatów znajduje się pod adresem: www.calculemus.org/forum/2/

  ---