메뉴 건너뛰기




Volumn 19, Issue 3, 1998, Pages 153-160

Undefinability of truth. the problem of priority:tarski vs gödel

Author keywords

[No Author keywords available]

Indexed keywords


EID: 2342468884     PISSN: 01445340     EISSN: 14645149     Source Type: Journal    
DOI: 10.1080/01445349808837306     Document Type: Article
Times cited : (29)

References (24)
  • 2
    • 85025307111 scopus 로고
    • The reception of Gödel’s incompleteness theorems in Asquith, P. D. and Kitcher, Ph., Eds, PSA 1984:Proceedings of the 1984 Biennial Meeting of the Philosophy of Science Association, 2, pp.253-271. Reprinted in:Shanker, S. G. (ed.) 1998. Godel’s Theorem in Focus, London:Croom Helm
    • Dawson, Jr, J.W., 1985. The reception of Gödel’s incompleteness theorems in Asquith, P. D. and Kitcher, Ph., Eds, PSA 1984:Proceedings of the 1984 Biennial Meeting of the Philosophy of Science Association, 2, pp.253-271. Reprinted in:Shanker, S. G. (ed.) 1998. Godel’s Theorem in Focus, London:Croom Helm, pp.74-95
    • (1985) Pp.74-95
    • Dawson, J.W.1
  • 3
    • 0002913955 scopus 로고
    • Completing the Gödel-Zermelo correspondence
    • Dawson, J.W., Jr. 1985a. Completing the Gödel-Zermelo correspondence. Historia Mathematica, 12:66–70.
    • (1985) Historia Mathematica , vol.12 , pp. 66-70
    • Dawson, J.W.1
  • 4
    • 85025324114 scopus 로고    scopus 로고
    • Feferman, S., 1984. ’Kurt Gödel:conviction and causation’, in Philosophia Naturalis, special issue, Weingartner, P. et al, eds, Philosophy of Science—History of Science. A Selection of Contributed Papers of the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, Meisenheim⊠Glan:Verlag Anton Hain. Reprinted in Shanker, S. G. (ed.) 1998. Godel’s Theorem in Focus, London:Croom Helm, pp.96-114
    • Feferman, S., 1984. ’Kurt Gödel:conviction and causation’, in Philosophia Naturalis, special issue, Weingartner, P. et al, eds, Philosophy of Science—History of Science. A Selection of Contributed Papers of the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, Meisenheim⊠Glan:Verlag Anton Hain. Reprinted in Shanker, S. G. (ed.) 1998. Godel’s Theorem in Focus, London:Croom Helm, pp.96-114
  • 6
    • 85025350871 scopus 로고
    • Collected Works, I, Feferman, S. . eds
    • Gödel, K. 1929. ’Über die Vollständigkeit des Logikkalküls’, doctoral dissertation, submitted in 1929; published and translated in Gödel, K. 1986. Collected Works, I, Feferman, S. et al. eds, New York:Oxford University Press and Oxford:Clarendon Press, pp.60–101
    • (1986) New York:Oxford University Press and Oxford:Clarendon Press , pp. 60-101
    • Gödel, K.1
  • 7
    • 0000495135 scopus 로고
    • Collected Works, I, Feferman, S., eds
    • Gödel, K. 1930. ’Die Vollständigkeit der Axiome des logischen Funktionenkalküls’, Monatshefte für Mathematik und Physik 37, 349–360. Reprinted with English translation ’The completeness of the axioms of the functional calculus of logic’ in Gödel, K. 1986. Collected Works, I, Feferman, S. et al., eds, New York:Oxford University Press and Oxford:Clarendon Press, pp.102-123
    • (1986) New York:Oxford University Press and Oxford:Clarendon Press , pp. 102-123
    • Gödel, K.1
  • 8
    • 34347193348 scopus 로고
    • Collected Works, I, Feferman, S, eds
    • Gödel, K. 1931. ’Über formal unentscheidbare Sätze der ’Principia Mathematica ’ und verwandter Systeme. I’, Monatshefte für Mathematik und Physik 38, 173–198. Reprinted with English translation ’On formally undecidable propositions of Principia Mathematica and related systems’ in Gödel, K, 1986. Collected Works, I, Feferman, S, et al, eds, New York:Oxford University Press and Oxford:Clarendon Press, pp.144–195
    • (1986) New York:Oxford University Press and Oxford:Clarendon Press , pp. 144-195
    • Gödel, K.1
  • 9
    • 85025318949 scopus 로고
    • On Undecidable Propositions of Formal Mathematical Systems (mimeographed lecture notes, taken by S. C. Kleene and J. B. Rosser), Princeton; reprinted with revisions in Davis, M. (ed.) 1965. The Undecidable:Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Hewlett, New York:Raven Press, pp.39–74. Also in Gödel, K. 1986. Collected Works, I, Feferman, S., eds, New York:Oxford University Press and Oxford:Clarendon Press pp
    • Gödel, K, 1934, On Undecidable Propositions of Formal Mathematical Systems (mimeographed lecture notes, taken by S. C. Kleene and J. B. Rosser), Princeton; reprinted with revisions in Davis, M. (ed.) 1965. The Undecidable:Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Hewlett, New York:Raven Press, pp.39–74. Also in Gödel, K. 1986. Collected Works, I, Feferman, S. et al, eds, New York:Oxford University Press and Oxford:Clarendon Press pp. 346–371
    • (1934) 346–371
    • Gödel, K.1
  • 10
    • 0000829056 scopus 로고
    • In memoriam Kurt Gödel:his 1931 correspondence with Zermelo on his incompletability theorem
    • Grattan-Guinness, I., 1979. In memoriam Kurt Gödel:his 1931 correspondence with Zermelo on his incompletability theorem. Historia Mathematica, 6:294–304.
    • (1979) Historia Mathematica , vol.6 , pp. 294-304
    • Grattan-Guinness, I.1
  • 11
    • 85025352087 scopus 로고    scopus 로고
    • Kohler, E. ‘Godel und der Wiener Kreis’, in Schimanovich, W. (Hrsg.) Kurt Gödel—Wahrheit und Beweisbarkeit, Wien: Hölder–Pichler–Tempsky, to appear
    • Kohler, E. ‘Godel und der Wiener Kreis’, in Schimanovich, W. (Hrsg.) Kurt Gödel—Wahrheit undBeweisbarkeit, Wien:Hölder–Pichler–Tempsky, to appear.
  • 12
    • 85025322406 scopus 로고    scopus 로고
    • Murawski, R. Recursive Functions and Metamathematics, to appear
    • Murawski, R. Recursive Functions and Metamathematics, to appear
  • 15
    • 24244440988 scopus 로고
    • Warszawa: Nakladem Towarzystwa Naukowego Warszawskiego, The Notion of Truth in Languages of Deductive Sciences
    • Tarski, A., 1933. Pojecie prawdy w jezykach nauk dedukcyjnych, Warszawa:Nakladem Towarzystwa Naukowego Warszawskiego. The Notion of Truth in Languages of Deductive Sciences
    • (1933) Pojecie prawdy w jezykach nauk dedukcyjnych
    • Tarski, A.1
  • 16
    • 0040474442 scopus 로고
    • Tarski, A., 1933a. ’Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit’, Monatshefte für Mathematik und Physik 40,97–112. English translation. 1956. ’ Some observations on the concept of ω-consistency and ω-completeness’, in Logic, Semantics, Metamathematics, Papers from 1923 To 1938, Oxford:Clarendon Press, pp.279–295
    • (1923) To 1938, Oxford:Clarendon Press , pp. 279-295
    • Tarski, A.1    Physik, M.F.M.U.2
  • 17
    • 0001380310 scopus 로고
    • Der Wahrheitsbegriff in den formalisierten Sprachen
    • offprints dated 1935
    • Tarski, A., 1936. Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica, 1:261–405. offprints dated 1935
    • (1936) Studia Philosophica , vol.1 , pp. 261-405
    • Tarski, A.1
  • 18
    • 2342625457 scopus 로고
    • Contributions to the discussion of P. BernaysZur Beurteilung der Situation in der beweistheoretischen Forschung
    • Tarski, A., 1954. Contributions to the discussion of P. BernaysZur Beurteilung der Situation in der beweistheoretischen Forschung. Revue Internationale de Philosophie, 8:16–20.
    • (1954) Revue Internationale de Philosophie , vol.8 , pp. 16-20
    • Tarski, A.1
  • 21
    • 2342573738 scopus 로고
    • Some facts about K. Gödel
    • Wang, H., 1981. Some facts about K. Gödel. Journal of Symbolic Logic, 46:653–659.
    • (1981) Journal of Symbolic Logic , vol.46 , pp. 653-659
    • Wang, H.1
  • 24
    • 33748817899 scopus 로고
    • Mathematical logic in Poland 1900-1939:people, circles, institutions, ideas
    • Woleński, J., 1995. Mathematical logic in Poland 1900-1939:people, circles, institutions, ideas. Modern Logic, 5:363–405.
    • (1995) Modern Logic , vol.5 , pp. 363-405
    • Woleński, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.