Stephen G. Simpson. Nonprovability of certain combinatorial properties of finite trees. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. Ṧčedrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 87–117. (English translation of Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume, Archiv für mathematische Logik und Grundlagenforschung, vol. 25 (1985), pp. 45–65.)

1990 ◽  
Vol 55 (2) ◽  
pp. 868-869
Author(s):  
W. Buchholz
Keyword(s):  
New York ◽  
English Translation ◽  
Foundations Of Mathematics ◽  
Combinatorial Properties

L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 13–101, 565–569. - L. E. J. Brouwer. Die möglichen Mächtigkeiten. A reprint of 1554, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 102-104, 569. - L. E. J. Brouwer. On the foundations of mathematics. Partial English translation of 1553, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 105–106, 569. - L. E. J. Brouwer. The unreliability of the logical principles. English translation of 1552, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 107–111, 569–570. - L. E. J. Brouwer. From the review of: G. Mannoury, Methodologisches und Philosophisches zur Elementar-Mathematik (Haarlem 1909). Partial English translation of 1555. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 121–122. - L. E. J. Brouwer. Intuitionism and formalism. A reprint of 1557, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 123–138, 570–571. - L. E. J. Brouwer. Review of Schoenflies's Entwickelung der Mengenlehre und ihrer Anwendungen (1305). A reprint of 1558, with added notes by the editor. edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 139–144, 571–572. - L. E. J. Brouwer. Addenda and corrigenda to ‘On the foundations of mathematics.’Entwickelung der Mengenlehre und ihrer Anwendungen English translation of 1559, with added notes by the editor. edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 145–149, 572.

1979 ◽  
Vol 44 (2) ◽  
pp. 271-275 ◽  
Author(s):  
Joan Rand Moschovakis
Keyword(s):  
New York ◽  
English Translation ◽  
Publishing Company ◽  
Foundations Of Mathematics ◽  
North Holland Publishing Company ◽  
North Holland Publishing

A. J. Ayer. Editor's introduction. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 3–28; also first paperback edition, The Free Press, New York 1966, pp. 3–28. - Bertrand Russell. Logical atomism. A reprint of XXV 333. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 31–50; also ibid., pp. 31–50. - Moritz Schlick. Positivism and realism. A reprint of XVI 67. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 82–107; also ibid., pp. 82–107. - Carl G. Hempel. The empiricist criterion of meaning. A reprint of XVI 293. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 108–129; also ibid., pp. 108–129. - Rudolf Carnap. The old and the new logic. English translation of 3525 by Isaac Levi. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 133–146; also ibid., pp. 133–146. - Hans Hahn. Logic, mathematics and knowledge of nature. English translation of 4193 by Arthur Pap. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 147–161 ; also ibid., pp. 147–161. - Friedrich Waismann. How I see philosophy. A reprint of XXIII 209. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 345–380; also ibid., pp. 345–380.

1970 ◽  
Vol 35 (2) ◽  
pp. 312-312
Author(s):  
Alonzo Church
Keyword(s):  
New York ◽  
English Translation ◽  
Logical Positivism ◽  
Bertrand Russell ◽  
Rudolf Carnap ◽  
Free Press ◽  
Paperback Edition ◽  
Logical Atomism

J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 317–329. - R. Statman. Equality between functionals revisited. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 331–338. - Robert E. Byerly. Mathematical aspects of recursive function theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 339–352.

1990 ◽  
Vol 55 (2) ◽  
pp. 876-878
Author(s):  
J. V. Tucker
Keyword(s):  
New York ◽  
Computational Complexity ◽  
Recursive Function ◽  
Function Theory ◽  
Recursion Theory ◽  
Foundations Of Mathematics ◽  
Real Functions ◽  
Pebble Game ◽  
Logics Of Programs
Sign in / Sign up

Export Citation Format

Share Document