Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Wersja z dnia 13:32, 27 gru 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.) ← Poprzednia edycja |
Wersja z dnia 13:50, 27 gru 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Do wykładów 8-9: Twierdzenia: Gödla, Rossera, Löba, Tarskiego, Churcha.) Następna edycja → |
||
Linia 229: | Linia 229: | ||
===Do wykładów 8-9: Twierdzenia: Gödla, Rossera, Löba, Tarskiego, Churcha.=== | ===Do wykładów 8-9: Twierdzenia: Gödla, Rossera, Löba, Tarskiego, Churcha.=== | ||
- | * [[Media: compcompcol.pdf | Scott Aaronson: Is P Versus NP Formally Independent?.]] | + | * [[Media: compcompcol.pdf | Scott Aaronson: Is P Versus NP Formally Independent?]] |
+ | |||
+ | * [[Media: kruskalmargareta.pdf | Margareta Ackerman: Kruskal's Tree Theorem.]] | ||
+ | |||
+ | * [[Media: npcreativesets.pdf | Manindra Agrawal, Somenath Biswas: NP-Creative Sets: A New Class of Creative Sets in NP*.]] | ||
* [[Media: avigadhalting.pdf | Jeremy Avigad: Incompleteness via the halting problem.]] | * [[Media: avigadhalting.pdf | Jeremy Avigad: Incompleteness via the halting problem.]] | ||
Linia 236: | Linia 240: | ||
* [[Media: sebastianbader.pdf | Sebastian Bader: Gödel's Incompleteness Theorems.]] | * [[Media: sebastianbader.pdf | Sebastian Bader: Gödel's Incompleteness Theorems.]] | ||
+ | |||
+ | * [[Media: challenge.pdf | Henk Barendregt, Freek Wiedijk: The Challenge of Computer Mathematics.]] | ||
* [[Media: rasmusblanck.pdf | Rasmus Blanck: On Rosser sentences and proof predicates.]] | * [[Media: rasmusblanck.pdf | Rasmus Blanck: On Rosser sentences and proof predicates.]] | ||
Linia 268: | Linia 274: | ||
* [[Media: friedmangodel.pdf | Harvey M. Friedman: Formal Statements Of Gödel's Second Incompleteness Theorem.]] | * [[Media: friedmangodel.pdf | Harvey M. Friedman: Formal Statements Of Gödel's Second Incompleteness Theorem.]] | ||
+ | |||
+ | * [[Media: kruskaljeden.pdf | Jean H. Gallier: What's so special about Kruskal's theorem and the ordinal $\Gamma_{0}$? A survey of some results in proof theory. I.]] | ||
+ | |||
+ | * [[Media: kruskaldwa.pdf | Jean H. Gallier: What's so special about Kruskal's theorem and the ordinal $\Gamma_{0}$? A survey of some results in proof theory. II.]] | ||
+ | |||
+ | * [[Media: kruskaltrzy.pdf | Jean H. Gallier: What's so special about Kruskal's theorem and the ordinal $\Gamma_{0}$? A survey of some results in proof theory. III.]] | ||
* [[Media: gurevichdecision.pdf | Yuri Gurevich: On the Classical Decision Problem.]] | * [[Media: gurevichdecision.pdf | Yuri Gurevich: On the Classical Decision Problem.]] | ||
Linia 291: | Linia 303: | ||
* [[Media: henrykkotlarski.pdf | Henryk Kotlarski: On the Incompleteness Theorems.]] | * [[Media: henrykkotlarski.pdf | Henryk Kotlarski: On the Incompleteness Theorems.]] | ||
- | * [[Media: krajewskirozdzial2.pdf | Stanisław Krajewski: Twierdzenie Gödla i jego filozoficzne interpretacje.]] | + | * [[Media: krajewskirozdzial2.pdf | Stanisław Krajewski: Twierdzenie Gödla i jego filozoficzne interpretacje. Rozdział 2.]] |
* [[Media: lafitteincompleteness.pdf | Gregory Lafitte: Gödel's incompleteness revisited.]] | * [[Media: lafitteincompleteness.pdf | Gregory Lafitte: Gödel's incompleteness revisited.]] | ||
+ | |||
+ | * [[Media: lindstromgodel.pdf | Per Lindstrom: A proof of Godel's theorem.]] | ||
* [[Media: johnlucas.pdf | John R. Lucas: Umysły, maszyny i Gödel.]] | * [[Media: johnlucas.pdf | John R. Lucas: Umysły, maszyny i Gödel.]] | ||
Linia 307: | Linia 321: | ||
* [[Media: murawskiconsistencyproofs.pdf | Roman Murawski: On proofs of the consistency of arithmetic.]] | * [[Media: murawskiconsistencyproofs.pdf | Roman Murawski: On proofs of the consistency of arithmetic.]] | ||
- | * [[Media: murawskihydra.pdf | Roman Murawski: O tym, jak Herakles walczył z hydrą, czyli o potędze i słabościach matematyki..]] | + | * [[Media: murawskihydra.pdf | Roman Murawski: O tym, jak Herakles walczył z hydrą, czyli o potędze i słabościach matematyki.]] |
+ | |||
+ | * [[Media: understandingint.pdf | Edward Nelson: Understanding Intuitionism.]] | ||
* [[Media: olszewskirolatc.pdf | Adam Olszewski: O roli Tezy Churcha w dowodzie pewnego twierdzenia.]] | * [[Media: olszewskirolatc.pdf | Adam Olszewski: O roli Tezy Churcha w dowodzie pewnego twierdzenia.]] | ||
Linia 348: | Linia 364: | ||
* [[Media: robinwhitty2.pdf | Robin Whitty: Gödel's Second Incompleteness Theorem.]] | * [[Media: robinwhitty2.pdf | Robin Whitty: Gödel's Second Incompleteness Theorem.]] | ||
+ | |||
+ | * [[Media: wojtowiczparadoksy.pdf | Krzysztof Wójtowicz: Paradoksy skończoności.]] | ||
+ | |||
+ | * [[Media: hilbertzach.pdf | Richard Zach: Hilbert's Program Then and Now.]] | ||
+ | |||
+ | * [[Media: zachepsilon.pdf | Richard Zach: The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program.]] | ||
+ | |||
+ | * [[Media: zachkurtgodel.pdf | Richard Zach: Kurt Godel and Computability Theory.]] | ||
*[http://www.youtube.com/watch?v=tYjmiT422yQ&feature=related Cristian Calude: Incompleteness: A Personal Perspective.] | *[http://www.youtube.com/watch?v=tYjmiT422yQ&feature=related Cristian Calude: Incompleteness: A Personal Perspective.] |
Wersja z dnia 13:50, 27 gru 2009
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. Przypomnienie: dedukcja naturalna. 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 teorie nierozstrzygalne. Twierdzenie Churcha. 8XII2009, 14:15-15:45.
- Metalogika 10. Tablice analityczne. 5I2010, 10:00-11:30.
- Metalogika 11. Inne metody dowodowe: formalizm Gentzena, metoda rezolucji. 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: Ogólne operacje konsekwencji.
Do wykładów 4-5: Logiki abstrakcyjne.
- Jakub Szymanik: Obliczeniowy model rozumienia kwantyfikatorów w świetle badań neuropsychologicznych.
Do wykładów 6-7: Funkcje rekurencyjne.
Do wykładów 8-9: Twierdzenia: Gödla, Rossera, Löba, Tarskiego, Churcha.
Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.
Do wykładów 12-13: Teoria modeli.
Do wykładu 14: Metalogika a teoria mnogości.
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: