Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Słowa kluczowe
Wydawca
Rocznik
Tom
Strony
27--44
Opis fizyczny
bibliogr. 25 poz.
Twórcy
autor
- Wydział matematyki i Informatyki UAM, ul. Umultowska 87, 61-614 Poznań, rmur@amu.edu.pl
Bibliografia
- [1] J. Czermak, Abriss des ontologischen Arguments, w: [14], Band II, 309-324.
- [2] K. Gödel, Uber die Vollstandigkeit des Logikkalkuls, rozprawa doktorska, opublikowana wraz z tłumaczeniem angielskim "On the completeness of the calculus of logic" w: [11], vol. I, 60-101.
- [3] K. Göde l, Die Vollstandigkeit der Axiome des logischen Funktionenkalkiils, Monat-shefte fur Mathematik und Physik 37 (1930), 349-360; przedruk wraz z tłumaczeniem angielskim "The completeness of the axioms of the functional calculus of logic" w: [11], vol. I, 102-123.
- [4] K. Gödel, Uber formal unentscheidbare Satze der "Principia Mathematica" und verwandter Systeme. I, Monatshefte fur Mathematik und Physik 38 (1931), 173-198; przedruk wraz z tłumaczeniem angielskim "On formally undecidable propositions of Principia Mathematica and related systems" w: [11], vol. I, 144-195.
- [5] K. Gödel, On Undecidable Propositions of Formal Mathematical Systems (mimeographed lecture notes, taken by S.C. Kleene and J.B. Rosser), Princeton; przedruk z poprawkami w: M. Davis (Ed.) The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Raven Press, Hewlett, N.Y., 1965, 39-74; także w: [11], vol. I, 346-371.
- [6] K. Gödel, UUber die LUange von Beweisen, Ergebnisse eines mathematischen Kollo-quiums 7 (1936), 23-24; przedruk wraz z tłumaczeniem angielskim "On the length of proofs" w: [11], vol. I, 396-399.
- [7] K. Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory, Annals of Mathematical Studies, No. 3, Princeton University Press, Princeton 1940.
- [8] K. Gödel, Russell's mathematical logic, w: P.A. Schilpp (Ed.), The Philosophy of Bertrand Russell, Northwestern University, Evanston, 123-153; przedruk w: [11], vol. II, 119-141.
- [9] K. Gödel, What is Cantor's continuum problem?, The American Mathematical Monthly 54 (1947), 515-525. Wersja rozszerzona w: P. Benacerraf, H. Putnam (Eds.), Philosophy of Mathematics. Selected Readings, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1964, 258-273. Przedruk w: [11], vol. II, 176-187.
- [10] K. Gödel, Uber eine bisher noch nicht benutzte Erweiterung des finiten Stand-punktes, Dialectica 12 (1958), 280-287. Przedruk wraz z tłumaczeniem angielskim "On a hitherto unutilized extension of the finitary standpoint" w: [11], vol. II, 240-251. Wersja rozszerzona i poprawiona, która miała się ukazać w roku 1972, została opublikowana w: [11], vol. II, 271-280.
- [11] K. Gödel, Collected Works, vol. I-V, eds. Feferman S. et al., Oxford University Press, New York and Oxford, 1986-2003.
- [12] D. Hilbert, W. Ackermann, Grundzüge der theoretischen Logik, Verlag von Julius Springer, Berlin 1928.
- [13] D. Hilbert, P. Bernays, Grundlagen der Mathematik, Bd. I 1934, Bd. II 1939, Springer Verlag, Berlin.
- [14] E. Kohler et al. (Eds.), Kurt Gödel. Wahrheit und Beweisbarkeit, Bd. I-II, obv et hpt VerlagsgmbH & Co. KG, Wien 2002.
- [15] L. Kir by, J. Paris, Accessible independence results for Peano Arithmetic, Bulletin of London Mathematical Society 14 (1982), 285-293.
- [16] S. Krajewski, Kurt Gödel i jego dzieło, Roczniki Polskiego Towarzystwa Matematycznego, Seria II: Wiadomości Matematyczne 23, nr 2 (1981), 161-187.
- [17] S. Krajewski, Twierdzenie Gödla i jego interpretacje filozoficzne. Od mechanicyzmu do postmodernizmu, Wydawnictwo Instytutu Filozofii i Socjologii PAN, Warszawa 2003.
- [18] R. Murawski, Matematyczna niezupełność arytmetyki, Roczniki Polskiego Towarzystwa Matematycznego, Seria II: Wiadomości Matematyczne 26 (1984), 47-58.
- [19] R. Murawski, Gödel's incompleteness theorems and computer science, Foundations of Science 2 (1997), 123-135.
- [20] R. Murawski, Undefinability of truth. The problem of the priority: Tarski vs. Gödel, History and Philosophy of Logic 19 (1998), 153-160.
- [21] R. Murawski, Recursive Functions and Metamathematics. Problems of Completeness and Decidability, Gödel's Theorems, Kluwer Academic Publishers, Dordrecht/ Boston/London 1999.
- [22] R. Murawski, Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, twierdzenia Gödla, wydanie III, Wydawnictwo Naukowe UAM, Poznań 2000.
- [23] R. Murawski, Kontekst historyczny i recepcja twierdzeń Gödla o niezupełności, w: Filozofia i logika, red. J. Hartman, Aureus, Kraków 2000, 414-426.
- [24] R. Murawski, Filozofia matematyki. Zarys dziejów, wydanie II, Wydawnictwo Naukowe PWN, Warszawa 2001.
- [25] J. Paris, L. Harrington, A mathematical incompleteness in Peano Arithmetic, w: J. Barwise (Ed.), Handbook of Mathematical Logic, North-Holland Publ. Comp., Amsterdam 1977, 1133-1142.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS5-0001-0047