-
2
-
-
33746856649
-
The reception of Gödel's incompleteness theorems
-
Also in Shanker [31], 74-95
-
J. Dawson, The reception of Gödel's incompleteness theorems, Proc. Biennial Meeting of the Philosophy of Science Association, Vol. 2, 1984, 1985, pp. 253-371. Also in Shanker [31], 74-95.
-
(1984)
Proc. Biennial Meeting of the Philosophy of Science Association
, vol.2
, pp. 253-371
-
-
Dawson, J.1
-
3
-
-
0002913955
-
Completing the Gödel-Zermelo correspondence
-
Dawson J. Completing the Gödel-Zermelo correspondence Historia Math. 12 1985 66-70
-
(1985)
Historia Math.
, vol.12
, pp. 66-70
-
-
Dawson, J.1
-
4
-
-
0003415587
-
Logical Dilemmas, The Life and Work of Kurt Gödel
-
Wellesley, MA: A K Peters
-
Dawson J. Logical Dilemmas, The Life and Work of Kurt Gödel 1997 A K Peters Wellesley, MA
-
(1997)
-
-
Dawson, J.1
-
5
-
-
2342502711
-
Kurt Gödel: Conviction and caution
-
P. Weingartner, Ch. Puhringer (Eds.), A Selection of Contributed Papers of the Seventh International Congress of Logic Methodology and Philosophy of Science, Salzburg, 1983, Anton Hain, Meisenheim/Glan, 1984; also in Shanker [31]
-
S. Feferman, Kurt Gödel: conviction and caution, in: P. Weingartner, Ch. Puhringer (Eds.), Philosophy of Science-History of Science, A Selection of Contributed Papers of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, Anton Hain, Meisenheim/Glan, 1984; also in Shanker [31]
-
Philosophy of Science-History of Science
-
-
Feferman, S.1
-
6
-
-
84866498425
-
Tarski and Gödel: Between the Lines
-
Woleński and Köhler [46]
-
S. Feferman, Tarski and Gödel: Between the Lines, in Woleński and Köhler [46] pp. 53-63.
-
-
-
Feferman, S.1
-
7
-
-
0039767576
-
-
H. Hermes, F. Kambartel, F. Klaubach (Eds.), Hamburg
-
G. Frege, in: H. Hermes, F. Kambartel, F. Klaubach (Eds.), Nachgelassene Schriften, Hamburg, 1969.
-
(1969)
Nachgelassene Schriften
-
-
Frege, G.1
-
8
-
-
24244478451
-
Pisma semantyczne
-
(tłum. B. Wolniewicz) PWN, Warszawa
-
G. Frege, Pisma semantyczne (tłum. B. Wolniewicz) PWN, Warszawa, 1977.
-
(1977)
-
-
Frege, G.1
-
9
-
-
0000495135
-
Die Vollstandigkeit der Axiome des logischen Funktionenkalküls
-
Gödel K. Die Vollstandigkeit der Axiome des logischen Funktionenkalküls Monatsh. Math. Phys. 37 1930 349-360
-
(1930)
Monatsh. Math. Phys.
, vol.37
, pp. 349-360
-
-
Gödel, K.1
-
10
-
-
34347193348
-
Über formal unentscheidbare Sätze der Principa mathematica und verwandter Systeme I
-
Gödel K. Über formal unentscheidbare Sätze der Principa mathematica und verwandter Systeme I Monatsh. Math. Phys. 38 1931 173-198
-
(1931)
Monatsh. Math. Phys.
, vol.38
, pp. 173-198
-
-
Gödel, K.1
-
11
-
-
0039188894
-
Russel's mathematical logic
-
Schilpp [28] Also in [14]
-
K. Gödel, Russel's mathematical logic, in: Schilpp [28] Also in [14]
-
-
-
Gödel, K.1
-
12
-
-
8444250152
-
Remarks before the Princeton bicentennial conference on problems in mathematics"
-
in Davis [1] and [14]
-
K. Gödel, Remarks before the Princeton bicentennial conference on problems in mathematics", in Davis [1] and [14]
-
-
-
Gödel, K.1
-
13
-
-
24244452683
-
-
S. Feferman et al. (Eds.), Oxford: Oxford University Press
-
Gödel K. in: Feferman S. et al. (Eds.), Collected Works, t. I 1989 Oxford University Press Oxford
-
(1989)
Collected Works T. I
-
-
Gödel, K.1
-
14
-
-
24244452683
-
-
S. Feferman et al (Eds.), Oxford: Oxford University Press
-
Gödel K. in: Feferman S. et al. (Eds.), Collected Works, t. II 1990 Oxford University Press Oxford
-
(1990)
Collected Works, T. II
-
-
Gödel, K.1
-
15
-
-
24244452683
-
-
S. Feferman et al (Eds.), Oxford: Oxford University Press
-
Gödel K. in: Feferman S. et al. (Eds.), Collected Works, t. III 1995 Oxford University Press Oxford
-
(1995)
Collected Works, T. III
-
-
Gödel, K.1
-
16
-
-
0000829056
-
In Memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
-
Grattan-Guinness, A. In Memoriam Kurt Gödel: his 1931 correspondence with Zermelo on his incompletability theorem, Historia Math. 6 (1979) 294-304.
-
(1979)
Historia Math.
, vol.6
, pp. 294-304
-
-
Grattan-Guinness, A.1
-
17
-
-
2342486821
-
Logic as calculus and logic as language
-
R. Cohen, & M. Wartofsky (Eds.), Dodrecht: Reidel
-
van Heijennort J. Logic as calculus and logic as language in: Cohen R. Wartofsky M. (Eds.), Boston Studies in the Philosophy of Science 1967 440-446 Reidel Dodrecht
-
(1967)
Boston Studies in the Philosophy of Science
, pp. 440-446
-
-
van Heijennort, J.1
-
18
-
-
2342621582
-
On the development of the model-theoretic viewpoint in logical theory
-
Hintikka J. On the development of the model-theoretic viewpoint in logical theory Synthèse 77 1988 1-36
-
(1988)
Synthèse
, vol.77
, pp. 1-36
-
-
Hintikka, J.1
-
20
-
-
2342619668
-
From Dedekind to Gödel, Essays on the Development of the Foundations of Mathematics
-
(Ed.) Kluwer Academic Publishers, Dodrecht
-
J. Hintikka (Ed.) From Dedekind to Gödel, Essays on the Development of the Foundations of Mathematics, Kluwer Academic Publishers, Dodrecht, 1995.
-
(1995)
-
-
Hintikka, J.1
-
21
-
-
0346606886
-
Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presuppostion of Twentieth-Century Philosophy
-
Dodrecht: Kluwer Academic Publishers
-
Hintikka J. Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presuppostion of Twentieth-Century Philosophy 1997 Kluwer Academic Publishers Dodrecht
-
(1997)
-
-
Hintikka, J.1
-
22
-
-
19144373283
-
-
Belmont, CA: Wadsworth Academic Publishers
-
Hintikka J. On Gödel 2000 Wadsworth Academic Publishers Belmont, CA
-
(2000)
On Gödel
-
-
Hintikka, J.1
-
24
-
-
0013104636
-
Gödel's excursions into intuitionistic logic
-
P. Weingartner, & L. Schmetterer (Eds.), Napoli: Bibliopolis
-
Kreisel G. Gödel's excursions into intuitionistic logic in: eingartner P. Schmetterer L. (Eds.), Gödel Remembered 1987 65-185 Bibliopolis Napoli
-
(1987)
Gödel Remembered
, pp. 65-185
-
-
Kreisel, G.1
-
25
-
-
2342468884
-
Undefinability of truth, the problem of priority: Tarski vs. Gödel
-
Murawski R. Undefinability of truth, the problem of priority: Tarski vs. Gödel History Philosophy Logic 19 1998 153-160
-
(1998)
History Philosophy Logic
, vol.19
, pp. 153-160
-
-
Murawski, R.1
-
26
-
-
2342629408
-
Kontekst historyczny i recepcja twierdzeń Gödla o niezupełnosci
-
J. Hartmana (Ed.), Kraklów: Aureus
-
Murawski R. Kontekst historyczny i recepcja twierdzeń Gödla o niezupełnosci Hartmana J. Filozofia i logika. W stronç Jana Woleńskiego 2000 414-426 Aureus Kraklów
-
(2000)
Filozofia I Logika. W Stronç Jana Woleńskiego
, pp. 414-426
-
-
Murawski, R.1
-
30
-
-
2342508560
-
Recepcja semantycznej koncepcji prawdy w latach 1933-1939, Logika tom 21
-
M. Magdziak (Ed.), Wroclaw: Uniwersytet Wrocławski
-
Selinger M. Magdziak M. Recepcja semantycznej koncepcji prawdy w latach 1933-1939, Logika tom 21 2001 65-98 Uniwersytet Wrocławski Wroclaw
-
(2001)
, pp. 65-98
-
-
Selinger, M.1
-
32
-
-
24244440988
-
Pojȩcie prawdy w jȩzykach nauk dedukcyjnych
-
Prace Towarzystwa Naukowego Warszawskiego, wydział III, nr 34, Warszawa
-
A. Tarski, Pojȩcie prawdy w jȩzykach nauk dedukcyjnych, Prace Towarzystwa Naukowego Warszawskiego, wydział III, nr 34, Warszawa 1933.
-
(1933)
-
-
Tarski, A.1
-
33
-
-
0003792011
-
On undecidable statements in enlarged systems of logic and the concept of truth
-
Tarski A. On undecidable statements in enlarged systems of logic and the concept of truth Journal of Symbolic Logic 4 1939 105-112
-
(1939)
Journal of Symbolic Logic
, vol.4
, pp. 105-112
-
-
Tarski, A.1
-
34
-
-
0001511816
-
The semantic conception of truth and the foundations of semantics
-
Tarski A. The semantic conception of truth and the foundations of semantics Philos. Phenomenological Res. 4 1944 341-375
-
(1944)
Philos. Phenomenological Res.
, vol.4
, pp. 341-375
-
-
Tarski, A.1
-
36
-
-
2342504691
-
Pisma logiczno-filozoficzne, t. I
-
J. Zygmunta (Ed.), Warszawa: PWN
-
Tarski A. in: Zygmunta J. (Ed.), Pisma logiczno-filozoficzne, t. I 1995 PWN Warszawa
-
(1995)
-
-
Tarski, A.1
-
39
-
-
2342573738
-
Some facts about Kurt Gödel
-
Wang H. Some facts about Kurt Gödel J. Symbolic Logic 46 1981 653-659
-
(1981)
J. Symbolic Logic
, vol.46
, pp. 653-659
-
-
Wang, H.1
-
42
-
-
1542670535
-
Gödel, Tarski and the Undefinability of Truth
-
Wien also in Woleński [44, pp. 134-138]
-
J. Woleński, Gödel, Tarski and the Undefinability of Truth, Yearbook 1991 of Kurt Gödel Society, Wien, 1993, pp. 97-108; also in Woleński [44, pp. 134-138]
-
(1993)
Yearbook 1991 of Kurt Gödel Society
, pp. 97-108
-
-
Woleński, J.1
-
43
-
-
24244456567
-
On Tarski's background, in Hintikka
-
[20, pp. 331-341] also in Woleński
-
J. Woleński, On Tarski's background, in Hintikka [20, pp. 331-341] also in Woleński [44, pp. 126-133]
-
, vol.44
, pp. 126-133
-
-
Woleński, J.1
-
45
-
-
85032218856
-
Semantic revolution: Rudolf Carnap
-
Kurt Gödel, Alfred Tarski, in: [46]
-
J. Woleński, Semantic revolution: Rudolf Carnap, Kurt Gödel, Alfred Tarski, in: [46] pp. 1-15.
-
-
-
Woleński, J.1
-
47
-
-
0009888176
-
A philosophical letter of Alfred Tarski
-
White M. A philosophical letter of Alfred Tarski J. Philosophy 84 1987 28-32
-
(1987)
J. Philosophy
, vol.84
, pp. 28-32
-
-
White, M.1
|