BIBLIOGRAPHY [1] Abelson, Raziel, 'A Refutation of Mind-Body Identity', Philosophical Studies XXI (1970),85-89. [2] Ackerman, Wilhelm, 'BegrUndung des "tertium non datur" mittels der Hilbert­ schen Theorie der Widerspruchsfreiheit', Mathematische Annalen XCIII (1924), 1-34. [3] Anderson, Alan Ross, ed., Minds and Machines. Contemporary Perspectives in Philosophy Series. Englewood Cliffs, New Jersey: Prentice-Hall, 1964. [4] Arbib, Michael A., 'Some Comments on Self-Reproducing Automata', in Systems and Computer Science. Edited by John F. Hart and Satoru Takasu. Toronto: University of Toronto Press, 1967. [5] Baird, A. W. S., 'Pascal's Idea of Nature', Isis LXI (1970), 297-320. [6] Becker, Oskar, Beitriige zur phiinomenologischen Begrundung der Geometrie. 2, unveranderte Aufiage, Frieburg: Max Niemeyer, 1973. [7] Becker, Oskar, Mathematische Existenz: Untersuchungen zur Logik und Ontologie mathematischer Phiinomene. Freiburg: Max Niemeyer, Halle a. d. S., 1927. [8] Becker, Oskar, 'Das Symbolische in der Mathematik', in Bliitter fur Deutsche Philosophie. Bd. I, Heft. 4 (1928), 329-348. [9] Becker, Oskar, Die Grundlagen der Mathematik in Geschichtlicher Entwicklung. Freiburg: Karl Alber, 1954. [10] Bell, E. T., The Development of Mathematics. New York: McGraw-Hili, 1945. [II] Bell, John, and Machover, Moshe, A Course in Mathematical Logic. Amsterdam: North-Holland, 1974. [12] Benacerraf, Paul, 'God, the Devil, and Godel', Monist LI (1967), 9-33. [13] Benacerraf, Paul and Putnam, Hilary, eds., Philosophy of Mathematics: Selected Readings. Prentice-Hall Philosophy Series. Englewood Cliffs, New Jersey: Pren­ tice-Hail, 1964. [14] Benda, Miroslav, 'On Strong Axioms of Induction in Set Theory and Arithmetic', in Mathematical Logic in Latin America. Edited by A. Arruda, R. Chuaqui, and N. C. A. da Costa. Amsterdam: North-Holland, 1980. [15] Berg, Jonathan, and Chihara, Charles, 'Church's Thesis Misconstrued', Philoso­ phical Studies XXVIII (1975), 357-362. [l5a] Berkeley, George, Complete Works. Vol. 1. London: Oxford University Press, 1901. [16] Bernays, Paul, 'Uber Hilberts Gedanken zur Grundlegung der Arithmeti,k', Jahresbericht der Deutschen Mathematiker-Vereiningung XXXI (1922), first sec­ tion, 10-19. [17] Bernays, Paul, 'Die Bedeutung Hilberts fUr die Philosophie der Mathematik', Die Naturwissenschaften X (1922), 93-99. [l7a] Bernays, Paul, 'Erwiderung auf die Note von Herrn Aloys MUlier: "Uber Zahlell als Zeichen" " Mathematische Annalen XC (1923), 159-163. 248 BIBLIOGRAPHY 249 [17b] Bernays, Paul, 'Grundbegriffe der reinen Geometrie in ihrem Verhaltnis zur Anschauung', Die Naturwissenschaften XVI (1928), 197-203. [l8] Bernays, Paul, 'Die Philosophie der Mathematik und die Hilbertsche Beweis­ Theorie', Blatter far deutsche Philosophie IV (1930), 326-367. [l9] Bernays, Paul, 'Quelques points essentiels de la metamathematique', L'enseigne­ ment mathematique XXXIV (1935),70-95. [20] Bernays, Paul, 'Thesen und Bemerkungen zu den philosophischen Fragen und zur Situation der logisch-mathematischen Grundlagenforschung', in Traveau du IXe Congres international de Philosophie, fasc. I-XII, A. S. I. nos. 530-541, Paris, 1937, pp. 104-110. [21] Bernays, Paul, 'Sur les questions methodologiques actuelles de la theorie hil­ bertienne de la demonstration', in Les entretiens de Zurich sur les fondements et la methode des sciences math(!nwtiques, 6-9 decembre 1938. Edited by F. Gonseth. Zurich: Leeman, 1941, discussion, pp. 156-161. [22] Bernays, Paul, 'Zur Beurteilung der Situation in der beweistheoretischen For­ schung', Revue internationale de philosophe VIII (1954), 9-13, discussion, 15- 21. [22a] Bernays, Paul, 'Betrachtungen liber die Vollstandigkeitsaxiom und verwandte Axiome', Mathematische ZeitschriJt 63 (1955), 219-232. [23] Bernays, Paul, "Die Mannigfaltigkeit der Direktiven flir die Gestaltung geometri­ scher Axiomensysteme", in Bernays [24], pp. 142-154. [24] Bernays, Paul, Abhandlungcn zur philosophie der Mathematik. Darmstadt: Wis­ senschaftliche Buchgesellschaft, 1976. [25] Bird, Richard, Programs and Machines: An Introduction to the Theory of Com­ putation. London: Wiley, 1976. [25a] Bishop, E., Foundations of Constructive Analysis. New York: McGraw-Hili, 1967. [26] Blumenthal, Otto, 'David Hilbert', Die Naturwissenschaften X (1922), 66-72. [26a] Bochenski, I. M., A History of Formal Logic. South Bend, Indiana: University of Notre Dame Press, 1961. [27) Bohm, David, Causality and Chance in Modern Physics. New York: Harper Torchbook,1961. [27a] Bolyai, Wolfgang and Bolyai, Johann, Geometrische Untersuchungen. Edited by Paul Stackel. Leipzig, 1913. [28] Bolzano, Bernard, Paradoxien des Unendlichen. Philosophische Bibliothek, Bd. 99, Hamburg: Felix Meiner, 1975. [28a] Boolos, George, 'On Second-Order Logic', Journal of Philosophy LXXII (1975), 509-527. [29] Borel, Emile, Space and Time. New York: Dover Publications, 1960. [30] Bowden, B. V., ed., Faster than Thought: A Symposium on Digital Computing Machines, London: Pitman, 1953. [31] Bowie, Lee. G., 'An Argument Against Church's Thesis', Journal of Philosophy LXX (1973), 66-76. [32] Boyd, Richard, 'Determinism, Laws, and Predictability in Principle', Philosophy of Science XXXIX (1972), 431-450. [33] Bradley, F. H., The Principles of Logic, Vol. I. London: Oxford University Press, 1928. 250 BIBLIOGRAPHY [34] Broad, C. D., The Mind and Its Place in Nature. New York: Humanities Press, 1960. [35] Broden, T., 'Einige Worte iiber aktuelle mathematische Prinzipfragen', Den Sjette Skandineviske Mat.-Kongr. i Klilbenhavn 1925 (1926),229-239. [36] Brouwer, Luitzen E. J., Review of Allgemeine Theorie der unendlichen Mengen und Theorie der Punktmengen, by Arthur Schoenflies. Jahresbericht der Deutschen Mathematiker- Vereinigung 23, 2nd section, pp. 78-83. [37] Brouwer, Luitzen E. J., 'Mathematik, Wissenschaft, und Sprache', Monatshe/te fur Mathematik und Physik XXXVI (1929), 153-164. [38] Brouwer, Luitzen E. J., On the Foundations 0/ Mathematics, in Collected Works, Vol. 1. Edited by A. Heyting. Amsterdam: North-Holland, 1974. [39] Buck, R. C., 'Mathematical Induction and Recursive Definitions', American Mathematical Monthly LXX (1963), 128-135. [40] Burks, Arthur W., 'Programming and the Theory of Automata', in Computer Programming and Formal Systems. Edited by P. Braffort and D. Hirschberg. Amsterdam: North-Holland, 1963. [41] Burks, Arthur W., Chance, Cause, and Reason: An Inquiry into the Nature 0/ Scientific Evidence. Chicago: Chicago University Press, 1977. [42] Burks, Arthur W., ed., Essays on Cellular Automata. Urbana, Illinois: University of Illinois Press, 1970. [43] Busemann, Herbert, 'Problem IV: Desarguesian Spaces', in Development 0/ Hil­ bert's Problems. Proceedings 0/ Symposia in Pure Mathematics XXVlIl (1976), 131-141. [44] Cantor, Georg, Gesammelte Abhandlungen mathematischen und phifosophischen lnhalts. Edited by Ernst Zermelo. Hildesheim, Germany: Georg DIms, 1966. [45] Carnap, Rudolf, The Logical Syntax 0/ Language. International Library of Scien­ tific Method. Translated by Amethe Smeaton. London: Routlege and Kegan Paul Ltd., 1937. [46] Carnap, Rudolf, The Logical Structure 0/ the World: Pseudoproblems in Philoso­ phy. Translated by Rolf A. George. Berkeley and Los Angeles, California: Uni­ versity of California Press, 1967. [46a] Carroll, Lewis, Euclid and His Modern Rivals. New York: Dover Publications, 1973. [47] Cassirer, Ernst, Determinism and Indeterminism in Modern Physics. New Haven, Conn.: Yale University Press, 1956. [48] Chaitin, Gregory, 'Information-Theoretic Limitations of Formal Systems', Journal o/the Association/or Computing Machinery XXI (1974), 403-424. [49] Chaitin, Gregory, 'A Theory of Program Size Formally Identical to Information Theory', Journal o/the Association/or Computing Machinery XXII (1975),329- 340. [50] Chait in, Gregory, 'Randomness and Mathematical Proof', Scientific American CCXXXII (1975), 47-52. [51] Chihara, Charles S., 'On Alleged Refutations of Mechanism Using Godel's Incompleteness Results', Journal 0/ Philosophy LXIX (1972),509-526. BIBLIOGRAPHY 251 [52] Church, Alonzo, The Richard Paradox', American Mathematical Monthly XLI (1934), 356-361. [52a] Church, Alonzo, Review, Journal of Symbolic Logic XXX (1965), 358-359. [53] Chwistek, Leon, The Limits of Science. New York: Humanities Press, 1948. [54] Cohen, Paul, Set Theory and the Continuum Hypothesis. New York: Benjamin, 1966. [55] Coleman, William, Biology in the Nineteenth Century: Problems of Form, Func­ tion, and Transformation. New York and London: Wiley, 1971. [56] Contro, Walter S., 'Von Pasch zu Hilbert', Archive for History of Exact Sciences XV (1976), 283-295. [56a] Couturat, Louis, 'For Logistics', Monist XXII (1912), 481-523. [57] Curry, Haskell 8., 'An Analysis of Substitution', American Journal of Mathe­ matics LI (1929), 363-384. [58] Curry, Haskell B. and Feys, Robert, Combinatory Logic, Vol. J. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 1958: [59] Daub, Edward E., 'Maxwell's Demon', Studies in History and Philosophy of Science I (1970) 213-227. [60] Davis, Martin, Computability and Unsolvability. New York: McGraw-Hill, 1958. [61] Davis, Martin, ed., The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Hewlett, New York: Raven Press, 1967. [62] Dedekind, Richard, 'Uber die Einftihrung neuer Funktionen in der Mathematik', in Richard Dedekind: Gesammelte mathematische Werke. Edited by Robert Fricke, Emmy Noether, and Oystein Ore. Braunschweig: Friedr. Vieweg und Sohn