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

[RUS] B. Russell, History of Western Philosophy — Routledge, London, 2004.

[SAB] Karl Sabbagh, The Riemann Hypothesis: The Greatest Unsolved Problem in Mathematics — Farrar, Straus, & Giroux, New York, 2003.

[SAV] M. vos Savant, The World’s Most Famous Math Problem — St. Martin’s Press, New York, 1993.

[SCHA] T. J. Schaefer, Complexity of some two-person perfect-information games // J. Comput. Syst. Sci. 16(1978) — 185–225.

[SCL] C. P. Schnorr, H. W. Lenstra, Jr., A Monte Carlo factoring algorithm with linear storage // Math. Comput. 43(1984) — 289–311.

[SEY] P. Seymour, Progress on the four-color theorem // Proceedings of the ICM (Z̈urich, 1994) 183–195 — Birkḧauser, Basel, 1995.

[SMA] S. Smale, Review of E. C. Zeeman: Catastrophe Theory, Selected Papers 1972–1977 // Bulletin of the AMS 84(1978) — 1360–1368.

[SMU1] R. Smullyan, Forever Undecided: A Puzzle Guide to G̈odel — Alfred Knopf, New York, 1987.

[SMU2] R. Smullyan, The Lady or the Tiger? and Other Logic Puzzles — Times Books, New York, 1992.

[STA1] St. Andrews Biography of al-Khwarizmi,

https://mathshistory.st-andrews.ac.uk/Biographies/Al-Khwarizmi/.

[STA2] St. Andrews Biography of Fermat,

https://mathshistory.st-andrews.ac.uk/Biographies/Fermat/

[STI] M. Stickel, A case study of theorem proving by the Knuth-Bendix method: discovering that x³=x implies ring commutativity // Proceedings of the Seventh International Conference on Automated Deduction, R. E. Shostak, ed. — Springer-Verlag, New York, 1984, — 248–258.

[STM] L. J. Stockmeyer, A. R. Meyer, Word problems requiring exponential time // Proceedings of the 5th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery — New York, 1973 — 1–9.

[STR] R. S. Strichartz, letter to the editor // Notices of the American Mathematical Society 53(2006), 406.

[STR1] W. R. Stromquist, Some Aspects of the Four Color Problem — докоторская диссертация, Harvard University, 1975.

[STR2] W. R. Stromquist, The four-color theorem for small maps // J. Combinatorial Theory 19(1975) — 256–268.

[STRZ] Pawel Strzelecki, The Poincar´e conjecture? // American Mathematical Monthly 113(2006) — 75–78.

[SUP] P. Suppes, Axiomatic Set Theory — Van Nostrand, Princeton, 1972.

[SWD] P. Swinnerton-Dyer, The justification of mathematical statements // Phil. Trans. R. Soc. A 363(2005) — 2437–2447.

[THZ] E. Thomas, R. Zahler, Nontriviality of the stable homotopy element γ₁ // J. Pure Appl. Algebra 4(1974) — 189–203.

[THU1] W. P. Thurston 3-dimensional manifolds, Kleinian groups and hyperbolic geometry Bull. AMS 6:3(1982) — 357–381.

[THU2] W. P. Thurston, On proof and progress in mathematics // Bull. AMS 30(1994) — 161–177.

[THU3] W. P. Thurston, 3-dimensional Geometry and Topology, Vol. 1 — Princeton University Press, Princeton, 1997.

[THU4] W. P. Thurston, The Geometry and Topology of Three-Manifolds, notes — Princeton University, 1980 — 502 pp.

[WAG] S. Wagon, The Banach–Tarski Paradox — Cambridge University Press, Cambridge and New York, 1985.

[WEIL1] A. Weil, Basic Number Theory — 2nd ed., Springer-Verlag, New York, 1973.

[WEIL2] A. Weil, The Apprenticeship of a Mathematician — Birkḧauser, Basel, 1992.

[WEI] L. Weinstein, The Bieberbach conjecture // International Math. Res. Notices 5(1991) — 61–64.

[WIG] E. Wigner, The unreasonable effectiveness of mathematics in the natural sciences // Comm. Pure App. Math. 13(1960) — 1–14.

[WRU] A. N. Whitehead, B. Russell, Principia Mathematica — Cambridge University Press, Cambridge, 1910.

[WIE] F. Wiedijk, Formal proof — getting started // Notices of the American Mathematical Society 55(2008) — 1408–1414.

[WIL] A. Wiles, Modular elliptic curves and Fermat’s last theorem // Annals of Math. 141(1995) — 443–551.

[WILS] L. Wilson, The Academic Man, A Study in the Sociology of a Profession — Oxford University Press, London, 1942.

[WOLF] R. S. Wolf , A Tour Through Mathematical Logic — A Carus Monograph of the Mathematical Association of America, Washington, D. C., 2005.

[WOL] S. Wolfram, A New Kind of Science — Wolfram Media, Inc., Champaign, IL, 2002.

[WOS1] L. Wos, Automated Reasoning: Introduction and Applications — Prentice-Hall, Englewood Cliffs, NJ, 1984.

[WOS2] L. Wos, Automation of Reasoning: An Experimenter’s Notebook with Otter Tutorial — Academic Press, New York, 1996.

[WOS3] L. Wos, Automated reasoning answers open questions // Notices of the AMS 40(1993) — 15–26.

[YAN] B. H. Yandell, The Honors Class — A. K. Peters, Natick, MA, 2002.