III WARSZTATY
Logiki, Informatyki i Filozofii Nauki, 1999
Komunikat nr 1, 15 maja 1999
|
Zaproszenie na te Warsztaty kierujemy do środowisk zainteresowanych
logiką, informatyką, filozofią nauki, filozofią umysłu, neurobiologią,
teorią inteligencji. Miejscem styku i kontaktu tych dyscyplin jest logika
skoncentrowana wokół problematyki rozstrzygalności. Każdy z warsztatów
wiążemy z jakąś historyczną datą ważną w dziejach tej problematyki. Oto
ich lista, po której następuje komunikat o Warsztatach 1999.
- I, Białystok 1997:
Wzajemne oddziaływania informatyki i logiki -- O wkładzie Emila Posta w
logikę i podstawy
informatyki (stulecie urodzin Posta, 1897, Augustów); organizowane wespół
z Instytutem Informatyki Politechniki Białostockiej i Instytutem
Matematyki Uniwersytetu w Białymstoku.
- II, Zakopane 1998:
O maszynie Turinga (50-lecie raportu
Turinga Intelligent Machinery, 1948); organizowane wespół z
Instytutem Informatyki UJ.
- III Warsztaty LIiFN, Zakopane, 26-30 września 1999
Hilbert i Zagadnienie Rozstrzygalności: Część Pierwsza.
Głównym wykładowcą Warsztatów 1999 będzie prof. Andrzej Grzegorczyk,
Przypomni on treść swych prac o rozstrzygalności, oferując też czas na
wyjaśnianie trudniejszych punktów i podejmując związane z tematem problemy
filozoficzne. Te wyniki i poglądy będą konfrontowane z projektami
praktycznej komputerowej formalizacji matematyki, wśród których wyróżnia
się projekt Mizar (wysoka ocena w raporcie National Science Foundation,
grant z Office of Naval Research, grant NATO etc). Mizar będzie
reprezentowany przez jego autora dra Andrzeja Trybulca z Instytutu
Matematyki Uniwersytetu w Białymstoku. Historię Programu Hilberta
przedstawią odczyty z Katedry Logiki UwB.
Miejsce Warsztatów: pensjonat Pan Tadeusz,
ul. Do Białego, u wylotu Doliny Białego, o wysokim standardzie rekreacyjnym
i konferencyjnym.
Dojazd; bezpośredni z W-wy ekspresem Tatry lub
dowolnym pociągiem do Krakowa, stąd autobusem do Zakopanego (dwie godziny
jazdy, autobusy co 20 min. sprzed dworca PKP). W programie rezerwuje się
czas na wycieczki; można też na nie przeznaczyć dni bez posiedzeń: dzień
przyjazdu (26.IX) i wyjazdu (30.IX).
Zgłoszenia przyjmujemy do 15.VI.1999 e-mailem na adresy podane w nagłówku.
Koszt udziału wynosi 500 zł., gdy zostanie uiszczony do 15.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.
Kontynuacją tego komunikatu jest ,,autoportret'' organizatora Warsztatów
-- Katedry Logiki, Informatyki i Filozofii Nauki
Uniwersytetu w Białymstoku. Dostarcza on przykładów tematyki
znajdującej się na przecięciu tych trzech dyscyplin.
DOMENA "CALCULEMUS"