Великолепно иллюстрированная книга, поясняющая математические понятия на удивительно наглядных образах.

10 Devlin К. Mathematics: The New Golden Age. — Penguin, 1990.

Общедоступный подробный обзор современной математики, содержащий помимо прочего обсуждение аксиом математики.

11 Stewart I. The Concepts of Modern Mathematics. — Penguin, 1995.

12 Russell В., Whitehead A. N. Principia Mathematica. 3 Vols. — Cambridge University Press, 1910–1913.

13 Kreisel G. Kurt Gödel. In: Biographical Memoirs of the Fellows of the Royal Society, 1980.

14 Hardy G. H. A Mathematician's Apology. — Cambridge University Press, 1940.

Один из наиболее выдающихся математиков XX века излагает свою точку зрения на мотивы своей профессиональной деятельности и деятельности других математиков.

15 Hodges A. Alan Turing: The Enigma of Intelligence. — Unwin Paperbacks, 1983.

Очерк жизни Алана Тьюринга, рассказывающий о его жизни; математическом творчестве и участии в раскрытии кода «Энигма».

ГЛАВА 5

1 Shimura G. Yutaka Taniyama and his time. — Bulletin of the London Mathematical Society, 1989. Vol. 21, P. 186–196.

Очерк жизни и творчества Ютаки Таниямы, написанный с весьма личной точки зрения.

2 Frey G. Links between stable elliptic curves and certain diophantine equations // Ann. Univ. Sarav. Math. Ser., 1986. Vol. 1, P. 1–40.

Статья, сыгравшая решающую роль, в которой Фрей высказал предположение о существовании связи между гипотезой Таниямы-Шимуры и Великой теоремы Ферма.

ГЛАВА 6

1 Rothmans Т. Genius and Biographers: the Fictionalization of Evariste Galois // Amer. Math. Monthly, 1982. Vol. 89, P. 84–106.

В статье приведен подробный перечень источников, на которые опираются биографы Галуа, и обсуждается достоверность различных интерпретаций.

2 Depny P. La vie d'Evariste Galois // Annales Scientifiques de 1'Ecole Normale Superieure, 1986. Vol. 13, P. 197–266.

3 Dumas A. Mes Memoirs. — Editions Gallimard, 1967.

4 Van der Poorten A. Notes on Fermat's Last Theorem. — Wiley, 1996.

Техническое описание доказательства Уайлса, рассчитанное на студентов старших курсов и аспирантов математических специальностей.

ГЛАВА 7

1 Gelbart S. An elementary introduction to the Langlands programme // Bulletin of the American Mathematical Monthly, 1984. Vol. 10, P. 177–219.

Техническое изложение программы Ленглендса, рассчитанное на профессиональных математиков.

2 Wiles A. Modular elliptic curves and Fermat's Last Theorem // Ann. of Math., 1995. Vol. 142, P. 443–551.

Эта статья содержит основную часть предложенного Уайлсом доказательства гипотезы Таниямы-Шимуры и Великой теоремы Ферма.

3 Taylor R., Wiles A. Ring-theoretic properties of certain Hecke algebras // Ann. of Math., 1995. Vol. 142, P. 553–572.

В этой статье приводится описание тех математических методов, которые использовались для восполнения пробелов в варианте доказательства Уайлса 1993 года.

ГЛАВА 8

1 Stewart I. How to succeed in stacking // New Scientist, 13 July 1991, P. 29–32.

2 Morgan J. The death of proof // Scientific American, October 1993, P. 74–82.

3 Appel K., Haken W. The solution of the four-color-map problem // Scientific American, October 1977. P. 108–121.

4 Saaty T. L., Kainen P. C. The Four-Color Problem: Assaults and Conquest. — McGraw-Hill, 1977.

5 Davis O. J., Hersh R. The Mathematical Experience. — Penguin, 1990.