-
1
-
-
0003714737
-
-
Davis M., (ed), Hewlett, NY: Raven Press
-
Davis, M., 1965. The Undecidable:Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Edited by:Davis, M., Hewlett, NY:Raven Press.
-
(1965)
The Undecidable:Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
-
-
Davis, M.1
-
2
-
-
85025307111
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
-
Murawski, R. Recursive Functions and Metamathematics, to appear
-
Murawski, R. Recursive Functions and Metamathematics, to appear
-
-
-
-
14
-
-
34347194111
-
Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften, I ’, Monatshefte für Mathematik und Physik 37, 361–404, English translation
-
Tarski, A., 1930. ‘Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften, I ’, Monatshefte für Mathematik und Physik 37, 361–404, English translation. 1956. ‘Fundamental concepts of the methodology of the deductive sciences’, in Logic, Semantics, Metamathematics. Papers From 1923 to 1938, Oxford:Clarendon Press, pp.60–109
-
(1930)
1956. ‘Fundamental concepts of the methodology of the deductive sciences’, in Logic, Semantics, Metamathematics. Papers From 1923 to 1938, Oxford:Clarendon Press
, pp. 60-109
-
-
Tarski, A.1
-
15
-
-
24244440988
-
-
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
-
-
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
-
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
-
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
-
19
-
-
0011609067
-
The concept of truth in formalized languages
-
Oxford: Clarendon Press
-
Tarski, A., 1956. “ The concept of truth in formalized languages ”. In Logic, Semantics, Metamathematics, Papers From 1923 To 1938, 152–278. Oxford:Clarendon Press.
-
(1956)
Logic, Semantics, Metamathematics, Papers From 1923 To 1938
, pp. 152-278
-
-
Tarski, A.1
-
21
-
-
2342573738
-
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
-
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
|