Twierdzenie Goedla i jego interpretacje filozoficzne 3501-M34-09
Twierdzenie Gödla o niezupełności jest znane jako jedno z najważniejszych twierdzeń metalogicznych. Będzie przedstawione jego tło, potrzebne techniki matematyczne, jego dowód, będą wzmiankowane różne dowody alternatywne, a także inne pokrewne twierdzenia limitacyjne. Zostaną omówione konsekwencje filozoficzne twierdzenia, zarówno dotyczące filozofii matematyki jak i szerzej: ograniczeń metod formalnych, wpływu na filozofię umysłu. Osobne rozważania będą dotyczyć rzekomych konsekwencji tego twierdzenia, które jest czasem używane przez filozofów jakby było tylko metaforą, którą można wszędzie zastosować.
Wykład będzie w znacznej mierze odpowiadał treści książki: S. Krajewski "Twierdzenie Gödla i jego konsekwencje filozoficzne", IFiSPAN 2003. Niektóre tematy będą rozszerzone.
Od słuchaczy oczekiwana jest znajomość logiki odpowiadająca mniej więcej kursowi Logika II na studiach w Instytucie Filozofii UW.
Zajęcia ogólnodostępne. Zaliczenie na podstawie egzaminu ze znajomości podstawowych pojęć i wątków.
Rodzaj przedmiotu
Literatura
Kurt Gödel: Collected Works, Volume I: Publications 1929-1936, Oxford University Press, New York, Oxford 1986; Volume III, Oxford University Press, 1995.
Stanisław Krajewski Twierdzenie Gödla i jego konsekwencje filozoficzne: od mechanicyzmu do postmodernizmu, IFiSPAN Warszawa 2003.
Douglas R. Hofstadter, Gödel, Escher, Bach, an Eternal Golden Braid, Basic Books, New York 1979.
Ernest Nagel, James R. Newman, Twierdzenie Gödla, [oryg. 1958] tł. Barbara Stanosz, PWN, Warszawa 1966.
Raymond M. Smullyan, Gödel's Incompleteness Theorems, Oxford University Press, New York, Oxford 1992.
Roman Murawski, Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, Twierdzenia Gödla, Wyd. UAM, Poznań 1990.
Torkel Franzén, Gödel's Theorem: An Incomplete Guide to its Use and Abuse, A K Peters 2005
(Obszerny wykaz literatury jest zamieszczony w książce Twierdzenie Gödla i jego konsekwencje filozoficzne.)
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: