Sesja "Trochę nowego w podstawach matematyki" dedykowana prof. Andrzejowi Grzegorczykowi

Szanowni Panstwo,

z przyjemnoscia informuje, ze za tydzien -- w sobote 13 pazdziernika odbedzie sie na Wydziale MIM UW sesja

   Trochę nowego w podstawach matematyki

dedykowana profesorowi Andrzejowi Grzegorczykowi z okazji 90. urodzin,

wpolorganizowana przez Polskie Towarzystwo Logiki i Filozofii Nauki.

Wiecej informacji ponizej. Serdecznie zapraszam
Damian Niwinski

Miejsce: MIMUW sala 4420

Poczatek: godz. 11.

Plan wykladow:

Zofia Adamowicz (IM PAN)
Słabe fragmenty arytmetyki i ciekawy predykat niesprzeczności

Konrad Zdanowski (IM PAN)
O istotnej nierozstrzygalności słabej teorii konkatenacji

Joanna Golińska-Pilarek (Inst.Filozofii UW)
O pewnych własnościach logiki równoważności opisowej

Andrzej Salwicki (UKSW)
Czego informatycy nauczyli się od Grzegorczyka

Oczekiwane jest też słowo profesora Grzegorczyka.

Calosc zakonczy sie spotkaniem w klubie pracowniczym (s. 4770) ok. godz. 14:30--15.

Przypomnijmy, ze profesor  Grzegorczyk jest wybitnym polskim filozofem, ale także wysokiej rangi matematykiem, który wniósł trwały wkład do logiki matematycznej. Wypracowane przez niego pojęcie hierarchii funkcji pierwotnie rekurencyjnych zwanej dziś powszechnie Hierarchią Grzegorczyka antycypowało teorię złożoności obliczeniowej, a pionierskie prace profesora z lat pięćdziesiątych XX wieku przyczyniły się do powstania polskiej szkoły informatyki teoretycznej.