[ «1. Физика и основания математики: исторический обзор Дискуссии об основаниях математики и физики на протяжении всего 20-го века велись как правило совершенно независимо друг от друга, и сегодня в этом смысле ситуация ...»
[5] P. Duhem. Essai sur la notion de thorie physique de Platon a Galile. Paris: Sorbonne, 1908.
[6] A. Einstein. Ideas and Opinions. Crown Publishers, 1954.
[7] V. Voevodsky et al. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study (Princeton); available at http://homotopytypetheory.org/book/, 2013.
[8] Euclid. The optics of euclid. transl. by h.e. burton. Journal of Optical Society of America, 35(2):357– [9] Euclid. Elements. English translation by Richard Fitzpatrick. lulu.com, 2011.
[10] A. Fine. The Shaky Game: Einstein, Realism and the Quantum Theory. University of Chicago Press, [11] M. Friedman. Kant and the Exact Sciences. Harvard University Press, 1992.
[12] D. Hilbert and P. Bernays. Grundlagen der Mathematik (in two volumes). Springer, 1934-1939.
[13] D. Hilbert and P. Bernays. Foundations of Mathematics 1. International Federation of Computational Logic (IFCoLog), 2010.
[14] David Hilbert. Grundlagen der Geometrie. Leipzig, 1899.
[15] D. Howard. Revisiting the Einstein-Bohr Dialogue. forthcoming.
[16] M. Jammer. The Conceptual Development of Quantum Mechanics. New York: McGraw-Hill, 1966.
[17] F.W. Lawvere. Quantiers and sheaves. M. Berger, J. Dieudonne et al. (eds.), Actes du congres international des mathematiciens, Nice, pages 329 – 334, 1970.
[18] N. I. Lobachevsky. Gomtrie imaginaire. Journal fr die reine und angewandte Mathematik, 17:295– [19] P. Martin-Lf. Intuitionistic Type Theory (Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980). Napoli: BIBLIOPOLIS, 1984.
[20] C. McLarty. Two constructivist aspects of category theory. Philosophia Scientiae, Cahier spcial, 6:95– [21] A. Rey. La thorie de la physique chez les physiciens contemporains. F. Alcan, 1907.
[22] A. Rodin. Did Lobachevsky have a model of his Imaginary geometry? (preprint). http://philsciarchive.pitt.edu/2883/, 2010.
[23] A. Rodin. Axiomatic Method and Category Theory (Synthese Library vol. 364. Springer, 2014.
[24] B. Russell. Principles of Mathematics. London: Allen and Unwin, 1903.
[25] B. Russell. The philosophy of logical atomism. The Monist, 28:495–527, 1918.
[26] P.A. Schilpp. Albert Einstein: Scientist-Philosopher (The Library of Living Philosophers). Evanston, [27] U. Schreiber. Classical eld theory via Cohesive homotopy types. arxiv:1311.1172, 2013.
[28] P. Strawson. Individuals. London: Methuen, 1959.
[29] A. Tarski. Introduction to Logic and to the Methodology of Deductive Sciences. Oxford University Press, [30] E. Wigner. The unreasonable eectiveness of mathematics in the natural sciences. Communications on Pure and Applied Mathematics, 13:1–14, 1960.
[31] А. Френкель и И. Бар-Хиллел. Основания теории множеств. Мир, 1966.
[32] Д. Гильберт и П. Бернайс. Математическая логика и основания математики. Наука, 1979.
[33] Давид Гильберт. Основания геометрии. Спб, Сеятель, 1923.
[34] Евклид. Начала Евклида, книги 1-6 (перевод и комментарии Д.Д. Мордухай-Болтовского).
ОГИЗ, Москва-Ленинград, 1948.
[35] И. Кант. Что значит ориентироваться в мышлении? Сочинения в 8-ми томах под ред. А.В.
Гулыги, Москва: Чоро, 8:86–105, 1994.
[36] Г. Кантор. Основы общего учения о многообразиях. Труды по теории множеств (Москва, “Наука”), pages 63–106, 1985.
[37] П.К. Рашевский. О догмате натурального ряда. Успехи математических наук, 28(4(172)):243– [38] А. Родин. Теория категорий и поиски новых математических оснований физики. Вопросы философии, 6:67–82, 2010.
[39] В.С. Степин. Теоретическое знание. Прогресс-Традиция, 2003.
«