Kurt Gödel (1906-1978)

• Autorzy: Murawski R.
• Języki publikacji: PL

Słowa kluczowe

PL

Gödel Kurt; logika matematyczna; biografia; biografia naukowa

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Roczniki Polskiego Towarzystwa Matematycznego. Seria 2: Wiadomości Matematyczne
• Rocznik: 2006
• Tom: [Z] 42
• Strony: 27--44
• Opis fizyczny: bibliogr. 25 poz.

Twórcy

autor

Murawski R.

• Wydział matematyki i Informatyki UAM, ul. Umultowska 87, 61-614 Poznań,

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.