 |
|
 |
 | |||
| | |
Архив журнала «Химия и жизнь» за 40 лет! На 4 CD или 1 DVD
|
| |||
| |||
|
|
|
Новости науки |
22.05 Ген, улучшающий память, заодно повышает и риск посттравматического стрессового растройства 21.05 Попробуй копнуть глубже, или Сколько кислорода в океанических осадках? 19.05 Эволюция видов в сообществе идет не так, как в монокультуре 17.05 Самки рыб-чистильщиков ведут себя вежливее с незнакомцами, чем с давними приятелями 15.05 Обилие редких мутаций в генофонде человечества существенно превышает современные оценки | |||
| |||
Подробнее
|
|||
|
|||
|
Брайан Дэвис (Brian Davies),
Ссылки[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. Комментарии (25) | |
|
 |
|||||||||||||
e-mail: 
