Физика для абитуриента. Математика для физика
Математика для физика. Куда движется математика?
О сайте
Порядок работы
Новости сайта
Контакт
Приёмная комиссия.
Вступительное задание.
Открытые уроки.
Учебники по физике.
Задачи по физике.
Справочник по физике.
Вопросы и консультации.
Рефераты.
Олимпиады и турниры.
Современная физика.
Весёлая наука.
Уголок крохобора.
Не только физика.
Директория ссылок.
Репетиторы
Малая академия наук.
Математика для физика.

Форум.

info@abitura.com

Математика для физика
Пишите...

Куда движется математика?

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

<<Назад


Бюро "Ручной перевод"- перевод печати на документе недорого.

О сайте
Порядок работы
Новости сайта
Контакт

Вверх .

Главная страница .

Rambler's Top100Rambler's Top100