 |
|
|
|
|
|
|
|
|
|
| Приёмная
комиссия.
Вступительное задание. Открытые уроки. Учебники по физике. Задачи по физике. Справочник по физике. Вопросы и консультации. Рефераты. Олимпиады и турниры. Современная физика. Весёлая наука. Уголок крохобора. Не только физика. Директория ссылок. Репетиторы. Малая академия наук. Математика для физика. . |
Ссылки[1] K. APPEL and W. HAKEN , Every planar map is four colorable. Part I, Discharging, Illinois J. Math. 21 (1977), 429–490. [2] ——— , Every planar map is four colorable. Part II, Reducibility, Illinois J. Math. 21 (1977), 491–567. [3] M. ASCHBACHER, The status of the classification of the finite simple groups, Notices Amer. Math. Soc. 51 (2004), 736–740. [4] ——— , Highly complex proofs and implications of such proofs, in [10]. [5] J. AZZOUNI, Deflating Existential Consequence , Oxford Univ. Press, Oxford , 2004. [6] M. BALAGUER, Platonism and Anti-Platonism in Mathematics , Oxford Univ. Press, Oxford , 1998. [7] E. BISHOP, Foundations of Constructive Analysis , McGraw-Hill, 1967. [8] ———, Schizophrenia in contemporary mathematics (Errett Bishop: Reflections on him and his research) , M. Rosenblatt, ed., Contemporary Mathematics, vol. 39, Amer. Math. Soc., Providence , RI , 1985, pp. 1–32. [9] E. BISHOP and D. BRIDGES, Constructive Analysis , Grundlehren der math. Wiss. vol. 279, Springer- Verlag, Heidelberg , 1985. [10] A. BUNDY, D. MACKENZIE, M. ATIYAH, and A. MACINTYRE, eds., The nature of mathematical proof, Proceedings of a Royal Society discussion meeting, Phil. Trans. R. Soc. A , 363 (2005), to appear. [11] C. S. CHIHARA, Constructibility and Mathematical Existence , Clarendon Press, Oxford , 1990. [12] P. J. COHEN, Comments on the foundations of set theory, in Axiomatic Set Theory , Proc. Symp. Pure Math. vol. XIII, Part I, Amer. Math. Soc., Providence , RI , 1967, pp. 9–15. [13] ———, Skolem and pessimism about proofs in mathematics, in [10]. [14] E. B. DAVIES, Science in the Looking Glass , Oxford Univ. Press, 2003. [15] ——— , A defence of pluralism in mathematics, Phil. Math. to appear. [16] A. EINSTEIN, Lecture delivered to the Prussian Academy of Sciences, January, 1921, Ideas and Opinions , Crown Publ. Inc., New York , 1982, p. 233. [17] I. LAKATOS, Proofs and Refutations: The Logic of Mathematical Discovery , Cambridge Univ. Press, Cambridge , 1976. [18] R. MACPHERSON, Machine computation and proof, in [10]. [19] P. MADDY, Naturalism in Mathematics , Clarendon Press, Oxford , 1997. [20] R. PENROSE, The Emperor"s New Mind , Oxford Univ. Press, Oxford , 1989. [21] ——— , Shadows of the Mind , Oxford Univ. Press, Oxford , 1994. [22] M. PLUM , Computer-assisted enclosure methods for elliptic differential equations, Lin. Alg. Appl. 324 (2001), 147–187. [23] M. PLUM and C. WIENERS, New solutions of the Gelfand problem, J. Math. Anal. Appl. 269 (2002), 588–606. [24] M. RAUSSEN and C. SKAU, Interview with Jean-Pierre Serre, Notices Amer. Math. Soc. 51 (2004), 210–214. Reprinted from European Mathematical Society Newsletter , September 2004, pp. 18–20. [25] M. D. RESNIK, Mathematics as a Science of Patterns , Clarendon Press, Oxford , 1997. [26] ———, Structuralism and the independence of mathematics, Harvard Rev. Phil. 12 (2004), 40–52. [27] R. SOLOMON, On finite simple groups and their classification, Notices Amer. Math. Soc. 42 (1995), 231–239. [28] L. N. TREFETHEN and M. EMBREE, Spectra and Pseudospectra , Princeton University Press, 2005, to appear. <<Назад
|