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 года.

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.

Не могу отказать себе в удовольствии привести сонет А. Шамиссо, написанный по этому поводу:

— E.G.A.

Задачи занимательные и приятные, связанные с числами. (фр.)

Гарднер М. Математические новеллы. — М.: Мир, 1974; гл. 28 «Краткий трактат о бесполезной красоте совершенных чисел». 

Невозможно для куба быть записанным в виде суммы двух кубов, или для четвертой степени быть записанной в виде суммы двух четвертых степеней, или, в общем, для любого числа, которое есть степень больше двух, быть записанной в виде суммы двух таких же степеней. (лат.)

Я нашел поистине удивительное доказательство этого предложения, но поля здесь слишком узки для того, чтобы вместить его. (лат.)

Вспомнилась тут фраза Титчмарша: «Я недавно встретил человека, который сказал мне, что не верит даже в существование минус единицы, так как из этого следует существование квадратного корня из неё».:) — E.G.A.