Элементы Элементы большой науки

Поставить закладку

Напишите нам

Карта сайта

Содержание
Энциклопедия
Новости науки
LHC
Картинка дня
Библиотека
Методология науки
Избранное
Публичные лекции
Лекции для школьников
Библиотека «Династии»
Интервью
Опубликовано полностью
В популярных журналах
Из Книжного клуба
Статьи наших друзей
Статьи лауреатов «Династии»
Выставка
Происхождение жизни
Видеотека
Книжный клуб
Задачи
Масштабы: времена
Детские вопросы
Плакаты
Научный календарь
Наука и право
ЖОБ
Наука в Рунете

Поиск

Подпишитесь на «Элементы»



ВКонтакте
в Твиттере
в Фейсбуке
на Youtube
в Instagram



Новости науки

 
16.01
Описан новый надтип архей, к которому относятся предки эукариот

11.01
Многолетнее исследование черных ворон в Испании выявило преимущества коммунального гнездования

09.01
Эмоциональное восприятие музыки зависит от генов

05.01
Вставка генома вольбахии может приводить к развитию новой половой хромосомы у ее хозяев

04.01
Межгрупповые конфликты у шимпанзе связаны с повышенным уровнем окситоцина






Главная / Библиотека / Избранное версия для печати

Брайан Дэвис (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.


Комментарии (31)


 


при поддержке фонда Дмитрия Зимина - Династия