Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 14:08, 27 gru 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Do wykładu 14: Metalogika a teoria mnogości.) ← Poprzednia edycja |
Aktualna wersja (09:11, 5 wrz 2015) (edytuj) (undo) Pogonowski (Dyskusja | wkład) |
||
(21 intermediate revisions not shown.) | |||
Linia 15: | Linia 15: | ||
Dzięki uprzejmości Instytutu Filozofii Uniwersytetu | Dzięki uprzejmości Instytutu Filozofii Uniwersytetu | ||
- | Opolskiego Jerzy Pogonowski wygłosi dla | + | 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. | + | doktorantów tego Instytutu w semestrze zimowym roku akademickiego 2009-2010 cykl wykładów '''Metalogika'''. |
- | ==Prezentacje== | + | ==Tematy== |
- | * [[Media: metalogikaopole00.pdf | '''Metalogika 0.''' Wstęp (historyczny).]] 13X2009, 10:00-11:30. | + | * '''Metalogika 0.''' Wstęp (historyczny). 13X2009, 10:00-11:30. |
- | * [[Media: metalogikaopole01.pdf | '''Metalogika 1.''' Preliminaria algebraiczne.]] 13X2009, 14:15-15:45. | + | * '''Metalogika 1.''' Preliminaria algebraiczne. 13X2009, 14:15-15:45. |
- | * [[Media: metalogikaopole02.pdf | '''Metalogika 2.''' Przypomnienie: dedukcja naturalna.]] 27X2009, 10:00-11:30. | + | * '''Metalogika 2.''' Przypomnienie: dedukcja naturalna. 27X2009, 10:00-11:30. |
- | * [[Media: metalogikaopole03.pdf | '''Metalogika 3.''' Ogólne operacje konsekwencji.]] 27X2009, 14:15-15:45. | + | * '''Metalogika 3.''' Ogólne operacje konsekwencji. 27X2009, 14:15-15:45. |
- | * [[Media: metalogikaopole04.pdf | '''Metalogika 4.''' Logiki abstrakcyjne. Przykłady.]] 10XI2009, 10:00-11:30. | + | * '''Metalogika 4.''' Logiki abstrakcyjne. Przykłady. 10XI2009, 10:00-11:30. |
- | * [[Media: metalogikaopole05.pdf | '''Metalogika 5.''' Twierdzenia Lindströma.]] 10XI2009, 14:15-15:45. | + | * '''Metalogika 5.''' Twierdzenia Lindströma. 10XI2009, 14:15-15:45. |
- | * [[Media: metalogikaopole06.pdf | '''Metalogika 6.''' Funkcje rekurencyjne.]] 24XI2009, 10:00-11:30. | + | * '''Metalogika 6.''' Funkcje rekurencyjne. 24XI2009, 10:00-11:30. |
- | * [[Media: metalogikaopole07.pdf |'''Metalogika 7.''' Reprezentowalność w PA. Arytmetyzacja składni.]] 24XI2009, 14:15-15:45. | + | * '''Metalogika 7.''' Reprezentowalność w PA. Arytmetyzacja składni. 24XI2009, 14:15-15:45. |
- | * [[Media: metalogikaopole08.pdf | '''Metalogika 8.''' Twierdzenia: Gödla, Rossera, Löba, Tarskiego.]] 8XII2009, 10:00-11:30. | + | * '''Metalogika 8.''' Twierdzenia: Gödla, Rossera, Löba, Tarskiego. 8XII2009, 10:00-11:30. |
- | * [[Media: metalogikaopole09.pdf | '''Metalogika 9.''' Teorie rozstrzygalne i teorie nierozstrzygalne. Twierdzenie Churcha.]] 8XII2009, 14:15-15:45. | + | * '''Metalogika 9.''' Teorie rozstrzygalne i teorie nierozstrzygalne. Twierdzenie Churcha. 8XII2009, 14:15-15:45. |
- | * [[Media: metalogikaopole10.pdf | '''Metalogika 10.''' Tablice analityczne.]] 5I2010, 10:00-11:30. | + | * '''Metalogika 10.''' Tablice analityczne. 5I2010, 10:00-11:30. |
- | * [[Media: metalogikaopole11.pdf | '''Metalogika 11.''' Inne metody dowodowe: formalizm Gentzena, metoda rezolucji.]] 5I2010, 14:15-15:45. | + | * '''Metalogika 11.''' Inne metody dowodowe: formalizm Gentzena, metoda rezolucji. 5I2010, 14:15-15:45. |
- | + | * '''Metalogika 12.''' Teoria modeli: wybrane podstawowe konstrukcje. 19I2010, 10:00-11:30. | |
- | * '''Metalogika 12.''' Klasyczna teoria modeli. 19I2010, 10:00-11:30. | + | * '''Metalogika 13.''' Teoria modeli: typy elementów, nasycenie, itp. Twierdzenie Morleya. 19I2010, 14:15-15:45. |
- | * '''Metalogika 13.''' Współczesna teoria modeli. 19I2010, 14:15-15:45. | + | |
* '''Metalogika 14.''' Metalogika a teoria mnogości. 2II2010, 10:00-11:30. | * '''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.=== | ||
- | |||
- | * [[Media: budzynska.pdf | Katarzyna Budzyńska: Czy logika formalna opisuje dedukcyjne argumentacje?]] | ||
- | |||
- | * [[Media: modalhist.pdf | Robert Goldblatt: Mathematical modal logic: a view of its evolution.]] | ||
- | |||
- | * [[Media: indrzejczak.pdf | Andrzej Indrzejczak: Rozumowanie, argumentacja, dowód.]] | ||
- | |||
- | * [[Media: tonymartinmetalogic.pdf | Tony Martin: Introduction to Metalogic.]] | ||
- | |||
- | * [[Media: dwaparadygmaty.pdf | Jerzy Pogonowski: Dwa paradygmaty metalogiki. Materiały pomocnicze do wykładów 2-5.]] | ||
- | |||
- | * [[Media: opoledodatek02.pdf | Jerzy Pogonowski: Dowody niektórych twierdzeń o operacjach konsekwencji.]] | ||
- | |||
- | * [[Media: johnslaney.pdf | John Slaney: Overview of Logic and Computation: Notes.]] | ||
- | |||
- | * [[Media: lustrzanalogika.pdf | Raymond Smullyan: Lustrzana logika.]] | ||
- | |||
- | * [[Media: metatheory.pdf | Alasdair Urquhart: Metatheory.]] | ||
- | |||
- | * [[Media: modalnerachunkizdan.pdf | Andrzej Wiśniewski: Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne.]] | ||
- | |||
- | * [[Media: modelekripkego.pdf | Andrzej Wiśniewski: Semantyka relacyjna dla normalnych modalnych rachunków zdań.]] | ||
- | |||
- | * [[Media: wojcickinonmonotonic.pdf | Ryszard Wójcicki: An axiomatic treatment of non-monotonic arguments.]] | ||
- | |||
- | * [http://www.youtube.com/watch?v=ONvYPldXoZs&feature=related I Want to Be a Mathematician: A conversation with Paul Halmos.] | ||
- | |||
- | ===Do wykładów 4-5: Logiki abstrakcyjne.=== | ||
- | |||
- | * [[Media: baldwinaec.pdf | John T. Baldwin: Generalized Quantifiers, Infinitary Logics, and Abstract Elementary Classes.]] | ||
- | |||
- | * [[Media: baldwinexpo.pdf | John T. Baldwin: The complex numbers and complex exponentiation. Why Infinitary Logic is necessary!]] | ||
- | |||
- | * [[Media: lindstromvanbenthem.pdf | Johan van Benthem: A new modal Lindström theorem.]] | ||
- | |||
- | * [[Media: leaflanguage.pdf | Hans-Jorg Burtschick, Heribert Vollmer: Lindström Quantifiers and Leaf Language Definability.]] | ||
- | |||
- | * [[Media: baldertencatemodal.pdf | Balder ten Cate: Abstract model theory for extensions of modal logic.]] | ||
- | |||
- | * [[Media: robgoldblattll.pdf | Rob Goldblatt: Lindenbaum's Lemma As An Axiom For Infinitary Logic.]] | ||
- | |||
- | * [[Media: udoklein.pdf | Udo Klein: Against generalized quantifiers (and what to replace them with).]] | ||
- | |||
- | * [[Media: kueker1.pdf | David W. Kueker : Löwenheim-Skolem Theorems, Countable Approximations and $L_{\infty\omega}$.]] | ||
- | |||
- | * [[Media: kueker1.pdf | David W. Kueker : Finite Character and $L_{\infty\omega}$.]] | ||
- | |||
- | * [[Media: genquantdefdes.pdf | John MacFarlane: Generalized Quantifiers and Definite Descriptions.]] | ||
- | |||
- | * [[Media: markerinfinitary1.pdf | David Marker: A Primer on Infinitary Logic. 1-2.]] | ||
- | |||
- | * [[Media: markerinfinitary3.pdf | David Marker: A Primer on Infinitary Logic. 3.]] | ||
- | |||
- | * [[Media: markerinfinitary4.pdf | David Marker: A Primer on Infinitary Logic. 4.]] | ||
- | |||
- | * [[Media: markerinfinitary5.pdf | David Marker: A Primer on Infinitary Logic. 5.]] | ||
- | |||
- | * [[Media: andrasmate.pdf | Andras Mate: First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox.]] | ||
- | |||
- | * [[Media: montagueptq.pdf | Richard Montague: The Proper Treatment of Quantification in Ordinary English.]] | ||
- | |||
- | * [[Media: nishiguchi.pdf | Sumiyo Nishiguchi : Polymorphic Quantifier.]] | ||
- | |||
- | * [[Media: parteegq.pdf | Barbara H. Partee: Noun Phrases and Generalized Quantifiers.]] | ||
- | |||
- | * [[Media: pfeiferkleiter.pdf | Niki Pfeifer, Gernot D. Kleiter: Syllogistic reasoning with intermediate quantifiers.]] | ||
- | |||
- | * [[Media: metalogikaopoledrobinka.pdf | Jerzy Pogonowski: Przypomnienie: drobinka semantyki KRP.]] | ||
- | |||
- | * [[Media: metalogikaopolesyll.pdf | Jerzy Pogonowski: Uogólnione kwantyfikatory a sylogistyka.]] | ||
- | |||
- | * [[Media: metalogikaopolegq.pdf | Jerzy Pogonowski, Joanna Smigerska: Uogólnione kwantyfikatory a języki etniczne.]] | ||
- | |||
- | * [[Media: raatikainen.pdf | Panu Raatikainen: The concept of truth in a finite universe.]] | ||
- | |||
- | * [[Media: completenessrossberg.pdf | Marcus Rossberg: First-Order Logic, Second-Order Logic, and Completeness.]] | ||
- | |||
- | * [[Media: sherbranching.pdf | G.Y. Sher: Partially-ordered (branching) quantifiers:a general definition.]] | ||
- | |||
- | * [[Media: churchtrakhtenbrot.pdf | Stephen Simpson: Theorems of Church and Trakhtenbrot.]] | ||
- | |||
- | * [[Media: jakubszymanikkwant.pdf | Jakub Szymanik: Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym.]] | ||
- | |||
- | * [[Media: szymanikneuro.pdf | Jakub Szymanik: Obliczeniowy model rozumienia kwantyfikatorów w świetle badań neuropsychologicznych.]] | ||
- | |||
- | * [[Media: vaananen02.pdf | Jouko Väänänen: A Short Course on Finite Model Theory.]] | ||
- | |||
- | * [[Media: vaananen01.pdf | Jouko Väänänen: Generalized Quantifiers.]] | ||
- | |||
- | * [http://plato.stanford.edu/entries/logic-infinitary/ John L. Bell: Infinitary Logic.] | ||
- | |||
- | * [http://www.inveling.amu.edu.pl/pdf/pogonowski2_inve14.pdf Jerzy Pogonowski: Projekt logiki infinitarnej Ernsta Zermela.] | ||
- | |||
- | * [http://plato.stanford.edu/entries/generalized-quantifiers/ Dag Westerstahl: Generalized Quantifiers.] | ||
- | |||
- | ===Do wykładów 6-7: Funkcje rekurencyjne.=== | ||
- | |||
- | * [[Media: historyofdegrees.pdf | Klaus Ambos-Spies, Peter A. Fejer: Degrees of Unsolvability.]] | ||
- | |||
- | * [[Media: barendregtbarendsen.pdf | Henk Barendregt, Erik Barendsen: Introduction to Lambda Calculus.]] | ||
- | |||
- | * [[Media: michaelbeeson.pdf | Michael Beeson: The Mechanization of Mathematics. (Prezentacja.)]] | ||
- | |||
- | * [[Media: michaelbeesonmom.pdf | Michael Beeson: The Mechanization of Mathematics. (Tekst.)]] | ||
- | |||
- | * [[Media: leopoldobertossi.pdf | Leopoldo Bertossi: From Hilbert to Turing and beyond...]] | ||
- | |||
- | * [[Media: andrejbogdanov.pdf | Andrej Bogdanov: Turing Machines.]] | ||
- | |||
- | * [[Media: bobr.pdf | Gregory J. Chaitin: Computing the Busy Beaver function.]] | ||
- | |||
- | * [[Media: stefandantchev.pdf | Stefan Dantchev: Recursion theorem and Rice's theorem.]] | ||
- | |||
- | * [[Media: dodigcrnkovic.pdf | Gordana Dodig-Crnkovic: Computability.]] | ||
- | |||
- | * [[Media: elisaelshamy.pdf | Elisa Elshamy: How To Think About Algorithms.]] | ||
- | |||
- | * [[Media: hetmanskituring.pdf | Marek Hetmański: Maszyna Turinga a umysł ludzki.]] | ||
- | |||
- | * [[Media: hodgesturing.pdf | Andrew Hodges: Alan Turing: the logical and physical basis of computing.]] | ||
- | |||
- | * [[Media: ackermanngottschalk.pdf | Walter Gottschalk: The Ackermann Number Explosion.]] | ||
- | |||
- | * [[Media: grzegorczyk.pdf | Andrzej Grzegorczyk: Some classes of recursive functions.]] | ||
- | |||
- | * [[Media: klunder.pdf | Barbara Klunder: Podstawy Teorii Obliczalności.]] | ||
- | |||
- | * [[Media: kolodziejczyk.pdf | Piotr Kołodziejczyk: Obliczanie, semantyka, superweniencja.]] | ||
- | |||
- | * [[Media: luiseugenioluis.pdf | Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma Otamendi: What Machines Can and Cannot Do.]] | ||
- | |||
- | * [[Media: algorithmiccomplexity.pdf | M. Li, P. Vitanyi: Algorithmic complexity.]] | ||
- | |||
- | * [[Media: liegerblieberger.pdf | Roland Lieger, Johann Blieberger: The Ackermann-Function Effort in Space and Time.]] | ||
- | |||
- | * [[Media: marciszewski.pdf | Witold Marciszewski: Człowiek - twór Wszechświata i jego współtwórca.]] | ||
- | |||
- | * [[Media: stephanmertenscoc.pdf | Stephan Mertens: Complexity of Computation.]] | ||
- | |||
- | * [[Media: miljenoviclambda.pdf | Ivan Lazar Miljenovic: Functions all the way down! Lambda Calculus and Church Encoding.]] | ||
- | |||
- | * [[Media: myckacoelhocosta.pdf | Jerzy Mycka, Francisco Coelho, Jose Felix Costa: The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem.]] | ||
- | |||
- | * [[Media: jamesowings.pdf | James C. Owings, Jr.: Diagonalization and the recursion theorem.]] | ||
- | |||
- | * [[Media: penrosewiz.pdf | Roger Penrose: Kto skonstruuje myślącą istotę, będzie miał wszystkie prawa i obowiązki Boga.]] | ||
- | |||
- | * [[Media: ackermannpilarczyk.pdf | Paweł Pilarczyk: Funkcja Ackermanna.]] | ||
- | |||
- | * [[Media: andrewpitts.pdf | Andrew Pitts: Computation Theory.]] | ||
- | |||
- | * [[Media: jamespower.pdf | James Power: The $\lambda$-calculus.]] | ||
- | |||
- | * [[Media: raulrojas.pdf | Raul Rojas: A Tutorial Introduction to the Lambda Calculus.]] | ||
- | |||
- | * [[Media: currychurch.pdf | Jonathan P. Seldin: The Logic of Curry and Church.]] | ||
- | |||
- | * [[Media: openproblems.pdf | Ted Slaman: Questions in Recursion Theory (1997).]] | ||
- | |||
- | * [[Media: soarecr.pdf | Robert I. Soare: Computability and Recursion.]] | ||
- | |||
- | * [[Media: soaredraft.pdf | Robert I. Soare: The Interplay Between Computability and Incomputability.]] | ||
- | |||
- | * [[Media: splawskilambda.pdf | Zdzisław Spławski: Programowanie funkcyjne. Wykład 12. Funkcje rekurencyjne i rachunek lambda.]] | ||
- | |||
- | * [[Media: szczuka03.pdf | Marcin Szczuka: Modele Obliczeń. Wykład 3. Maszyny RAM i Funkcje Rekurencyjne.]] | ||
- | |||
- | * [[Media: ackermanntaylor.pdf | R. Gregory Taylor: Ackermann's Function Is Not Primitive Recursive.]] | ||
- | |||
- | * [[Media: andrzejzbrzeznyeto.pdf | Andrzej Zbrzezny: Elementy Teorii Obliczeń. 2.]] | ||
- | |||
- | * [[Media: luitevanzelst.pdf | Luite van Zelst: Turing Machines and Computer Viruses.]] | ||
- | |||
- | * [[Media: ackermannzhang.pdf | Qinglei Zhang: Ackermann's Function.]] | ||
- | |||
- | * [http://www.youtube.com/watch?v=nxiObVwQ8MM&feature=related Richard Buckland: A simple recursive function.] | ||
- | |||
- | * [http://www.youtube.com/watch?v=7XfA5EhH7Bc&feature=related Yuri Gurevich: The Church-Turing Thesis: Story and Recent Progress.] | ||
- | |||
- | *[http://www.youtube.com/watch?v=Iv0OLo_-O98&feature=related Learning Recursion with the Towers of Hanoi.] | ||
- | |||
- | *[http://www.youtube.com/watch?v=eUXgfnC9Tao&feature=related Little Turing Machine.] | ||
- | |||
- | *[http://www.youtube.com/watch?v=cYw2ewoO6c4&feature=fvw The LEGO Turing Machine.] | ||
- | |||
- | * [http://www.youtube.com/watch?v=jq0ELhpKevY&feature=related The Turing Test.] | ||
- | |||
- | ===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: 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: avigadtradition.pdf | Jeremy Avigad: Gödel and the metamathematical tradition.]] | ||
- | |||
- | * [[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: 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: 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: chaitinramiramzes.pdf | Gregory J. Chaitin: Komputery, Paradoksy i Podstawy Matematyki.]] | ||
- | |||
- | * [[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: michaeldetlefsen.pdf | Michael Detlefsen: What Does Gödel's Second Theorem Say?]] | ||
- | |||
- | * [[Media: fefermangit.pdf | Solomon Feferman: The nature and significance of Gödel's incompleteness theorems.]] | ||
- | |||
- | * [[Media: fefermanimpact.pdf | Solomon Feferman: The impact of the incompleteness theorems on mathematics.]] | ||
- | |||
- | * [[Media: fm4915feferman.pdf | Solomon Feferman: Arithmetization of metamathematics in a general setting.]] | ||
- | |||
- | * [[Media: arithmetizationfeferman.pdf | Solomon Feferman: My route to arithmetization.]] | ||
- | |||
- | * [[Media: friedman40.pdf | Harvey M. Friedman: My Forty Years On His Shoulders.]] | ||
- | |||
- | * [[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: gutowskikolmogorow.pdf | Grzegorz Gutowski: Dowód pierwszego twierdzenia Gödela o niezupełności arytmetyki oparty o złożoność Kołmogorowa.]] | ||
- | |||
- | * [[Media: martinhirzel.pdf | Martin Hirzel: Translation of Gödel 1931.]] | ||
- | |||
- | * [[Media: japaridzedejongh.pdf | Giorgi Japaridze, Dick de Jongh: The Logic of Provability.]] | ||
- | |||
- | * [[Media: jechgit.pdf | Thomas Jech: On Gödel's Second Incompleteness Theorem.]] | ||
- | |||
- | * [[Media: dickdejonghgit.pdf | Dick de Jongh: The Incompleteness Theorems, their content and their meaning.]] | ||
- | |||
- | * [[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: kirbyparis.pdf | Laurie Kirby, Jeff Paris: Accessible Independence Results For Peano Arithmetic.]] | ||
- | |||
- | * [[Media: kulturakolany.pdf | Adam Kolany: Kultura matematyczna. Świadomość środków, świadomość ograniczeń.]] | ||
- | |||
- | * [[Media: henrykkotlarski.pdf | Henryk Kotlarski: On the Incompleteness Theorems.]] | ||
- | |||
- | * [[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: 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: marciszewskiszkic.pdf | Witold Marciszewski: Szkic uzasadnienia Twierdzenia Gödla o nieusuwalnej niezupełności arytmetyki liczb naturalnych.]] | ||
- | |||
- | * [[Media: metamathematicsmarker.pdf | David Marker: Metamathematics.]] | ||
- | |||
- | * [[Media: errolmartingrt.pdf | Errol Martin: Gödel's Remarkable 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: 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: olszewskitcplatonizm.pdf | Adam Olszewski: Teza Churcha a platonizm.]] | ||
- | |||
- | * [[Media: olszewskitctg.pdf | Adam Olszewski: Teza Churcha a Twierdzenie Gödla.]] | ||
- | |||
- | * [[Media: semlogdod04.pdf | Jerzy Pogonowski: Dowodliwość a prawdziwość. Minijęzyk Smullyana.]] | ||
- | |||
- | * [[Media: drzakop2007.pdf | Jerzy Pogonowski: Ptak Gödla.]] | ||
- | |||
- | * [[Media: karpacz2007.pdf | Jerzy Pogonowski: Szczęściarze epistemiczni.]] | ||
- | |||
- | * [[Media: ringnergit.pdf | Bengt Ringner: Gödel's incompleteness theorem.]] | ||
- | |||
- | * [[Media: antonsetzer.pdf | Anton Setzer: Computability Theory.]] | ||
- | |||
- | * [[Media: sieg3contributions.pdf | Wilfried Sieg: Formal Systems, Church Turing Thesis, Gödel's Theorems.]] | ||
- | |||
- | * [[Media: siegeffectiveness.pdf | Wilfried Sieg: Effectiveness and Provability.]] | ||
- | |||
- | * [[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: 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: vidalrosset.pdf | Joseph Vidal-Rosset: Does Gödel's incompleteness theorem prove that proof transcends truth?]] | ||
- | |||
- | * [[Media: robinwhitty1.pdf | Robin Whitty: Gödel's First 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 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=hLz-Sk0y7Dg&feature=related Gregory Chaitin Lecture Carnegie-Mellon University 2000.] | ||
- | |||
- | * [http://plato.stanford.edu/entries/goedel/ Juliette Kennedy: Kurt Gödel.] | ||
- | |||
- | * [http://videolectures.net/ssll09_martin_cai/ Errol Martin: Gödel's Remarkable Theorem.] | ||
- | |||
- | * [http://www.youtube.com/watch?v=e4x9XKNAYjU&feature=related Julia Robinson and Hilbert's Tenth Problem.] | ||
- | |||
- | * [http://videolectures.net/ssll09_slaney_fom/ John K. Slaney: Foundations of Metalogic.] | ||
- | |||
- | ===Do wykładów 10-11: Tablice analityczne, formalizm Gentzena, rezolucja.=== | ||
- | |||
- | * [[Media: cumulativeconsequence.pdf | Alberto Artosi, Guido Governatori, Antonino Rotolo: Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations.]] | ||
- | |||
- | * [[Media: hypertableaux.pdf | Peter Baumgartner, Ulrich Furbach, Ilkka Niemela: Hyper Tableaux.]] | ||
- | |||
- | * [[Media: benzmuller1.pdf | Christoph Benzmuller: From Natural Deduction to Sequent Calculus (and back).]] | ||
- | |||
- | * [[Media: berardiyamagata.pdf | Stefano Berardi, Yoriyuki Yamagata: A sequent calculus for 1-backtracking.]] | ||
- | |||
- | * [[Media: blackburnhybrid.pdf | Patrick Blackburn, Balder ten Cate: Beyond Pure Axioms: Node Creating Rules in Hybrid Tableaux.]] | ||
- | |||
- | * [[Media: ibklublin.pdf | Izabela Bondecka-Krzykowska: Semantic tree method - historical perspective and applications.]] | ||
- | |||
- | * [[Media: jensbrage.pdf | Jens Brage: A classical tableau calculus.]] | ||
- | |||
- | * [[Media: atomicupdates.pdf | Christian. G. Fernmuller, Georg Moser, Richard Zach: Tableaux for Reasoning about Atomic Updates.]] | ||
- | |||
- | * [[Media: martingiese.pdf | Martin Giese: Simplification Rules for Constrained Formula Tableaux.]] | ||
- | |||
- | * [[Media: klmcumulative.pdf | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Tableaux Calculus for KLM Preferential and Cumulative Logics.]] | ||
- | |||
- | * [[Media: proofsandtypes.pdf | Jean-Yves Girard: Proofs and Types.]] | ||
- | |||
- | * [[Media: gorenguyen.pdf | Rajeev Gore, Linh Anh Nguyen: A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.]] | ||
- | |||
- | * [[Media: tadeontic.pdf | Guido Governatori, Alessio Lomuscio, Marek J. Sergot: A tableaux system for Deontic Interpreted Systems.]] | ||
- | |||
- | * [[Media: haehnle1998.pdf | Reiner Hahnle: Tableau-Based Theorem Proving.]] | ||
- | |||
- | * [[Media: lecture7herbrand.pdf | Tim Hinrichs, Mike Genesereth: Herbrand's Theorem and Alternative Semantics.]] | ||
- | |||
- | * [[Media: ptar.pdf | Rosalie Iemhoff, George Metcalfe: Proof Theory for Admissible Rules.]] | ||
- | |||
- | * [[Media: joannajozefowska.pdf | Joanna Józefowska: Modele obliczalności w logice.]] | ||
- | |||
- | * [[Media: matejkosik.pdf | Matej Kosik: Notes Concerning the Gentzen's Calculus.]] | ||
- | |||
- | * [[Media: neilleslie.pdf | Neil Leslie: Meaning and structural rules in natural deduction.]] | ||
- | |||
- | * [[Media: singlestep.pdf | Fabio Massacci: Single Step Tableaux for Modal Logics.]] | ||
- | |||
- | * [[Media: peterpagin.pdf | Peter Pagin: Knowledge of proofs.]] | ||
- | |||
- | * [[Media: pelletierhistory.pdf | Francis Jeffry Pelletier: A History of Natural Deduction and Elementary Logic Textbooks.]] | ||
- | |||
- | * [[Media: tabkrz.pdf | Jerzy Pogonowski: Tablice analityczne dla Klasycznego Rachunku Zdań.]] | ||
- | |||
- | * [[Media: tabkrp.pdf | Jerzy Pogonowski: Tablice analityczne dla Klasycznego Rachunku Predykatów.]] | ||
- | |||
- | * [[Media: tabdodrez.pdf | Jerzy Pogonowski: Tablice analityczne. Dodatek: unifikacja i rezolucja.]] | ||
- | |||
- | * [[Media: rasiowasikorski.pdf | Helena Rasiowa, Roman Sikorski: On the Gentzen Theorem.]] | ||
- | |||
- | * [[Media: alexissaurin.pdf | Alexis Saurin: Structuring Logic with Sequent Calculus.]] | ||
- | |||
- | * [[Media: gsherepistemic.pdf | Gila Sher: Logical consequence: an epistemic outlook.]] | ||
- | |||
- | * [[Media: wolfgangschonfeld.pdf | Wolfgang Schonfeld: Prolog extensions based on tableau calculus.]] | ||
- | |||
- | ===Do wykładów 12-13: Teoria modeli.=== | ||
- | |||
- | * [[Media: avigadherbrand.pdf | Jeremy Avigad: Between proof theory and model theory.]] | ||
- | |||
- | * [[Media: aecbaldwin.pdf | John T. Baldwin: Abstract Elementary Classes: Some Answers, More Questions.]] | ||
- | |||
- | * [[Media: reviewbadesa.pdf | John T. Baldwin: Review of ''The Birth of Model Theory'' by Calixto Badesa.]] | ||
- | |||
- | * [[Media: paulbankston.pdf | Paul Bankston: A Survey of Ultraproduct Constructions in General Topology.]] | ||
- | |||
- | * [[Media: caat.pdf | John T. Baldwin, Alexei Kolesnikov: Categoricity, amalgamation, and tameness.]] | ||
- | |||
- | * [[Media: lindstromfragmentfol.pdf | Balder ten Cate, Johan van Benthem, Jouko Vaananen: Lindstrom theorems for fragments of first-order logic.]] | ||
- | |||
- | * [[Media: zoechatzidakis.pdf | Zoe Chatzidakis: A Survey on the Model Theory of Difference Fields.]] | ||
- | |||
- | * [[Media: anujdawarfmt.pdf | Anuj Dawar: Finite Model Theory: First-Order Logic on the Class of Finite Models.]] | ||
- | |||
- | * [[Media: anujdawarlecture1.pdf | Anuj Dawar: Finite Model Theory Tutorial. Lecture 1.]] | ||
- | |||
- | * [[Media: jandenef.pdf | Jan Denef: Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields.]] | ||
- | |||
- | * [[Media: louvandendriescmtf.pdf | Lou van den Dries: Classical Model Theory of Fields.]] | ||
- | |||
- | * [[Media: fefermanharmonious.pdf | Solomon Feferman: Harmonious Logic: Craig's Interpolation Theorem and its Descendants.]] | ||
- | |||
- | * [[Media: braddhartstability.pdf | Bradd Hart: Stability Theory and its Variants.]] | ||
- | |||
- | * [[Media: denisrhirschfeldt.pdf | Denis R. Hirschfeldt: Reverse Mathematics of Model Theory.]] | ||
- | |||
- | * [[Media: amtandot.pdf | Denis R. Hirschfeldt, Richard A. Shore, Theodore A. Slaman: The Atomic Model Theorem and Type Omitting.]] | ||
- | |||
- | * [[Media: wilfridhodgeshistory.pdf | Wilfrid Hodges: Model Theory (Draft 20 Jul 00).]] | ||
- | |||
- | * [[Media: hodgestarskipadoa.pdf | Wilfrid Hodges: Tarski on Padoa's method.]] | ||
- | |||
- | * [[Media: zariskigeometries.pdf | Ehud Hrushovski, Boris Zilber: Zariski Geometries.]] | ||
- | |||
- | * [[Media: keislerultraproduct.pdf | H. Jerome Keisler: The ultraproduct construction.]] | ||
- | |||
- | * [[Media: phokionkolaitis.pdf | Phokion G. Kolaitis: Reflections on Finite Model Theory.]] | ||
- | |||
- | * [[Media: oliverkutz.pdf | Oliver Kutz: Modelltheorie - zwischen Philosopie und Mathematik.]] | ||
- | |||
- | * [[Media: laskowskishelah.pdf | M.C. Laskowski, S. Shelah: Decompositions of saturated models of stable theories.]] | ||
- | |||
- | * [[Media: jungjinlee.pdf | Jung Jin Lee: Ultraproducts in analysis.]] | ||
- | |||
- | * [[Media: dugaldmacpherson.pdf | Dugald Macpherson: Notes on o-Minimality and Variations.]] | ||
- | |||
- | * [[Media: davidmarkerintroductionmt.pdf | David Marker: Introduction to Model Theory.]] | ||
- | |||
- | * [[Media: davidmarkerdcf.pdf | David Marker: Model Theory of Differential Fields.]] | ||
- | |||
- | * [[Media: mazurmordelllang.pdf | Barry Mazur: Abelian Varieties and the Mordell-Lang Conjecture.]] | ||
- | |||
- | * [[Media: krzysztofjannowak.pdf | Krzysztof Jan Nowak: Notatki do wykładu ''Trochę Teorii Modeli i Geometrii''.]] | ||
- | |||
- | * [[Media: pillaymodeltheory.pdf | Anand Pillay: Lecture notes - Model Theory.]] | ||
- | |||
- | * [[Media: pillaystabilitytheory.pdf | Anand Pillay: Lecture notes - Stability Theory.]] | ||
- | |||
- | * [[Media: pillayappliedstability.pdf | Anand Pillay: Lecture notes - Applied Stability Theory.]] | ||
- | |||
- | * [[Media: rossmanhpt.pdf | Benjamin Rossman: Homomorphism Preservation Theorems.]] | ||
- | |||
- | * [[Media: wagneramalgamation.pdf | Frank O. Wagner: Hrushovski's Amalgamation Construction.]] | ||
- | |||
- | * [[Media: volkerweispfenning.pdf | Volker Weispfenning: Algebraische Modelltheorie.]] | ||
- | |||
- | ===Do wykładu 14: Metalogika a teoria mnogości.=== | ||
- | |||
- | * [[Media: apterhamkins.pdf | Arthur W. Apter, Joel David Hamkins: Exactly Controlling the Non-Supercompact Strongly Compact Cardinals.]] | ||
- | |||
- | * [[Media: markvanatten.pdf | Mark van Atten: Monads and sets. On Gödel, Leibniz and the reflection principle.]] | ||
- | |||
- | * [[Media: vanattenkennedy.pdf | Mark van Atten, Juliette Kennedy: ''Gödel's Modernism: on Set-Theoretic Incompleteness'' revisited.]] | ||
- | |||
- | * [[Media: awodeyoutlineast.pdf | Steve Awodey: An Outline of Algebraic Set Theory.]] | ||
- | |||
- | * [[Media: unifiedast.pdf | Benno van den Berg, Ieke Moerdijk: A Unified Approach to Algebraic Set Theory.]] | ||
- | |||
- | * [[Media: andreybovykin.pdf | Andrey Bovykin: Order-types of models of arithmetic and a connection with arithmetic saturation.]] | ||
- | |||
- | * [[Media: chowforcing.pdf | Timothy Y. Chow: A beginner's guide to forcing.]] | ||
- | |||
- | * [[Media: doetssettheory.pdf | H.C. Doets: Zermelo-Fraenkel Set Theory.]] | ||
- | |||
- | * [[Media: easwaranforcing.pdf | Kenny Easwaran: A Cheerful Introduction to Forcing and the Continuum Hypothesis.]] | ||
- | |||
- | * [[Media: alienayat.pdf | Ali Enayat: In praise of nonstandard models.]] | ||
- | |||
- | * [[Media: foremanch.pdf | Matt Foreman: Has the Continuum Hypothesis been settled?]] | ||
- | |||
- | * [[Media: stefangeschke.pdf | Stefan Geschke: Modelle der Mengenlehre.]] | ||
- | |||
- | * [[Media: peterkoellner.pdf | Peter Koellner: On Reflection Principles.]] | ||
- | |||
- | * [[Media: davidmarkerdst.pdf | David Marker: Descriptive Set Theory.]] | ||
- | |||
- | * [[Media: rathjenintuitionistic.pdf | Michael Rathjen: Metamathematical Properties of Intuitionistic Set Theories with Choice Principles.]] | ||
- | |||
- | * [[Media: rathjenreflection.pdf | Michael Rathjen: Proof Theory of Reflection.]] | ||
- | |||
- | * [[Media: sanchezhilbert.pdf | Antonio Leon Sanchez: Hilbert's machine and the axiom of infinity.]] | ||
- | |||
- | * [[Media: georgschiemer.pdf | Georg Schiemer: Fraenkel's Axiom of Restriction: Axiom Choice, Intended Models and Categoricity.]] | ||
- | |||
- | * [[Media: whatisawoodincardinal.pdf | John R. Steel: What is a Woodin Cardinal?]] | ||
- | |||
- | * [[Media: wongkaye.pdf | Tin Lok Wong, Richard Kaye: Generic cuts in models of Peano arithmetic.]] | ||
- | |||
- | * [[Media: woodinch1.pdf | W. Hugh Woodin: The Continuum Hypothesis, Part I.]] | ||
- | |||
- | * [[Media: woodinch2.pdf | W. Hugh Woodin: The Continuum Hypothesis, Part II.]] | ||
- | |||
- | ==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: | ||
- | |||
- | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Logika_Matematyczna Jerzy Pogonowski: Logika Matematyczna] | ||
- | |||
- | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Wst%C4%99p_do_Matematyki Jerzy Pogonowski: Wstęp do Matematyki] | ||
- | |||
- | * [http://www.logic.amu.edu.pl/index.php/Jerzy_Pogonowski_-_Funkcje_Rekurencyjne Jerzy Pogonowski: Funkcje Rekurencyjne] | ||
- | |||
- | Znakomitym wstępem algebraicznym jest monografia: | ||
- | |||
- | * [[Media: universalalgebra.pdf | St. Burris, H.P. Sankappanavar: ''A Course in Universal Algebra'']] | ||
- | |||
- | Pomoce dydaktyczne z logiki matematycznej (zarówno polskie jak i obcojęzyczne) dostępne są na naszej stronie odnośników: | ||
- | |||
- | * [http://www.logic.amu.edu.pl/index.php/Linki http://www.logic.amu.edu.pl/index.php/Linki] | ||
- | |||
- | [[Category:Pracownicy]] | ||
[[Category:Dydaktyka]] | [[Category:Dydaktyka]] |
Aktualna wersja
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
[edytuj] Metalogika (Uniwersytet Opolski)
Dzięki uprzejmości Instytutu Filozofii Uniwersytetu Opolskiego Jerzy Pogonowski wygłosił dla doktorantów tego Instytutu w semestrze zimowym roku akademickiego 2009-2010 cykl wykładów Metalogika.
[edytuj] Tematy
- 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. Teoria modeli: wybrane podstawowe konstrukcje. 19I2010, 10:00-11:30.
- Metalogika 13. Teoria modeli: typy elementów, nasycenie, itp. Twierdzenie Morleya. 19I2010, 14:15-15:45.
- Metalogika 14. Metalogika a teoria mnogości. 2II2010, 10:00-11:30.