From Zakład Logiki Stosowanej

Wersja z dnia 15:45, 29 lis 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Prezentacje) ← Poprzednia edycja		Wersja z dnia 14:54, 30 lis 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Dodatki) Następna edycja →
Linia 41:		Linia 41:
	==Dodatki==		==Dodatki==
-	* [[Media: metatheory.pdf | ''Dodatek 0.'' Alasdair Urquhart: Metatheory.]]	+	===Do wykładów 0-3===
-	* [[Media: dwaparadygmaty.pdf | ''Dodatek 1.'' Dwa paradygmaty metalogiki. Materiały pomocnicze do wykładów 2-5.]]	+
-	* [[Media: opoledodatek02.pdf | ''Dodatek 2.'' Dowody niektórych twierdzeń o operacjach konsekwencji.]]	+	* [[Media: metatheory.pdf | Alasdair Urquhart: Metatheory.]]
-	* [[Media: budzynska.pdf | ''Dodatek 3.'' Katarzyna Budzyńska: Czy logika formalna opisuje dedukcyjne argumentacje?]]	+
-	* [[Media: indrzejczak.pdf | ''Dodatek 4.'' Andrzej Indrzejczak: Rozumowanie, argumentacja, dowód.]]	+	* [[Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki. Materiały pomocnicze do wykładów 2-5.]]
-	* [[Media: modalhist.pdf | ''Dodatek 5.'' Robert Goldblatt: Mathematical modal logic: a view of its evolution.]]	+
-	* [[Media: modalnerachunkizdan.pdf | ''Dodatek 6.'' Andrzej Wiśniewski: Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne.]]	+	* [[Media: opoledodatek02.pdf | Dowody niektórych twierdzeń o operacjach konsekwencji.]]
-	* [[Media: modelekripkego.pdf | ''Dodatek 7.'' Andrzej Wiśniewski: Semantyka relacyjna dla normalnych modalnych rachunków zdań.]]	+
-	* [[Media: lustrzanalogika.pdf | ''Dodatek 8.'' Raymond Smullyan: Lustrzana logika.]]	+	* [[Media: budzynska.pdf | Katarzyna Budzyńska: Czy logika formalna opisuje dedukcyjne argumentacje?]]
-	* [[Media: metalogikaopoledrobinka.pdf | ''Dodatek 9.'' Przypomnienie: drobinka semantyki KRP.]]	+
-	* [[Media: metalogikaopolegq.pdf | ''Dodatek 10.'' Uogólnione kwantyfikatory a języki etniczne.]]	+	* [[Media: indrzejczak.pdf | Andrzej Indrzejczak: Rozumowanie, argumentacja, dowód.]]
-	* [[Media: metalogikaopolesyll.pdf | ''Dodatek 11.'' Uogólnione kwantyfikatory a sylogistyka.]]	+
-	* [[Media: churchtrakhtenbrot.pdf | ''Dodatek 12.'' Stephen Simpson: Theorems of Church and Trakhtenbrot.]]	+	* [[Media: modalhist.pdf | Robert Goldblatt: Mathematical modal logic: a view of its evolution.]]
-	* [[Media: vaananen02.pdf | ''Dodatek 13.'' Jouko Väänänen: A Short Course on Finite Model Theory.]]	+
-	* [[Media: vaananen01.pdf | ''Dodatek 14.'' Jouko Väänänen: Generalized Quantifiers.]]	+	* [[Media: modalnerachunkizdan.pdf | Andrzej Wiśniewski: Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne.]]
-	* [[Media: montagueptq.pdf | ''Dodatek 15.'' Richard Montague: The Proper Treatment of Quantification in Ordinary English.]]	+
-	* [http://plato.stanford.edu/entries/generalized-quantifiers/ ''Dodatek 16.'' Dag Westerståhl: Generalized Quantifiers.]	+	* [[Media: modelekripkego.pdf | Andrzej Wiśniewski: Semantyka relacyjna dla normalnych modalnych rachunków zdań.]]
-	* [http://plato.stanford.edu/entries/logic-infinitary/ ''Dodatek 17.'' John L. Bell: Infinitary Logic.]	+
-	* [http://www.inveling.amu.edu.pl/pdf/pogonowski2_inve14.pdf ''Dodatek 18.'' Projekt logiki infinitarnej Ernsta Zermela.]	+	* [[Media: lustrzanalogika.pdf | Raymond Smullyan: Lustrzana logika.]]
-	* [[Media: grzegorczyk.pdf | ''Dodatek 19.'' Andrzej Grzegorczyk: Some classes of recursive functions.]]	+
-	* [[Media: klunder.pdf | ''Dodatek 20.'' Barbara Klunder: Podstawy Teorii Obliczalności.]]	+	* [[Media: wojcickinonmonotonic.pdf | Ryszard Wójcicki: An axiomatic treatment of non-monotonic arguments.]]
-	* [[Media: splawskilambda.pdf | ''Dodatek 21.'' Zdzisław Spławski: Programowanie funkcyjne. Wykład 12. Funkcje rekurencyjne i rachunek lambda.]]	+
-	* [[Media: szczuka03.pdf | ''Dodatek 22.'' Marcin Szczuka: Modele Obliczeń. Wykład 3. Maszyny RAM i Funkcje Rekurencyjne.]]	+	* [[Media: johnslaney.pdf | John Slaney: Overview of Logic and Computation: Notes.]]
-	* [[Media: ackermannzhang.pdf | ''Dodatek 23.'' Qinglei Zhang: Ackermann's Function.]]	+
-	* [[Media: ackermannpilarczyk.pdf | ''Dodatek 24.'' Paweł Pilarczyk: Funkcja Ackermanna.]]	+	* [[Media: tonymartinmetalogic.pdf | Tony Martin: Introduction to Metalogic.]]
-	* [[Media: ackermanntaylor.pdf | ''Dodatek 25.'' R. Gregory Taylor: Ackermann's Function Is Not Primitive Recursive.]]	+
-	* [[Media: ackermanngottschalk.pdf | ''Dodatek 26.'' Walter Gottschalk: The Ackermann Number Explosion.]]	+	===Do wykładów 4-5===
-	* [[Media: liegerblieberger.pdf | ''Dodatek 27.'' Roland Lieger, Johann Blieberger: The Ackermann-Function Effort in Space and Time.]]	+
-	* [[Media: marciszewski.pdf | ''Dodatek 28.'' Witold Marciszewski: Człowiek - twór Wszechświata i jego współtwórca.]]	+	* [[Media: metalogikaopoledrobinka.pdf | Przypomnienie: drobinka semantyki KRP.]]
-	* [[Media: kolodziejczyk.pdf | ''Dodatek 29.'' Piotr Kołodziejczyk: Obliczanie, semantyka, superweniencja.]]	+
-	* [[Media: openproblems.pdf | ''Dodatek 30.'' Ted Slaman: Questions in Recursion Theory (1997).]]	+	* [[Media: metalogikaopolegq.pdf | Uogólnione kwantyfikatory a języki etniczne.]]
-	* [http://www.youtube.com/watch?v=7XfA5EhH7Bc&feature=related ''Dodatek 31.'' Yuri Gurevich: The Church-Turing Thesis: Story and Recent Progress.]	+
-	* [http://www.youtube.com/watch?v=nxiObVwQ8MM&feature=related ''Dodatek 32.'' Richard Buckland: A simple recursive function.]	+	* [[Media: metalogikaopolesyll.pdf | Uogólnione kwantyfikatory a sylogistyka.]]
-	* [http://www.youtube.com/watch?v=jq0ELhpKevY&feature=related ''Dodatek 33.'' The Turing Test.]	+
-	*[http://www.youtube.com/watch?v=Iv0OLo_-O98&feature=related ''Dodatek 34.'' Learning Recursion with the Towers of Hanoi.]	+	* [[Media: churchtrakhtenbrot.pdf | Stephen Simpson: Theorems of Church and Trakhtenbrot.]]
-	*[http://www.youtube.com/watch?v=eUXgfnC9Tao&feature=related ''Dodatek 35.'' Little Turing Machine.]	+
-	*[http://www.youtube.com/watch?v=cYw2ewoO6c4&feature=fvw ''Dodatek 36.'' The LEGO Turing Machine.]	+	* [[Media: vaananen02.pdf | Jouko Väänänen: A Short Course on Finite Model Theory.]]
		+
		+	* [[Media: vaananen01.pdf | Jouko Väänänen: Generalized Quantifiers.]]
		+
		+	* [[Media: montagueptq.pdf | Richard Montague: The Proper Treatment of Quantification in Ordinary English.]]
		+
		+	* [[Media: markerinfinitary1.pdf | David Marker: A Primer on Infinitary Logic. 1-2.]]
		+
		+	* [[Media: markerinfinitary1.pdf | David Marker: A Primer on Infinitary Logic. 3.]]
		+
		+	* [[Media: markerinfinitary1.pdf | David Marker: A Primer on Infinitary Logic. 4.]]
		+
		+	* [[Media: markerinfinitary1.pdf | David Marker: A Primer on Infinitary Logic. 5.]]
		+
		+	* [[Media: kueker1.pdf | David W. Kueker : Lowenheim-Skolem Theorems, Countable Approximations and $L_{\infty\omega}$.]]
		+
		+	* [[Media: kueker1.pdf | David W. Kueker : Finite Character and $L_{\infty\omega}$.]]
		+
		+	* [[Media: andrasmate.pdf | Andras Mate: First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox.]]
		+
		+	* [[Media: jakubszymanikkwant.pdf | Jakub Szymanik: Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym.]]
		+
		+	* [http://plato.stanford.edu/entries/generalized-quantifiers/ Dag Westerstahl: Generalized Quantifiers.]
		+
		+	* [http://plato.stanford.edu/entries/logic-infinitary/ John L. Bell: Infinitary Logic.]
		+
		+	* [http://www.inveling.amu.edu.pl/pdf/pogonowski2_inve14.pdf Projekt logiki infinitarnej Ernsta Zermela.]
		+
		+	===Do wykładów 6-7===
		+
		+	* [[Media: grzegorczyk.pdf | Andrzej Grzegorczyk: Some classes of recursive functions.]]
		+
		+	* [[Media: klunder.pdf | Barbara Klunder: Podstawy Teorii Obliczalności.]]
		+
		+	* [[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: ackermannzhang.pdf | Qinglei Zhang: Ackermann's Function.]]
		+
		+	* [[Media: ackermannpilarczyk.pdf | Paweł Pilarczyk: Funkcja Ackermanna.]]
		+
		+	* [[Media: ackermanntaylor.pdf | R. Gregory Taylor: Ackermann's Function Is Not Primitive Recursive.]]
		+
		+	* [[Media: ackermanngottschalk.pdf | Walter Gottschalk: The Ackermann Number Explosion.]]
		+
		+	* [[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: kolodziejczyk.pdf | Piotr Kołodziejczyk: Obliczanie, semantyka, superweniencja.]]
		+
		+	* [[Media: openproblems.pdf | Ted Slaman: Questions in Recursion Theory (1997).]]
		+
		+	* [[Media: algorithmiccomplexity.pdf | M. Li, P. Vitanyi: Algorithmic complexity.]]
		+
		+	* [[Media: andrejbogdanov.pdf | Andrej Bogdanov: Turing Machines.]]
		+
		+	* [[Media: andrewpitts.pdf | Andrew Pitts: Computation Theory.]]
		+
		+	* [[Media: andrzejzbrzeznyeto.pdf | Andrzej Zbrzezny: Elementy Teorii Obliczeń. 2.]]
		+
		+	* [[Media: barendregtbarendsen.pdf | Henk Barendregt, Erik Barendsen: Introduction to Lambda Calculus.]]
		+
		+	* [[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: leopoldobertossi.pdf | Leopoldo Bertossi: From Hilbert to Turing and beyond...]]
		+
		+	* [[Media: luiseugenioluis.pdf | Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma Otamendi: What Machines Can and Cannot Do.]]
		+
		+	* [[Media: luitevanzelst.pdf | Luite van Zelst: Turing Machines and Computer Viruses.]]
		+
		+	* [[Media: michaelbeeson.pdf | Michael Beeson: The Mechanization of Mathematics. (Prezentacja.)]]
		+
		+	* [[Media: michaelbeesonmom.pdf | Michael Beeson: The Mechanization of Mathematics. (Tekst.)]]
		+
		+	* [[Media: miljenoviclambda.pdf | Ivan Lazar Miljenovic: Functions all the way down! Lambda Calculus and Curch Encoding.]]
		+
		+	* [[Media: penrosewiz.pdf | Roger Penrose: Kto skonstruuje myślącą istotę, będzie miał wszystkie prawa i obowiązki Boga.]]
		+
		+	* [[Media: stephanmertenscoc.pdf | Stephan Mertens: Complexity of Computation.]]
		+
		+	* [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=nxiObVwQ8MM&feature=related Richard Buckland: A simple recursive function.]
		+
		+	* [http://www.youtube.com/watch?v=jq0ELhpKevY&feature=related The Turing Test.]
		+
		+	*[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.]
		+
		+	===Do wykładów 8-9===
		+
		+	* [[Media: alanturing1936.pdf | Alan Turing: On computable numbers, with an application to the Entscheidungsproblem.]]
		+
		+	* [[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: avigadtradition.pdf | Jeremy Avigad: Godel and the metamathematical tradition.]]
		+
		+	* [[Media: boolosmind103.pdf | George Boolos: Godel's Second Incompleteness Theorem Explained in Words of One Syllable.]]
		+
		+	* [[Media: busschapter2.pdf | Samuel R. Buss: First-Order Proof Theory of Arithmetic.]]
		+
		+	* [[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: compcompcol.pdf | Scott Aaronson: Is P Versus NP Formally Independent?.]]
		+
		+	* [[Media: debowski.pdf | Łukasz Dębowski: Teorioinformacyjne twierdzenie Godla, czyli co ma logika do statystyki?]]
		+
		+	* [[Media: dickdejonghgit.pdf | Dick de Jongh: The Incompleteness Theorems, their content and their meaning.]]
		+
		+	* [[Media: errolmartingrt.pdf | Errol Martin: Godel's Remarkable Theorem.]]
		+
		+	* [[Media: fefermangit.pdf | Solomon Feferman: The nature and significance of Godel'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: fm49118mostowski.pdf | Andrzej Mostowski: A generalization of the incompleteness theorem.]]
		+
		+	* [[Media: friedman40.pdf | Harvey M. Friedman: My Forty Years On His Shoulders.]]
		+
		+	* [[Media: friedmangodel.pdf | Harvey M. Friedman: Formal Statements Of Godel's Second Incompleteness Theorem.]]
		+
		+	* [[Media: gurevichdecision.pdf | Yuri Gurevich: On the Classical Decision Problem.]]
		+
		+	* [[Media: gutowskikolmogorow.pdf | Grzegorz Gutowski: Dowód pierwszego twierdzenia Godela o niezupełności arytmetyki oparty o złożoność Kołmogorowa.]]
		+
		+	* [[Media: henrykkotlarski.pdf | Henryk Kotlarski: On the Incompleteness Theorems.]]
		+
		+	* [[Media: japaridzedejongh.pdf | Giorgi Japaridze, Dick de Jongh: The Logic of Provability.]]
		+
		+	* [[Media: jechgit.pdf | Thomas Jech: On Godel's Second Incompleteness Theorem.]]
		+
		+	* [[Media: johnlucas.pdf | John R. Lucas: Umysły, maszyny i Godel.]]
		+
		+	* [[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: Godel's Incompleteness Theorem.]]
		+
		+	* [[Media: klaussutner.pdf | Klaus Sutner: Reasoning and Proving.]]
		+
		+	* [[Media: krajewskirozdzial2.pdf | Stanisław Krajewski: Twierdzenie Godla i jego filozoficzne interpretacje.]]
		+
		+	* [[Media: kulturakolany.pdf | Adam Kolany: Kultura matematyczna. Świadomość środków, świadomość ograniczeń.]]
		+
		+	* [[Media: lafitteincompletenesss.pdf | Gregory Lafitte: Godel's incompleteness revisited.]]
		+
		+	* [[Media: magnusbomansurvey.pdf | Magnus Boman: A Survey of Provability Logic.]]
		+
		+	* [[Media: marciszewskiszkic.pdf | Witold Marciszewski: Szkic uzasadnienia Twierdzenia Godla o nieusuwalnej niezupełności arytmetyki liczb naturalnych.]]
		+
		+	* [[Media: martinhirzel.pdf | Martin Hirzel: Translation of Godel 1931.]]
		+
		+	* [[Media: metamathematicsmarker.pdf | David Marker: Metamathematics.]]
		+
		+	* [[Media: michaeldetlefsen.pdf | Michael Detlefsen: What Does Godel's Second Theorem Say?]]
		+
		+	* [[Media: mingzhongcai.pdf | Mingzhong Cai: The Hitchhiker's Guide to 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: 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 Godla.]]
		+
		+	* [[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: Godel's incompleteness theorem.]]
		+
		+	* [[Media: robinwhitty1.pdf | Robin Whitty: Godel's First Incompleteness Theorem.]]
		+
		+	* [[Media: robinwhitty2.pdf | Robin Whitty: Godel's Second Incompleteness Theorem.]]
		+
		+	* [[Media: sbcooper.pdf | S. Barry Cooper: Incomputability, Fifty Years After Alan Turing.]]
		+
		+	* [[Media: sebastianbader.pdf | Sebastian Bader: Godel's Incompleteness Theorems.]]
		+
		+	* [[Media: sieg3contributions.pdf | Wilfried Sieg: Formal Systems, Church Turing Thesis, Godel's Theorems.]]
		+
		+	* [[Media: siegeffectiveness.pdf | Wilfried Sieg: Effectiveness and Provability.]]
		+
		+	* [[Media: sllgit.pdf | Wilfried Sieg, Ingrid Lindstrom, Sten Lindstrom: Godel's incompleteness theorem: a computer-based course in elementary proof theory.]]
		+
		+	* [[Media: smithfugue3.pdf | Timothy A. Smith: Fugue No. 3.]]
		+
		+	* [[Media: tzameretgit.pdf | Iddo Tzameret: Godel's Incompleteness Theorems.]]
		+
		+	* [[Media: vidalrosset.pdf | Joseph Vidal-Rosset: Does Godel's incompleteness theorem prove that proof transcends truth?.]]
		+
		+	* [[Media: kirbyparis.pdf | Laurie Kirby, Jeff Paris: Accessible Independence Results For Peano Arithmetic.]]
	==Informacje pomocnicze==		==Informacje pomocnicze==

---

Wersja z dnia 14:54, 30 lis 2009

Spis treści 1 Metalogika (Uniwersytet Opolski) 1.1 Prezentacje 1.2 Dodatki 1.2.1 Do wykładów 0-3 1.2.2 Do wykładów 4-5 1.2.3 Do wykładów 6-7 1.2.4 Do wykładów 8-9 1.3 Informacje pomocnicze

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.

• Plan wykładów.

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

• Alasdair Urquhart: Metatheory.

• Dwa paradygmaty metalogiki. Materiały pomocnicze do wykładów 2-5.

• Dowody niektórych twierdzeń o operacjach konsekwencji.

• Katarzyna Budzyńska: Czy logika formalna opisuje dedukcyjne argumentacje?

• Andrzej Indrzejczak: Rozumowanie, argumentacja, dowód.

• Robert Goldblatt: Mathematical modal logic: a view of its evolution.

• Andrzej Wiśniewski: Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne.

• Andrzej Wiśniewski: Semantyka relacyjna dla normalnych modalnych rachunków zdań.

• Raymond Smullyan: Lustrzana logika.

• Ryszard Wójcicki: An axiomatic treatment of non-monotonic arguments.

• John Slaney: Overview of Logic and Computation: Notes.

• Tony Martin: Introduction to Metalogic.

Do wykładów 4-5

• Przypomnienie: drobinka semantyki KRP.

• Uogólnione kwantyfikatory a języki etniczne.

• Uogólnione kwantyfikatory a sylogistyka.

• Stephen Simpson: Theorems of Church and Trakhtenbrot.

• Jouko Väänänen: A Short Course on Finite Model Theory.

• Jouko Väänänen: Generalized Quantifiers.

• Richard Montague: The Proper Treatment of Quantification in Ordinary English.

• David Marker: A Primer on Infinitary Logic. 1-2.

• David Marker: A Primer on Infinitary Logic. 3.

• David Marker: A Primer on Infinitary Logic. 4.

• David Marker: A Primer on Infinitary Logic. 5.

• David W. Kueker : Lowenheim-Skolem Theorems, Countable Approximations and $L_{\infty\omega}$.

• David W. Kueker : Finite Character and $L_{\infty\omega}$.

• Andras Mate: First- or Second-Order Logic? Quine, Putnam and the Skolem-paradox.

• Jakub Szymanik: Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym.

• Dag Westerstahl: Generalized Quantifiers.

• John L. Bell: Infinitary Logic.

• Projekt logiki infinitarnej Ernsta Zermela.

Do wykładów 6-7

• Andrzej Grzegorczyk: Some classes of recursive functions.

• Barbara Klunder: Podstawy Teorii Obliczalności.

• Zdzisław Spławski: Programowanie funkcyjne. Wykład 12. Funkcje rekurencyjne i rachunek lambda.

• Marcin Szczuka: Modele Obliczeń. Wykład 3. Maszyny RAM i Funkcje Rekurencyjne.

• Qinglei Zhang: Ackermann's Function.

• Paweł Pilarczyk: Funkcja Ackermanna.

• R. Gregory Taylor: Ackermann's Function Is Not Primitive Recursive.

• Walter Gottschalk: The Ackermann Number Explosion.

• Roland Lieger, Johann Blieberger: The Ackermann-Function Effort in Space and Time.

• Witold Marciszewski: Człowiek - twór Wszechświata i jego współtwórca.

• Piotr Kołodziejczyk: Obliczanie, semantyka, superweniencja.

• Ted Slaman: Questions in Recursion Theory (1997).

• M. Li, P. Vitanyi: Algorithmic complexity.

• Andrej Bogdanov: Turing Machines.

• Andrew Pitts: Computation Theory.

• Andrzej Zbrzezny: Elementy Teorii Obliczeń. 2.

• Henk Barendregt, Erik Barendsen: Introduction to Lambda Calculus.

• Elisa Elshamy: How To Think About Algorithms.

• Marek Hetmański: Maszyna Turinga a umysł ludzki.

• Andrew Hodges: Alan Turing: the logical and physical basis of computing.

• Leopoldo Bertossi: From Hilbert to Turing and beyond...

• Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma Otamendi: What Machines Can and Cannot Do.

• Luite van Zelst: Turing Machines and Computer Viruses.

• Michael Beeson: The Mechanization of Mathematics. (Prezentacja.)

• Michael Beeson: The Mechanization of Mathematics. (Tekst.)

• Ivan Lazar Miljenovic: Functions all the way down! Lambda Calculus and Curch Encoding.

• Roger Penrose: Kto skonstruuje myślącą istotę, będzie miał wszystkie prawa i obowiązki Boga.

• Stephan Mertens: Complexity of Computation.

• Yuri Gurevich: The Church-Turing Thesis: Story and Recent Progress.

• Richard Buckland: A simple recursive function.

• The Turing Test.

• Learning Recursion with the Towers of Hanoi.

• Little Turing Machine.

• The LEGO Turing Machine.

Do wykładów 8-9

• Alan Turing: On computable numbers, with an application to the Entscheidungsproblem.

• Anton Setzer: Computability Theory.

• Solomon Feferman: My route to arithmetization.

• Jeremy Avigad: Incompleteness via the halting problem.

• Jeremy Avigad: Godel and the metamathematical tradition.

• George Boolos: Godel's Second Incompleteness Theorem Explained in Words of One Syllable.

• Samuel R. Buss: First-Order Proof Theory of Arithmetic.

• Gregory J. Chaitin: Computational Complexity and Godel's Incompleteness Theorem.

• Gregory J. Chaitin: Komputery, Paradoksy i Podstawy Matematyki.

• Scott Aaronson: Is P Versus NP Formally Independent?.

• Łukasz Dębowski: Teorioinformacyjne twierdzenie Godla, czyli co ma logika do statystyki?

• Dick de Jongh: The Incompleteness Theorems, their content and their meaning.

• Errol Martin: Godel's Remarkable Theorem.

• Solomon Feferman: The nature and significance of Godel's incompleteness theorems.

• Solomon Feferman: The impact of the incompleteness theorems on mathematics.

• Solomon Feferman: Arithmetization of metamathematics in a general setting.

• Andrzej Mostowski: A generalization of the incompleteness theorem.

• Harvey M. Friedman: My Forty Years On His Shoulders.

• Harvey M. Friedman: Formal Statements Of Godel's Second Incompleteness Theorem.

• Yuri Gurevich: On the Classical Decision Problem.

• Grzegorz Gutowski: Dowód pierwszego twierdzenia Godela o niezupełności arytmetyki oparty o złożoność Kołmogorowa.

• Henryk Kotlarski: On the Incompleteness Theorems.

• Giorgi Japaridze, Dick de Jongh: The Logic of Provability.

• Thomas Jech: On Godel's Second Incompleteness Theorem.

• John R. Lucas: Umysły, maszyny i Godel.

• Reinhard Kahle: Godel's theorem. The divorce of Mathematics and Computer Science.

• Kazimierz Trzęsicki: Metodologiczne i teoriopoznawcze przesłanki klasycznego problemu rozstrzygalności.

• Yurii Khomskii: Godel's Incompleteness Theorem.

• Klaus Sutner: Reasoning and Proving.

• Stanisław Krajewski: Twierdzenie Godla i jego filozoficzne interpretacje.

• Adam Kolany: Kultura matematyczna. Świadomość środków, świadomość ograniczeń.

• Gregory Lafitte: Godel's incompleteness revisited.

• Magnus Boman: A Survey of Provability Logic.

• Witold Marciszewski: Szkic uzasadnienia Twierdzenia Godla o nieusuwalnej niezupełności arytmetyki liczb naturalnych.

• Martin Hirzel: Translation of Godel 1931.

• David Marker: Metamathematics.

• Michael Detlefsen: What Does Godel's Second Theorem Say?

• Mingzhong Cai: The Hitchhiker's Guide to the Incompleteness Theorem.

• Roman Murawski: On proofs of the consistency of arithmetic.

• Roman Murawski: O tym, jak Herakles walczył z hydrą, czyli o potędze i słabościach matematyki..

• Adam Olszewski: O roli Tezy Churcha w dowodzie pewnego twierdzenia.

• Adam Olszewski: Teza Churcha a platonizm.

• Adam Olszewski: Teza Churcha a Twierdzenie Godla.

• Peter Smith: Kleene's Normal Form Theorem and the First Incompleteness Theorem.

• Rasmus Blanck: On Rosser sentences and proof predicates.

• Bengt Ringner: Godel's incompleteness theorem.

• Robin Whitty: Godel's First Incompleteness Theorem.

• Robin Whitty: Godel's Second Incompleteness Theorem.

• S. Barry Cooper: Incomputability, Fifty Years After Alan Turing.

• Sebastian Bader: Godel's Incompleteness Theorems.

• Wilfried Sieg: Formal Systems, Church Turing Thesis, Godel's Theorems.

• Wilfried Sieg: Effectiveness and Provability.

• Wilfried Sieg, Ingrid Lindstrom, Sten Lindstrom: Godel's incompleteness theorem: a computer-based course in elementary proof theory.

• Timothy A. Smith: Fugue No. 3.

• Iddo Tzameret: Godel's Incompleteness Theorems.

• Joseph Vidal-Rosset: Does Godel's incompleteness theorem prove that proof transcends truth?.

• Laurie Kirby, Jeff Paris: Accessible Independence Results For Peano Arithmetic.

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:

• Jerzy Pogonowski: Logika Matematyczna

• Jerzy Pogonowski: Wstęp do Matematyki

• Jerzy Pogonowski: Funkcje Rekurencyjne

Znakomitym wstępem algebraicznym jest monografia:

• 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