Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Jerzy Pogonowski - Metalogika - Uniwersytet Opolski

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 16:00, 30 lis 2009 (edytuj)
Pogonowski (Dyskusja | wkład)
(Do wykładów 6-7)
← Poprzednia edycja
Wersja z dnia 16:27, 30 lis 2009 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Do wykładów 8-9)
Następna edycja →
Linia 177: Linia 177:
===Do wykładów 8-9=== ===Do wykładów 8-9===
-* [[Media: alanturing1936.pdf | Alan Turing: On computable numbers, with an application to the Entscheidungsproblem.]]+* [[Media: compcompcol.pdf | Scott Aaronson: Is P Versus NP Formally Independent?.]]
- +
-* [[Media: antonsetzer.pdf | Anton Setzer: Computability Theory.]]+
- +
-* [[Media: arithmetizationfeferman.pdf | Solomon Feferman: My route to arithmetization.]]+
* [[Media: avigadhalting.pdf | Jeremy Avigad: Incompleteness via the halting problem.]] * [[Media: avigadhalting.pdf | Jeremy Avigad: Incompleteness via the halting problem.]]
* [[Media: avigadtradition.pdf | Jeremy Avigad: Gödel and the metamathematical tradition.]] * [[Media: avigadtradition.pdf | Jeremy Avigad: Gödel and the metamathematical tradition.]]
 +
 +* [[Media: sebastianbader.pdf | Sebastian Bader: Gödel's Incompleteness Theorems.]]
 +
 +* [[Media: rasmusblanck.pdf | Rasmus Blanck: On Rosser sentences and proof predicates.]]
 +
 +* [[Media: magnusbomansurvey.pdf | Magnus Boman: A Survey of Provability Logic.]]
* [[Media: boolosmind103.pdf | George Boolos: Gödel's Second Incompleteness Theorem Explained in Words of One Syllable.]] * [[Media: boolosmind103.pdf | George Boolos: Gödel's Second Incompleteness Theorem Explained in Words of One Syllable.]]
* [[Media: busschapter2.pdf | Samuel R. Buss: First-Order Proof Theory of Arithmetic.]] * [[Media: busschapter2.pdf | Samuel R. Buss: First-Order Proof Theory of Arithmetic.]]
 +
 +* [[Media: mingzhongcai.pdf | Mingzhong Cai: The Hitchhiker's Guide to the Incompleteness Theorem.]]
* [[Media: chaitincompcomp.pdf | Gregory J. Chaitin: Computational Complexity and Gödel's Incompleteness Theorem.]] * [[Media: chaitincompcomp.pdf | Gregory J. Chaitin: Computational Complexity and Gödel's Incompleteness Theorem.]]
Linia 195: Linia 199:
* [[Media: chaitinramiramzes.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: sbcooper.pdf | S. Barry Cooper: Incomputability, Fifty Years After Alan Turing.]]
* [[Media: debowski.pdf | Łukasz Dębowski: Teorioinformacyjne twierdzenie Gödla, czyli co ma logika do statystyki?]] * [[Media: debowski.pdf | Łukasz Dębowski: Teorioinformacyjne twierdzenie Gödla, czyli co ma logika do statystyki?]]
-* [[Media: dickdejonghgit.pdf | Dick de Jongh: The Incompleteness Theorems, their content and their meaning.]]+* [[Media: michaeldetlefsen.pdf | Michael Detlefsen: What Does Gödel's Second Theorem Say?]]
- +
-* [[Media: errolmartingrt.pdf | Errol Martin: Gödel's Remarkable Theorem.]]+
* [[Media: fefermangit.pdf | Solomon Feferman: The nature and significance of Gödel's incompleteness theorems.]] * [[Media: fefermangit.pdf | Solomon Feferman: The nature and significance of Gödel's incompleteness theorems.]]
Linia 209: Linia 211:
* [[Media: fm4915feferman.pdf | Solomon Feferman: Arithmetization of metamathematics in a general setting.]] * [[Media: fm4915feferman.pdf | Solomon Feferman: Arithmetization of metamathematics in a general setting.]]
-* [[Media: fm49118mostowski.pdf | Andrzej Mostowski: A generalization of the incompleteness theorem.]]+* [[Media: arithmetizationfeferman.pdf | Solomon Feferman: My route to arithmetization.]]
* [[Media: friedman40.pdf | Harvey M. Friedman: My Forty Years On His Shoulders.]] * [[Media: friedman40.pdf | Harvey M. Friedman: My Forty Years On His Shoulders.]]
Linia 219: Linia 221:
* [[Media: gutowskikolmogorow.pdf | Grzegorz Gutowski: Dowód pierwszego twierdzenia Gödela o niezupełności arytmetyki oparty o złożoność Kołmogorowa.]] * [[Media: gutowskikolmogorow.pdf | Grzegorz Gutowski: Dowód pierwszego twierdzenia Gödela o niezupełności arytmetyki oparty o złożoność Kołmogorowa.]]
-* [[Media: henrykkotlarski.pdf | Henryk Kotlarski: On the Incompleteness Theorems.]]+* [[Media: martinhirzel.pdf | Martin Hirzel: Translation of Gödel 1931.]]
* [[Media: japaridzedejongh.pdf | Giorgi Japaridze, Dick de Jongh: The Logic of Provability.]] * [[Media: japaridzedejongh.pdf | Giorgi Japaridze, Dick de Jongh: The Logic of Provability.]]
Linia 225: Linia 227:
* [[Media: jechgit.pdf | Thomas Jech: On Gödel's Second Incompleteness Theorem.]] * [[Media: jechgit.pdf | Thomas Jech: On Gödel's Second Incompleteness Theorem.]]
-* [[Media: johnlucas.pdf | John R. Lucas: Umysły, maszyny i Gödel.]]+* [[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: Godel's theorem. The divorce of Mathematics and Computer Science.]]
- 
-* [[Media: kazimierztrzesicki.pdf | Kazimierz Trzęsicki: Metodologiczne i teoriopoznawcze przesłanki klasycznego problemu rozstrzygalności.]] 
* [[Media: khomskiigit.pdf | Yurii Khomskii: Gödel's Incompleteness Theorem.]] * [[Media: khomskiigit.pdf | Yurii Khomskii: Gödel's Incompleteness Theorem.]]
-* [[Media: klaussutner.pdf | Klaus Sutner: Reasoning and Proving.]]+* [[Media: kirbyparis.pdf | Laurie Kirby, Jeff Paris: Accessible Independence Results For Peano Arithmetic.]]
* [[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.]]
* [[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: henrykkotlarski.pdf | Henryk Kotlarski: On the Incompleteness Theorems.]]
* [[Media: lafitteincompleteness.pdf | Gregory Lafitte: Gödel's incompleteness revisited.]] * [[Media: lafitteincompleteness.pdf | Gregory Lafitte: Gödel's incompleteness revisited.]]
-* [[Media: magnusbomansurvey.pdf | Magnus Boman: A Survey of Provability Logic.]]+* [[Media: johnlucas.pdf | John R. Lucas: Umysły, maszyny i Gödel.]]
* [[Media: marciszewskiszkic.pdf | Witold Marciszewski: Szkic uzasadnienia Twierdzenia Gödla o nieusuwalnej niezupełności arytmetyki liczb naturalnych.]] * [[Media: marciszewskiszkic.pdf | Witold Marciszewski: Szkic uzasadnienia Twierdzenia Gödla o nieusuwalnej niezupełności arytmetyki liczb naturalnych.]]
- 
-* [[Media: martinhirzel.pdf | Martin Hirzel: Translation of Gödel 1931.]] 
* [[Media: metamathematicsmarker.pdf | David Marker: Metamathematics.]] * [[Media: metamathematicsmarker.pdf | David Marker: Metamathematics.]]
-* [[Media: michaeldetlefsen.pdf | Michael Detlefsen: What Does Gödel's Second Theorem Say?]]+* [[Media: errolmartingrt.pdf | Errol Martin: Gödel's Remarkable Theorem.]]
-* [[Media: mingzhongcai.pdf | Mingzhong Cai: The Hitchhiker's Guide to the Incompleteness Theorem.]]+* [[Media: fm49118mostowski.pdf | Andrzej Mostowski: A generalization of the incompleteness theorem.]]
* [[Media: murawskiconsistencyproofs.pdf | Roman Murawski: On proofs of the consistency of arithmetic.]] * [[Media: murawskiconsistencyproofs.pdf | Roman Murawski: On proofs of the consistency of arithmetic.]]
Linia 262: Linia 262:
* [[Media: olszewskitctg.pdf | Adam Olszewski: Teza Churcha a Twierdzenie Gödla.]] * [[Media: olszewskitctg.pdf | Adam Olszewski: Teza Churcha a Twierdzenie Gödla.]]
- 
-* [[Media: petersmith.pdf | Peter Smith: Kleene's Normal Form Theorem and the First Incompleteness Theorem.]] 
- 
-* [[Media: rasmusblanck.pdf | Rasmus Blanck: On Rosser sentences and proof predicates.]] 
* [[Media: ringnergit.pdf | Bengt Ringner: Gödel's incompleteness theorem.]] * [[Media: ringnergit.pdf | Bengt Ringner: Gödel's incompleteness theorem.]]
-* [[Media: robinwhitty1.pdf | Robin Whitty: Gödel's First Incompleteness Theorem.]]+* [[Media: antonsetzer.pdf | Anton Setzer: Computability Theory.]]
- +
-* [[Media: robinwhitty2.pdf | Robin Whitty: Gödel's Second Incompleteness Theorem.]]+
- +
-* [[Media: sbcooper.pdf | S. Barry Cooper: Incomputability, Fifty Years After Alan Turing.]]+
- +
-* [[Media: sebastianbader.pdf | Sebastian Bader: Gödel's Incompleteness Theorems.]]+
* [[Media: sieg3contributions.pdf | Wilfried Sieg: Formal Systems, Church Turing Thesis, Gödel's Theorems.]] * [[Media: sieg3contributions.pdf | Wilfried Sieg: Formal Systems, Church Turing Thesis, Gödel's Theorems.]]
Linia 282: Linia 272:
* [[Media: sllgit.pdf | Wilfried Sieg, Ingrid Lindström, Sten Lindström: Gödel's incompleteness theorem: a computer-based course in elementary proof theory.]] * [[Media: sllgit.pdf | Wilfried Sieg, Ingrid Lindström, Sten Lindström: Gödel's incompleteness theorem: a computer-based course in elementary proof theory.]]
 +
 +* [[Media: petersmith.pdf | Peter Smith: Kleene's Normal Form Theorem and the First Incompleteness Theorem.]]
* [[Media: smithfugue3.pdf | Timothy A. Smith: Fugue No. 3.]] * [[Media: smithfugue3.pdf | Timothy A. Smith: Fugue No. 3.]]
 +
 +* [[Media: klaussutner.pdf | Klaus Sutner: Reasoning and Proving.]]
 +
 +* [[Media: kazimierztrzesicki.pdf | Kazimierz Trzęsicki: Metodologiczne i teoriopoznawcze przesłanki klasycznego problemu rozstrzygalności.]]
 +
 +* [[Media: alanturing1936.pdf | Alan Turing: On computable numbers, with an application to the Entscheidungsproblem.]]
* [[Media: tzameretgit.pdf | Iddo Tzameret: Gödel's Incompleteness Theorems.]] * [[Media: tzameretgit.pdf | Iddo Tzameret: Gödel's Incompleteness Theorems.]]
Linia 289: Linia 287:
* [[Media: vidalrosset.pdf | Joseph Vidal-Rosset: Does Gödel's incompleteness theorem prove that proof transcends truth?]] * [[Media: vidalrosset.pdf | Joseph Vidal-Rosset: Does Gödel's incompleteness theorem prove that proof transcends truth?]]
-* [[Media: kirbyparis.pdf | Laurie Kirby, Jeff Paris: Accessible Independence Results For Peano Arithmetic.]]+* [[Media: robinwhitty1.pdf | Robin Whitty: Gödel's First Incompleteness Theorem.]]
 + 
 +* [[Media: robinwhitty2.pdf | Robin Whitty: Gödel's Second Incompleteness Theorem.]]
==Informacje pomocnicze== ==Informacje pomocnicze==

Wersja z dnia 16:27, 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 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: