Изменчивая природа математического доказательства. Доказать нельзя поверить

Энрикес, Федериго (1871–1946). Видный итальянский специалист в алгебраической геометрии XX в. Одним из первых дал классификацию алгебраических поверхностей в бирациональной геометрии.

Эрдёш, Пол (1913–1996). Знаменитый венгерский математик XX в. Работал во всех областях математики. Никогда не имел постоянного места работы и жительства. Автор 1500 статей. Благодаря ему появилось число Эрдёша.

Эресманн, Шарль (1905–1979). Один из основателей группы Бурбаки во Франции.

Эстерманн, Теодор (1902–1991). Автор важной работы, посвященной гипотезе Гольдбаха.

Якоби, Карл (1804–1851). Видный специалист по теории чисел XIX в. Известен своими работами в теории эллиптических функций.

Список литературы

[ADL1] A. Adler, The second fundamental forms of S⁶ and Pⁿ(C) // Am. J. Math. 91(1969) — 657–670.

[ADL2] A. Adler, Mathematics and creativity // The New Yorker, 47(1972) — 39–45.

[AKS] M. Agrawal, N. Kayal, N. Saxena, PRIMES is in P //Annals of Math., 160(2004) — 781–793.

[ALM] F. J. Almgren, Almgren’s Big Regularity Paper. Q -Valued Functions Minimizing Dirichlet’s Integral and the Regularity of Area-Minimizing Rectifiable Currents up to Codimension 2, — World Scientific Publishing Company, River Edge, NJ, — 1200.

[APH1] K. Appel, W. Haken, A proof of the four color theorem // Discrete Math., 16(1976) — 179–180.

[APH2] K. Appel, W. Haken, Every planar map is four colorable // Illinois J. Mathematics, 21(1977) — 429–567.

[APH3] K. Appel, W. Haken, The four color proof suffices // Math. Intelligencer, 8(1986) — 10–20.

[APH4] K. Appel, W. Haken, Every Planar Map Is Four Colorable — American Mathematical Society, — Providence, RI, 1989.

[ASC] M. Aschbacher, Highly complex proofs and implications of such proofs // Phil. Trans. R. Soc. A 363(2005) — 2401–2406.

[ASM] M. Aschbacher, S. Smith // The Classification of Quasithin Groups, I and II — American Mathematical Society, Providence, RI, 2004.

[ASW] T. Aste, D. Weaire, The Pursuit of Perfect Packing — Institute of Physics Publishing, Bristol, U. K., 2000.

[ATI1] M. Atiyah Responses to Jaffe and Quinn 1994 // Bulletin of the AMS30(1994) — 178–207.

[ATI2] M. Atiyah Mathematics: Art and Science // Bulletin of the AMS, 43(2006) — 87–88.

[AVI] J. Avigad Proof mining // notes from ASL, 2004.

[BAB1] D. H. Bailey, J. M. Borwein Mathematics by Experiment — A K Peters Publishing, Natick, MA, 2004.

[BAB2] D. H. Bailey, J. M. Borwein, Experimental mathematics: examples, methods and implications // Notices of the AMS 52(2005), — 502–514.

[BAB3] D. H. Bailey, J. M. Borwein, Computer-assisted discovery and proof — препринт.

[BBCGLM] D. H. Bailey, J. M. Borwein, N. J. Calkin, R. Girgensohn, D. R. Luke, V. H. Moll, Experimental Mathematics in Action — A K Peters Publishing, Natick, MA, 2007.

[BBC] D. H. Bailey, J. M. Borwein, R. E. Crandall, Resolution of the Quinn–Rand–Strogatz constant of nonlinear physics — препринт.

[BBKW] D. H. Bailey, J. M. Borwein, V. Kapoor, Eric Weisstein, Ten problems in experimental mathematics // American Math. Monthly 113(2006) — 481–509.

[BIS1] E. Bishop, Foundations of Constructive Analysis — McGraw-Hill, New York, 1967.

[BIS2] E. Bishop, Schizophrenia in Contemporary Mathematics, — 1973, подробности неизвестны.

[BIB] E. Bishop, D. Bridges, Constructive Analysis // Springer-Verlag, NewYork, 1985.

[BIC] E. Bishop, H. Cheng, Constructive Measure Theory — American Mathematical Society, Providence, RI, 1972.

[BOO] G. Boolos, Frege’s theorem and the Peano postulates // Bulletin of Symbolic Logic 1(1995), — 317–326.

[BBGP] J. Borwein, P. Borwein, R. Girgensohn, S. Parnes, Making sense of experimental mathematics // The Mathematical Intelligencer 18(1996), — 12–18.

[BRE] D. Bressoud Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture — Cambridge University Press, Cambridge, 1999.

[BRM] R. Brooks, J. P. Matelski, The dynamics of 2-generator subgroups of PSL(2,C), Riemann Surfaces and Related Topics // Proceedings of the 1978 Stony Brook Conference — pp. 65–71, — Ann. of Math. Studies 97, Princeton University Press, Princeton, NJ, 1981.