Математика. Утрата определенности.
Шрифт:
37. Halmos P.R. The Basic Concepts of Algebraic Logic. — Amer. Math. Month.,1956, 63, p. 363-387.
38. Hardy G.H. Mathematical Proof. — Mind, 1928, 38, p. 1-25; Collected Papers, vol. VII, 58, p. 1-606.
39. Hardy G.H. A Mathematician's Apology. — Cambridge: University Press, 1981. [Русский перевод отрывков из книги: Харди Г.Г. Исповедь математика. — В кн.: Математики о математике. — М.: Знание, 1967,
40. Heijenoort J. van, ed. From Frege to G"odel, A Source Book in Mathematical Logic, 1879-1931. — Cambridge, Mass.: Harvard University Press, 1967.
41. Hempel C.G. Geometry and Empirical Science. — Amer. Math. Month.,1945, 52, p. 7-17.
42. Hempel C.G. On the Nature of Mathematical Truth. — Amer. Math. Month.,1945, 52,p. 543-556; также вошло в кн. [4].
43. Hersh R. Some Proposals For Reviving the Philosophy of Mathematics. — Advances in Mathematics,1979, 31, p. 31-50.
44. Hilbert D. "Uber das Unendliche. — Mathematische Annalen,1925, 95, 161-190; англ. переводы On the Infinite в кн. [4], p. 131-151 и в кн. [40], с. 367-392. [Русский перевод сокращенного варианта статьи: Гильберт Д. О бесконечном. В кн.: Гильберт. Основания геометрии. — М. — Л.: Гостехиздат, 1948, 338-364.]
45. Kline M. Mathematical Thought from Ancient to Modern Times. — New York: Oxford University Press, 1972.
46. Kline M. Mathematics in Western Culture. — New York: Oxford University Press, 1958.
47. Kneale W., Kneale M. The Development of Logic. — New York: Oxford University Press, 1962.
48. Kneeborn G.T. Mathematical Logic and the Foundations of Mathematics. — New York: D. Van Nostrand, 1963.
49. K"orner S. The Philosophy of Mathematics. — London: Hutchinson University Library, 1960.
50. Lakatos I. Mathematics, Science and Epistemology, 2 vols. — New York: Cambridge University Press, 1978.
61. Lakatos I., ed. Problems in the Philosophy of Mathematics, vol. I. — New York: North-Holland, 1972.
62. Lakatos I. Proofs and Refutations. — New York: Cambridge University Press., 1976. [Русский перевод более краткого варианта книги: Лакатос И. Доказательства и опровержения. — М.: Наука, 1967.]
63. Langer S.K. An Introduction to Symbolic Logic, 2nd ed. — New York: Dover, 1953.
64. Le Lionnais F. ed. Great Currents of Mathematical Thoughts, 2 vols. — New York: Dover, 1971. [Французский оригинал: La Lionnais F. Les grands courants de la pens'ee math'ematiques. — Cahiers du Sud, 1948.]
65. Lewis C.I. A Survey of Symbolic Logic. — New York: Dover, 1960.
66. Luchins E. and A. Logicism. — Scripta Mathematics,1965, 27, p. 223-243.
57. Luxemburg W.A.J. What is Non-Standard Analysis? — Amer. Math. Month., 1973, 80, p. 11, p. 38-67.
58. Mackie G.L. Truth, Probability and Paradox. — New York: Oxford University Press, 1973.
59. Mendelson E. Introduction to Mathematical Logic. — New York: Van Nostrand, 1979, (2nd ed.) [Русский
60. Monk J.D. On the Foundation of Set Theory. — Amer. Math. Month.,1970, 77, p. 703-711.
61. Myhill J. What is a Real Number? — Amer. Math. Month.,1972, p. 748-754.
62. Nagel E., Newman J.R. G"odel's Proof. — Scientific American,June 1956, p. 71-86.
63. Nagel E., Newman J.R. G"odel's Proof. — New York: New York University Press, 1958. [Сокращенный русский перевод: Нагель Э., Ньюмен Д. Теорема Гёделя. — М.: Знание, 1970.]
64. Neumann J. von. The Mathematician. In: Heiwood R.B. The Works of the Mind. — Chicago: University of Chicago Press, 1947; 180-196; также в кн.: [65], vol, IV, p. 2053-2068; Neumann J. von, Collected Works, vol. I, 1961, p. 1-9. [Русский перевод: Нейман Дж. фон. Математик. — Природа, 1983, №2, с. 88-95.]
65. Newman J.R. The World of Mathematics, 4 vols. — New York: Simon and Schuster, 1956,
66. Pierpont J. Mathematical Rigor Past and Present. — Amer. Math. Soc. Bulletin,1928, 34, p. 23-52.
67. Poincar'e H. The Foundations of Science. — Lancaster, Pa.; The Science Press, 1946,
68. Poincar'e H. Last Thoughts. — New York: Dover Publications, 1963. [Неполный русский перевод (с французского) книг [67], [68] — см. книгу [1] в списке Дополнительной литературы]
69. Putman H. Is Logic Empirical? — Boston Studies in Philosophy of Science. 1969, p. 216-241.
70. Putnam H. Mathematics, Matter and Method, Philosophical Papers, vol. 1. — New York: Cambridge University Press, 1975.
71. Quine W.V. The Foundations of Mathematics. — Scientific American,Sept, 1964, p, 112-127.
72. Qu^ine W.V. From a Logical Point of View, 2nd ed. — Cambridge, Mass. Harvard University Press, 1961.
73. Quine W.V. Paradox. — Scientific American,April 1962, p. 84-96.
74. Quine W.V. The Ways of Paradox and Other Essays. — New York: Random House, 1966.
75. Richmond D.E. The Theory of the Cheshire Cat. — Amer. Math. Month.,1934, 41, p. 361-368.