— New York: John Wiley, 1965.
98. Wilder R.L. The Nature of Mathematical Proof. — Amer. Math., 1944, 51, p. 309-323.
99. Wilder R.L. The role of Axiomatic Method. — Amer. Math. Month., 1967, 74, p. 115-127.
100. Wilder R.L. The Role of Intuition. — Science, 1967, 156, p. 605-610.
Дополнительная литература
1. Пуанкаре А. О науке. — M.: Наука, 1983.
2. Бурбаки H. Теория множеств. — М.: Мир, 1965.
3. Лейбниц Г.В. Переписка с Кларком. — В кн.: Сочинения, т. 1. — М.: Мысль, 1982, с. 430-528.
4. Манин Ю.И. Математика и физика. — М.: Знание, 1979.
5. Ван дер Варден Б.Л. Пифагорейское учение о гармонии. — В кн.: Пробуждающаяся наука. — М.: Физматгиз, 1959.
6. Аристотель. Сочинения в 4-х томах. — М.: Мысль, 1976 (т. 1), 1981 (т. 3).
7. Платон. Сочинения в 3-х томах. Т. 3, ч. 1. — М.: Мысль, 1971.
8. Аристотель. Аналитики первая и вторая. — М.: Госполитиздат, 1952.
9. Юшкевич А.П. История математики в средние века. — М.: Физматгиз, 1961.
10. Баткин Л.М. Итальянские гуманисты: стиль жизни, стиль мышления. — М.: Наука, 1978.
11. Коперник Н. О вращениях небесных сфер. Серия «Классики науки». — М.: Наука, 1964.
12. Данилов Ю.А., Смородинский Я.А. Иоганн Кеплер: от «Мистерии» до «Гармонии». — УФН, 109, 1973, вып. 1, 175-209.
13. Паскаль Б. Письма к провинциалу, или Письма Людовика Монтальта к другу в провинцию и отцам иезуитам о морали и политике иезуитов. — Спб., 1898.
14. Декарт Р. Рассуждение о методе с приложениями. Серия «Классики науки». — М.: Наука, 1953.
15. Декарт Р. Правила для руководства ума. — М. — Л.: Соцэкгиз, 1936.
16. Декарт Р. Избранные произведения. — М.: Госполитиздат, 1950.
17. Галилей Г. Избранные труды в 2-х томах. Т. 2. — М.: Наука, 1964.
18. Кант И. Сочинения в 6-ти томах. — М.: Мысль, 1964 (т. 3), 1965 (т. 4), 1966 (т. 6).
19. Гюйгенс X. Трактат о свете. — М. — Л.: ОГИЗ, 1935.
20. Ньютон И. Математические начала натуральной философии. Собрание трудов академика А.Н. Крылова. Т. 7. — М. — Л.: Изд-во АН СССР, 1936.
21. Беркли Дж. Сочинения. — М.: Мысль, 1978.
22. Ньютон И. Оптика, или трактат об отражениях, преломлениях, изгибаниях и цветах света. — М.: Гостехиздат, 1954.
23. Бэкон Ф. Сочинения в 2-х томах. — М.: Мысль, 1977 (т. 1); 1978 (т. 2).
24. Об основаниях геометрии. Сб. классических работ по геометрии Лобачевского и развитию ее идей. — М. — Л.: Гостехиздат, 1956.
25. Начала Евклида. — М. — Л.: Гостехиздат, 1948 (книги 1—VI), 1949 (книги VII-X).
26. Бонола Р. Неевклидова геометрия. — Спб.: Общественная польза, 1910.
27. Каган В.Ф. Лобачевский. — М. — Л.: Изд-во АН СССР, 1948.
28. Каган В.Ф. Лобачевский и его геометрия. — М.: Гостехиздат, 1956, с. 193-194.
29. Больяи (Бойаи) Я. Appendix. Приложение, содержащее науку о пространстве, абсолютно истинную, не зависящую от истинности или ложности XI аксиомы Евклида, что a priori никогда решено быть не может, с прибавлением, к случаю ложности, геометрической квадратуры круга. — М. — Л.: Гостехиздат, 1950, 235 с.
30. Рашевский П.К. О догмате натурального ряда. — Успехи математических наук, 28, вып, 4 (172), 1973, с. 243-246.
31. Эйнштейн А. Собрание научных трудов. Т. 2. — М.; Наука, 1966.
32. Фейнберг Е.Л. Кибернетика, логика, искусство. — М.: Радио и связь, 1981.
33. Архимед. Сочинения. — М.: Физматгиз, 1962.
34. Диофант Александрийский. Арифметика и Книга о многоугольных числах. — М.: Наука, 1974; Башмакова И.Г. Диофант и диофантовы уравнения. — М.: Наука, 1972; Башмакова И.Г., Славутин И. История диофантова анализа от Диофанта до Ферма. — М.: Наука, 1984.
35. Бируни Абу Рейхан. Избранные произведения. Т. 2. — Ташкент: Фан, 1963.
36. Аль-Хорезми. Математические трактаты. — Ташкент: Фан, 1983.
37. Мухаммед ибн Муса аль-Хорезми. — М.: Наука, 1983.
38. Кавальери Б. Геометрия, изложенная новым способом при помощи неделимых непрерывного, с приложением «опыта IV» о применении неделимых к алгебраическим степеням. — М. — Л.: Гостехиздат, 1940.
39. Кеплер И. Новая стереометрия винных бочек, преимущественно австрийских, как имеющих самую выгодную форму, и исключительно удобное употребление для них кубической линейки с присоединением дополнения к архимедовой стереометрии. — М. — Л.: Гостехиздат, 1935.
40. Eleckenstein S.О. Der Prioritätsstreit zwischen Leibnitz und Newton. — Basel: Birkhäuser, 1976.
41. Boyer C.B. The History of the Calculus and Its Conceptual Development. — N.Y.: Dover, 1959.
42. Baron M.E. The Origins of the Infinitesimal Calculus. — Oxford: Pergamon, 1969.
43. Priestley W.M. Calculus: An Historical Approach. — N.Y.: Springer, 1979.
44. Edwards C.H. The Historical Development of the Calculus. — N.Y.: Springer, 1979.
45. Карно Л. Размышления о метафизике исчисления бесконечно малых. — М. — Л.: Гостехиздат, 1933.
46. Дедекинд Р. Непрерывность и иррациональные числа. — Одесса: Матезис, 1923.
47. Дедекинд Р. Что такое числа и для. чего они служат. — Казань: Изд-во Императорского университета, 1905.
48. Делоне Б.Н. Элементарное доказательство непротиворечивости геометрии Лобачевского. — М.: Гостехиздат, 1956.
49. Яглом И.М. Аксиоматические обоснования евклидовой геометрии. В кн.: Новое в школьной математике. — М.: Знание, 1972, с. 40-63.
50. Гильберт Д. Основания геометрии. — М. — Л.: Гостехиздат, 1948.
51. Проблемы Гильберта. — М.: Наука, 1969.
52. Маркушевич А.И. Очерки по истории теории аналитических функций. — М. — Л.: Гостехиздат, 1951.
53. Даубен Д.-У. Георг Кантор и рождение теории трансфинитных множеств. — В мире науки, 1983, №8, с. 76-78.
54. Хаусдорф Ф. Теория множеств. — М. — Л.: Гостехиздат, 1937.
55. Alexandroff P.S., Hopf H. Topologie. — Berlin: Springer, 1935.
56. Медведев Φ.А. Ранняя история аксиомы выбора. — М.: Наука, 1982.
57. Уайтхед А.Н. Введение в математику. — Пгд.: Физика, 1916.
58. Калбертсон Дж.Т. Математика и логика цифровых устройств. — М.: Просвещение, 1965 (гл. V).
59. Лукасевич А. Аристотелевская силлогистика с точки зрения современной формальной логики. — М.: ИЛ, 1959.
60. Янг Ч. Эйнштейны и физика второй половины XX века. — Успехи физических наук, 132, вып. 1, 1980, с. 169-175.
61. Гейзенберг В. Смысл и значение красоты в точных науках. — Вопросы философии, 1979, №12, с. 49-60.
62. Асмус В.Ф. Проблема интуиции в философии и математике. — М.: Мысль, 1965.
63. Новые идеи в математике. Сб. 10. — Пгд.: Образование, 1915.
64. Вейль Г. О философии математики. — М. — Л.: Гостехиздат, 1934.
65. Марков А.А. О логике конструктивной математики. — М.: Знание, 1974.
66. Тростников В.Н. Конструктивные процессы в математике. — М.: Наука.
67. Рейтинг А. Интуиционизм (введение). — М.: Мир, 1965.
68. Бурбаки Н. Очерки по истории математики. — М.: ИЛ, 1963.
69. Mandelbrot В. The Fractal Geometry of Nature. — San Francisco: Freeman, 1982.
70. Адамар Ж. Исследование психологии процесса изобретения в области математики. — М.: Советское радио, 1970.
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.