Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Wersja z dnia 14:54, 30 lis 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Dodatki) ← Poprzednia edycja |
Wersja z dnia 14:58, 30 lis 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Do wykładów 8-9) Następna edycja → |
||
Linia 193: | Linia 193: | ||
* [[Media: chaitincompcomp.pdf | Gregory J. Chaitin: Computational Complexity and Godel's Incompleteness Theorem.]] | * [[Media: chaitincompcomp.pdf | Gregory J. Chaitin: Computational Complexity and Godel's Incompleteness Theorem.]] | ||
- | * [[Media: chaitinramiramirez.pdf | Gregory J. Chaitin: Komputery, Paradoksy i Podstawy Matematyki.]] | + | * [[Media: chaitinramiramzes.pdf | Gregory J. Chaitin: Komputery, Paradoksy i Podstawy Matematyki.]] |
* [[Media: compcompcol.pdf | Scott Aaronson: Is P Versus NP Formally Independent?.]] | * [[Media: compcompcol.pdf | Scott Aaronson: Is P Versus NP Formally Independent?.]] | ||
Linia 239: | Linia 239: | ||
* [[Media: kulturakolany.pdf | Adam Kolany: Kultura matematyczna. Świadomość środków, świadomość ograniczeń.]] | * [[Media: kulturakolany.pdf | Adam Kolany: Kultura matematyczna. Świadomość środków, świadomość ograniczeń.]] | ||
- | * [[Media: lafitteincompletenesss.pdf | Gregory Lafitte: Godel's incompleteness revisited.]] | + | * [[Media: lafitteincompleteness.pdf | Gregory Lafitte: Godel's incompleteness revisited.]] |
* [[Media: magnusbomansurvey.pdf | Magnus Boman: A Survey of Provability Logic.]] | * [[Media: magnusbomansurvey.pdf | Magnus Boman: A Survey of Provability Logic.]] |
Wersja z dnia 14:58, 30 lis 2009
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Metalogika (Uniwersytet Opolski)
Dzięki uprzejmości Instytutu Filozofii Uniwersytetu Opolskiego Jerzy Pogonowski wygłosi dla doktorantów oraz studentów tego Instytutu cykl wykładów Metalogika. Wykłady będą odbywały się we wtorki (co dwa tygodnie), w sali 327 Collegium Civitas, Opole, ul. Katowicka 89.
Prezentacje
- Metalogika 0. Wstęp (historyczny). 13X2009, 10:00-11:30.
- Metalogika 1. Preliminaria algebraiczne. 13X2009, 14:15-15:45.
- Metalogika 2. Powtórka z Elementarza. 27X2009, 10:00-11:30.
- Metalogika 3. Ogólne operacje konsekwencji. 27X2009, 14:15-15:45.
- Metalogika 4. Logiki abstrakcyjne. Przykłady. 10XI2009, 10:00-11:30.
- Metalogika 5. Twierdzenia Lindströma. 10XI2009, 14:15-15:45.
- Metalogika 6. Funkcje rekurencyjne. 24XI2009, 10:00-11:30.
- Metalogika 7. Reprezentowalność w PA. Arytmetyzacja składni. 24XI2009, 14:15-15:45.
- Metalogika 8. Twierdzenia: Gödla, Rossera, Löba, Tarskiego. 8XII2009, 10:00-11:30.
- Metalogika 9. Teorie rozstrzygalne i nierozstrzygalne. Twierdzenie Churcha. 8XII2009, 14:15-15:45.
- Metalogika 10. Tablice analityczne. 5I2010, 10:00-11:30.
- Metalogika 11. Formalizm Gentzena. 5I2010, 14:15-15:45.
- Metalogika 12. Klasyczna teoria modeli. 19I2010, 10:00-11:30.
- Metalogika 13. Współczesna teoria modeli. 19I2010, 14:15-15:45.
- Metalogika 14. Metalogika a teoria mnogości. 2II2010, 10:00-11:30.
Dodatki
Do wykładów 0-3
Do wykładów 4-5
Do wykładów 6-7
Do wykładów 8-9
Informacje pomocnicze
Wszystkie pojęcia matematyczne wykorzystywane w wykładach będą objaśniane na bieżąco. Zakłada się, że słuchacze mają za sobą elementarny kurs logiki, obejmujący Klasyczny Rachunek Zdań (KRZ) oraz Klasyczny Rachunek Predykatów (KRP). Preliminaria logiczne i matematyczne znaleźć można np. w wykładach:
Znakomitym wstępem algebraicznym jest monografia:
Pomoce dydaktyczne z logiki matematycznej (zarówno polskie jak i obcojęzyczne) dostępne są na naszej stronie odnośników: