SOME REFERENCES
Agazzi, E.: 1980, Modern Logic — A Survey, Synthese Library vol. 149, D. Reidel, Dordrecht.
Auden, W. H.: 1962, The Dyer's Hand, Random House, New York.
Beeson, Michael: 1976, ‘The Non-derivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations’, Journal of Symbolic Logic 40, 321–346.
Bergman, G.: 1972, ‘Boolean Rings of Projection Maps’, Journal of the London Mathematical Society 4, 593–8.
Bourbaki, N.: 1949, ‘Foundations for the Working Mathematician’, Journal of Symbolic Logic 14, 1–8.
Bourbaki, N.: 1950, ‘The Architecture of Mathematics’, (trans.) American Mathematical Monthly 57, 221–32.
Cassels, J. W. C. and E. V. Flynn: 1996, Prolegomena to a Middlebrow Arithmetic of Curves of Genus 2. Cambridge University Press, Cambridge.
Chandrasekhar, S.: 1995, Newton's Principia for the Common Reader, Clarendon Press, Oxford.
Crick, F. H. C., J. C. Wang and W. R. Bauer: 1979, ‘Is DNA Really a Helix?’, Journal of Molecular Biology 129, 449–61.
Crick, F.: 1994, The Astonishing Hypothesis: The Scientific Search for the Soul, Simon & Schuster, New York.
da Costa, N. C. A. and F. A. Doria: 1993, ‘Arnold's Hilbert Symposium Problems’, Computer Science 713, 152–8.
Dedekind, Richard: 1888, Was sind und was sollen die Zahlen, Braunschweig.
Eklof, P.: 1976, ‘Whitehead's Problem is Undecidable’, American Mathematics Monthly 83, 775–88.
Ellison, W. J.: 1975, Les Nombres Premiers, Paris.
Feynman, R.: 1994, The Character of Physical Laws, M.I.T. Press, Cambridge, MA.
Gödel, Kurt: 1986, Collected Works: 1929–1936, volume 1, edited by Solomon Feferman, Oxford University Press, Oxford.
Gödel, Kurt: 1990, Collected Works: 1938–1974, volume 2, edited by Solomon Feferman, Oxford University Press, Oxford.
Gödel, Kurt: 1995, Collected Works: Unpublished Essays and Letters, volume 3, edited by Solomon Feferman, Oxford University Press, Oxford.
Higman, G.: 1961, ‘Subgroups of Finitely Presented Groups’, Proceedings of the Royal Society A, 262, 455–75.
Hilbert, D.: 1926, ‘Sur l'Infini’, (transl.) Acta Mathematica 52, 281–315.
Kreisel, G.: 1951, ‘On the Interpretation of Non-finitist Proofs — Part I’, Journal of Symbolic Logic 16, 241–67.
Mazur, B.: 1986, ‘Arithmetic on Curves’, Bulletin of the American Mathematical Society 14, 207–256.
Moschovakis, J. R.: 1994, ‘More About Relatively Lawless Sequences’, Journal of Symbolic Logic 59, 813–29.
Nöbeling, G.: 1968, ‘Verallgemeinerung eines Satzes von Herrn E. Specker’, Inv. Mathematics 6, 44–55.
Pais, A.: 1993, Niels Bohr's Times: In Physics, Philosophy and Polity, Clarendon Press, Cambridge.
Pohlers, Wolfram: 1996, ‘Pure Theory, Aims, Methods and Results’, The Bulletin of Symbolic Logic 2, 159–88.
Polyani, M.: 1958, Personal Knowledge: Towards a Post-critical Philosophy, University of Chicago, Chicago.
Quine, W. V. O.: 1989, Quiddities: An Intermittently Philosophical Dictionary, Harvard University Press, Cambridge, MA.
von Neumann, Johann: 1927, ‘Zur Hilbertschen Beweistheorie’, Mathematische Zeitschrift 26, 1–46.
Weinberg, Steven: 1993, Dreams of a Final Theory, Random House, New York.
Weingartner, P. and L. Schmetterer (eds.): 1987, Gödel Remembered, Bibliopolis.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kreisel, G. Second Thoughts Around Some of Göde's Writings:. Synthese 114, 99–160 (1998). https://doi.org/10.1023/A:1005006610269
Issue Date:
DOI: https://doi.org/10.1023/A:1005006610269