Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Wersja z dnia 14:03, 27 gru 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Do wykładów 4-5: Logiki abstrakcyjne.) ← Poprzednia edycja |
Wersja z dnia 14:06, 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 295: | Linia 295: | ||
* [[Media: dickdejonghgit.pdf | Dick de Jongh: The Incompleteness Theorems, their content and their meaning.]] | * [[Media: dickdejonghgit.pdf | Dick de Jongh: The Incompleteness Theorems, their content and their meaning.]] | ||
- | * [[Media: kahledivorce.pdf | Reinhard Kahle: Godel's theorem. The divorce of Mathematics and Computer Science.]] | + | * [[Media: kahledivorce.pdf | Reinhard Kahle: Gödel's theorem. The divorce of Mathematics and Computer Science.]] |
* [[Media: khomskiigit.pdf | Yurii Khomskii: Gödel's Incompleteness Theorem.]] | * [[Media: khomskiigit.pdf | Yurii Khomskii: Gödel's Incompleteness Theorem.]] | ||
Linia 309: | Linia 309: | ||
* [[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: lindstromgodel.pdf | Per Lindström: A proof of Gödel'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 373: | Linia 373: | ||
* [[Media: zachepsilon.pdf | Richard Zach: The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program.]] | * [[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.]] | + | * [[Media: zachkurtgodel.pdf | Richard Zach: Kurt Gödel 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 14:06, 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
Uwaga. Dodatki nie były zbierane w żaden systematyczny sposób. Mają jedynie służyć słuchaczom w przybliżeniu różnorodności tematów, którymi zajmuje się współczesna metalogika.
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: