Fermat’s last theorem and the logicians

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

Original languageEnglish (US)
Title of host publicationStudies in Applied Philosophy, Epistemology and Rational Ethics
PublisherSpringer International Publishing
Pages81-102
Number of pages22
DOIs
StatePublished - Jan 1 2016

Publication series

NameStudies in Applied Philosophy, Epistemology and Rational Ethics
Volume30
ISSN (Print)2192-6255
ISSN (Electronic)2192-6263

Fingerprint

Discourse
Fermat
Logicians
Number Theory
Textbooks
Logic
Referential
Theorists
Interaction
Incompleteness
Exposition

All Science Journal Classification (ASJC) codes

  • Philosophy

Cite this

Grosholz, E. R. (2016). Fermat’s last theorem and the logicians. In Studies in Applied Philosophy, Epistemology and Rational Ethics (pp. 81-102). (Studies in Applied Philosophy, Epistemology and Rational Ethics; Vol. 30). Springer International Publishing. https://doi.org/10.1007/978-3-319-46690-3_5
Grosholz, Emily Rolfe. / Fermat’s last theorem and the logicians. Studies in Applied Philosophy, Epistemology and Rational Ethics. Springer International Publishing, 2016. pp. 81-102 (Studies in Applied Philosophy, Epistemology and Rational Ethics).
@inbook{527794efef27478ca157ebf0cbf43f93,
title = "Fermat’s last theorem and the logicians",
abstract = "I re-examine Enderton’s exposition of number theory in his logic textbook, and look at G{\"o}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.",
author = "Grosholz, {Emily Rolfe}",
year = "2016",
month = "1",
day = "1",
doi = "10.1007/978-3-319-46690-3_5",
language = "English (US)",
series = "Studies in Applied Philosophy, Epistemology and Rational Ethics",
publisher = "Springer International Publishing",
pages = "81--102",
booktitle = "Studies in Applied Philosophy, Epistemology and Rational Ethics",

}

Grosholz, ER 2016, Fermat’s last theorem and the logicians. in Studies in Applied Philosophy, Epistemology and Rational Ethics. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol. 30, Springer International Publishing, pp. 81-102. https://doi.org/10.1007/978-3-319-46690-3_5

Fermat’s last theorem and the logicians. / Grosholz, Emily Rolfe.

Studies in Applied Philosophy, Epistemology and Rational Ethics. Springer International Publishing, 2016. p. 81-102 (Studies in Applied Philosophy, Epistemology and Rational Ethics; Vol. 30).

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Fermat’s last theorem and the logicians

AU - Grosholz, Emily Rolfe

PY - 2016/1/1

Y1 - 2016/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85019660078&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85019660078&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-46690-3_5

DO - 10.1007/978-3-319-46690-3_5

M3 - Chapter

AN - SCOPUS:85019660078

T3 - Studies in Applied Philosophy, Epistemology and Rational Ethics

SP - 81

EP - 102

BT - Studies in Applied Philosophy, Epistemology and Rational Ethics

PB - Springer International Publishing

ER -

Grosholz ER. Fermat’s last theorem and the logicians. In Studies in Applied Philosophy, Epistemology and Rational Ethics. Springer International Publishing. 2016. p. 81-102. (Studies in Applied Philosophy, Epistemology and Rational Ethics). https://doi.org/10.1007/978-3-319-46690-3_5