Value Judgments in Mathematics: G. H. Hardy and the (Non-)seriousness of Mathematical Theorems

Abstract

One of the general criteria G. H. Hardy identifies and discusses in his famous essay A Mathematician’s Apology, Cambridge University Press, Cambridge, 1940) by which a mathematician’s patterns must be judged is seriousness. This article focuses on one of Hardy’s examples of a non-serious theorem, namely that 8712 and 9801 are the only numbers below 10000 which are integral multiples of their reversals, in the sense that 8712=4·2178\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$8712=4\\cdot 2178$$\\end{document}, and 9801=9·1089\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$9801=9\\cdot 1089$$\\end{document}. In the context of a discussion of generality, which he considers an essential quality of seriousness, he explains that there is nothing in this example which “appeals much to a mathematician” and that it is “not capable of any significant generalization.” Interestingly, since the publication of the Apology, more than a dozen papers—including one by the renowned mathematician Neil Sloane—have been published that discuss generalizations of Hardy’s example. By identifying the most important aspect of Hardy’s notion of generality, it is argued that, contrary to the views of several researchers, Hardy’s claim regarding the non-capability of any significant generalization is still tenable. Furthermore, this case study is presented and discussed as an example of the multifaceted nature of mathematical interest.