Abstract
I re-examine Enderton’s exposition of number theory in his logic textbook, and look at Gödel’s incompleteness theorems, to show that there too definitional extension is both too strong and two weak; the disparity and the resultant ambiguity in both the textbook and the proofs testify to the disparity between the referential discourse of arithmetic and number theory and the analytic discourse of logic. Then I examine parts of Andrew Wiles’ proof of Fermat’s Last Theorem in more detail, since the proof combines disparate discourses in a strikingly ampliative and inspiring way. I also discuss attempts by the logicians McLarty, Friedman, and Macintyre to rewrite the proof and try to show that the aims of logicians are different from the aims of number theorists. This disparity can however contribute to the growth of knowledge as long as both sides tolerate each other and remain open to novel kinds of interaction, with neither claiming to have the Ultimate Discourse.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Altman, A., & Kleiman, S. (1970). An introduction to Grothendiek duality theory. New York: Springer.
Bashmakova, I. (1997). Diophantus and Diophantine equations. Washington D. C: Mathematical Association of America.
Byers, W. (2010). How mathematicians think: Using ambiguity, contradiction and paradox to create mathematics. Princeton: Princeton University Press.
Carnap, R. (1928). Der logische aufbau der welt. Hamburg: Meiner.
Carnap, R. (1983). The logical structure of the world. R. A. George (Trans.). Berkeley: University of California Press.
Chemla, K. (1998). Lazare Carnot et la généralité en géométrie. Revue d’histoire des mathématiques, IV, 163–190.
Churchill, R. P. (1990). Logic: An introduction. New York: St. Martin’s Press.
Eichler, M. (1954). Quaternäre quadratische Formen und die Riemannsche Vermutung für die Kongruenzzetafunktion. In Archiv für mathematische Logik und Grundlagenforschung, 5, 355–366.
Enderton, H. B. (1972). A mathematical introduction to logic. New York: Academic Press.
Frenkel, E. (2013). Love and math: The heart of hidden reality. New York: Basic Books.
Freyd, P. (1964). Abelian categories. New York: Springer.
Gödel, K. (1931). Über formel unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik, 38, 173–198.
Gödel, K. (1992). On formally undecidable propositions of Principia Mathematica and related systems. B. Meltzer (Trans.) New York: Dover.
Grosholz, E. (2007). Representation and productive ambiguity in mathematics and the sciences. Oxford: Oxford University Press.
Grothendieck, A., & Dieudonné, J. (1960–1967). Eléments de géométrie algébrique. Paris: Institut des Hautes Etudes Scientifiques.
Hartshorne, R. (1977). Algebraic closed fields. New York: Springer.
Hendry, R. (2001). Mathematics, representation, and molecular structure. In U. Klein (Ed.), Tools and modes of representation in the laboratory sciences (pp. 221–236). Dordrecht: Kluwer.
Macintyre, A. (2011). The impact of Gödel’s incompleteness theorems on mathematics. Kurt Gödel and the foundations of mathematics: Horizons of truth (pp. 3–25). Cambridge: Cambridge University Press.
Mazur, B. (1977). Modular curves and the Eisenstein ideal. In Publications Mathématiques, Institut des Hautes Études Scientifiques, 47, 133–186.
McLarty, C. (2010). What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Bulletin of Symbolic Logic, 16(3), 359–377.
Nagel, E., & Newman, J. (1958). Gödel’s proof. New York: New York University Press.
Shimura, G. (1958). Correspondances modulaires et les fonctions ζ de courbes algébriques. In Journal of the Mathematical Society of Japan, 10, 1–28.
Van Fraassen, B. (1989). Laws and symmetry. Oxford: Oxford University Press.
Van Fraassen, B. (2008). Scientific representation: Paradoxes of perspective. Oxford: Oxford University Press.
Wagner, R. (2008). Post-structural readings of a logical-mathematical text. Perspectives on Science, 16(2), 196–230.
Wiles, A. (1995). Modular elliptic curves and Fermat’s last theorem. In Annals of Mathematics, 142, 443–551.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this chapter
Cite this chapter
Grosholz, E.R. (2016). Fermat’s Last Theorem and the Logicians. In: Starry Reckoning: Reference and Analysis in Mathematics and Cosmology. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol 30. Springer, Cham. https://doi.org/10.1007/978-3-319-46690-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-46690-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46689-7
Online ISBN: 978-3-319-46690-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)