Математика. Утрата определенности.

Клайн Морис

71. Драгалин А.Г. Математический интуиционизм (введение в теорию доказательств). — М.: Наука, 1979.

72. Генкин Л. О математической индукции. — М.: Физматгиз, 1962.

73. Клини С.К. Введение в математику. — М.: ИЛ, 1957.

74. Расева В., Сикорский Р. Математика метаматематики. — М.: Наука, 1972.

75. Гильберт Д., Бернайс П. Основания математики. Т. I. Логические исчисления и формализация арифметики; т. II. Теория доказательств. — М.: Наука, 1979, 1982.

76. Halmos P.R. Naive Set Theory. — ..: Springer, 1977.

77.

Ньютон И. Замечания на книгу пророка Даниила и апокалипсис св. Иоанна. — Пгр.: изд. Суворина, 1915.

78. Fraenkel .. Bernays P. Axiomatic set theory. — Amsterdam: North-Holland, 1958.

79. Куратовский К., Мостовский А. Теория множеств. — M.: Мир, 1970.

80. Mostowski A. Constructible Sets with Applications. — Amsterdam: North-Holland, Warszawa: PWN, 1969.

61. Манин Ю.И. Доказуемое и недоказуемое. — M.: Советское радио, 1979; Вычислимое и невычислимое. — М.: Советское радио, 1980.

82. Манин Ю.И. Теорема Гёделя. — Природа, 1975, №12, с. 80-87.

83. Успенский В.А. Теорема Гёделя о неполноте. — М.: Наука, 1981.

84. Линдон Р. Заметки по логике. — М.: Мир, 1968.

85. Успенский В.А. Нестандартный, или неархимедов, анализ. — М.: Знание, 1983.

86. Девис М. Прикладной нестандартный анализ. — М.: Мир, 1980.

87. Lutz R., Goze M. Nonstandard Analysis: A Practucal Guide with Applications. — N.Y.: Springer, 1981.

88. Варпаховский Ф.Л., Колмогоров А.Н. О решении десятой проблемы Гильберта. — Квант, 1970, №7, с. 38-44.

89. Mathematical Development Arising from Hubert. Problems. — Providence (R.I.): American Mathematical Society, 1976.

90. Коэн П.Дж. Теория множеств и континуум-гипотеза. — М.: Мир, 1969.

91. Манин Ю.И. Проблема континуума. — В кн.: Современные проблемы математики, т. 5. — М.: ВИНИТИ, с. 5-72.

92. Дьедонне Ж. Линейная алгебра и элементарная геометрия. — М.: Наука, 1972.

93. Фесрерман С. Числовые системы. — М.: Наука, 1971.

94. Берс Л. Математический анализ, т. I. — М.: Высшая школа, 1975.

95. Keister H.J. Elementary Calculus. — Boston: Weber and Schmidt (Prindle), 1976.

96. Sullivan K. The Teaching of Elementary Calculus Using the Nonstandard Analysis Approach. — American Mathematical Monthly, 1976, vol. 83, №5, с. 370-375.

97. Блехман И.И., Мышкис А.Д., Пановко Я.Г. Прикладная математика: предмет, логика, особенности подходов. — Киев: Наукова думка, 1976; Механика и прикладная математика (логика и особенности приложений математики). — М.: Наука, 1983.

98. Клейн

Ф. Лекции о развитии математики в XIX в. — М. — Л.: Гостехиздат, 1937.

99. Хинчин А.Я. Великая теорема Ферма. — М. — Л.: Гостехиздат, 1932; Постников М.М. Теорема Ферма. — М.: Наука, 1978; Эдварде Г. Последняя теорема Ферма. — М.: Мир, 1980.

100. Полиа Г., Сегё Г. Задачи и теоремы из анализа, т. 1. — М.: Гостехиздат, 1956.

101. Thom R. Stabilit'e structurelle et morphogen`ese. — N.Y.: Benjamin, 1972; Thom K. Die Katastrophen Theorie: Gegenw"atiger Standard Aussichten. — In: Mathematiker "uber Mathematik (heransgegeben von M. Otte). — Heidelberg: Springer, 1974, S. 124-134; Арнольд В.И. Теория катастроф. — M.: изд-во МГУ, 1983; Постон Т., Стюарт И. Теория катастроф и ее применение. — М.: Мир, 1980; Гилмер Р. Прикладная теория катастроф, тт. 1, 2. — М.: Мир, 1984.

102. Том Р. Топология и лингвистика. — Успехи мат. наук, т. 30, 1975, №1(181), с. 199-221; Thom R. Topological models in biology. — Topology, №8, 1969, p. 313-335.

103. Яглом И.М. Математические структуры и математическое моделирование. — М.: Советское радио, 1980.

104. Курант Р., Гильберт Д. Методы математической физики, т. 1. — М. — Л.: Гостехиздат, 1933.

105. Нейман фон Дж. Математик. — Природа, 1983, №2, 88-95.

106. Риман Б. О гипотезах, лежащих в основании математики. В кн.: Сочинения. — М. — Л.: Гостехиздат, 1948, с. 279-293; 500-526 или в кн.: Об основаниях геометрии. — М.: Гостехиздат, 1956, с. 309-341.

107. Клейн Ф. Сравнительное обозрение новейших геометрических учений (Эрлангенская программа). — В кн.: Об основаниях геометрии. — М.: Гостехиздат, 1956, с. 399-434.

108. Яглом И.М. Геометрические преобразования I-II. — М.: Гостехиздат, 3955-1956; Введения к чч. 1, 2 и 3; Принцип относительности Галилея и неевклидова геометрия. — М.: Наука, 1969, § 1.

109. Овсянников Л.В. Групповой анализ дифференциальных уравнений, — М.: Наука, 1978.

110. Харди Г.X. Курс чистой математики. — М.: ИЛ, 1949.

111. Ли Ч. Введение в популяционную генетику. — М.: Мир, 1978.

112. Бэрликэмп Э. Алгебраическая теория кодирования. — М.: Мир, 1971; Касами Т. и др. Теория кодирования. — М.: Мир, 1978; Питерсон У., Уэлдон Э. Коды, исправляющие ошибки. — М.: Мир, 1976; Мак Вильямс Ф., Слоэн Н.Дж. Теория кодов, исправляющих ошибки. — М.: Связь, 1979.

113. Livinson N. Coding theory: a counter-example to G.H. Hardy's conception of applied mathematics. — American Math. Monthly, v. 77, 1970, №3, p. 249-258.