Recognition: unknown
The history of three wrong definitions
Pith reviewed 2026-05-07 16:56 UTC · model grok-4.3
The pith
Disused definitions of equivalence relation, Cauchy sequence, and metric space could profitably be revived.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The author establishes that the concepts of equivalence relation, Cauchy sequence, and metric space each underwent a change in definition, with the original versions being set aside for reasons that may no longer hold or that are outweighed by their advantages. By examining the history, the paper demonstrates specific ways in which the disused definitions could enhance current mathematical practice if revived.
What carries the argument
Comparative historical analysis of successive definitions for equivalence relations, Cauchy sequences, and metric spaces, showing advantages in the earlier versions that were abandoned.
If this is right
- Modern textbooks could incorporate the older definitions to improve student intuition for these concepts.
- Research in analysis might benefit from the perspective offered by the disused definition of Cauchy sequences.
- The history suggests that changes in mathematical definitions are not always irreversible improvements.
- Equivalence relations could be introduced with an emphasis on properties that align better with certain set-theoretic contexts.
Where Pith is reading between the lines
- Similar historical reviews could be conducted for other core concepts like continuity or limits to check for overlooked advantages.
- Reviving old definitions might resolve some pedagogical challenges in undergraduate mathematics courses.
- This connects to broader questions about whether mathematical definitions are chosen for convenience or reflect deeper structures.
Load-bearing premise
That the advantages of reviving the older definitions would outweigh any practical or pedagogical reasons for their original supersession.
What would settle it
If attempts to use the older definitions in contemporary proofs or teaching result in increased complexity or errors without corresponding benefits, the proposal for revival would be undermined.
read the original abstract
The topic is the history of the concepts of equivalence relation, Cauchy sequence, and metric space. The thesis is that disused definitions of these notions could profitably be revived.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper surveys the historical development of three concepts—equivalence relations, Cauchy sequences, and metric spaces—identifying earlier definitions that were later superseded and arguing that these disused formulations could profitably be revived for conceptual or technical advantages in contemporary mathematics.
Significance. If the historical interpretations are accurate and the claimed advantages can be demonstrated in modern settings, the work would contribute to the history of mathematics by documenting alternative conceptual paths and could stimulate discussion on whether standardization has foreclosed useful perspectives in analysis and topology.
major comments (3)
- [Abstract and concluding discussion] The central revival thesis (stated in the abstract and developed across the three case studies) requires evidence that the older definitions yield net gains in present-day mathematics, yet no concrete contemporary application—such as a shortened proof, removal of a pathology, or new construction in real analysis or metric geometry—is exhibited to support the value judgment.
- [Section on Cauchy sequences] For the Cauchy sequence case, the paper contrasts the historical definition with the modern one but does not address whether reviving the older version would preserve key theorems (e.g., completeness of the reals) or introduce inconsistencies with the standard construction of the reals via Dedekind cuts or equivalence classes of Cauchy sequences.
- [Section on metric spaces] The metric space discussion claims conceptual superiority for the disused definition without checking compatibility with standard results such as the Baire category theorem or uniform continuity characterizations that rely on the modern open-ball formulation.
minor comments (2)
- Notation for the older definitions should be introduced with explicit comparison tables to the modern versions for clarity.
- A few historical citations appear to rely on secondary sources; primary references for the original definitions would strengthen the narrative.
Simulated Author's Rebuttal
We thank the referee for the thoughtful and detailed report. The comments highlight important considerations regarding the scope and implications of our historical analysis. We address each major comment below and indicate where revisions will be incorporated.
read point-by-point responses
-
Referee: [Abstract and concluding discussion] The central revival thesis (stated in the abstract and developed across the three case studies) requires evidence that the older definitions yield net gains in present-day mathematics, yet no concrete contemporary application—such as a shortened proof, removal of a pathology, or new construction in real analysis or metric geometry—is exhibited to support the value judgment.
Authors: The manuscript is a historical study whose primary aim is to document superseded definitions and the reasons for their replacement. The suggestion that revival could be profitable is framed as an invitation based on observed conceptual features in the historical record, rather than a claim backed by new technical results. We agree that the absence of a specific modern application leaves the value judgment somewhat open-ended. We will revise the concluding discussion to include a short paragraph outlining potential avenues (e.g., alternative pedagogical presentations or axiomatic explorations) while explicitly noting that full demonstrations of technical advantage lie beyond the paper's historical scope. This constitutes a partial revision. revision: partial
-
Referee: [Section on Cauchy sequences] For the Cauchy sequence case, the paper contrasts the historical definition with the modern one but does not address whether reviving the older version would preserve key theorems (e.g., completeness of the reals) or introduce inconsistencies with the standard construction of the reals via Dedekind cuts or equivalence classes of Cauchy sequences.
Authors: We accept that the section would benefit from an explicit statement on compatibility. The older definition of Cauchy sequences is historically distinct yet leads to equivalent notions of completeness when applied to the reals. We will add a concise paragraph clarifying that the historical formulation preserves the completeness property and is consistent with both Dedekind cuts and the modern Cauchy-sequence construction of the reals, as the underlying limit concept remains unchanged. This addition will be made without expanding the paper into a technical comparison. revision: yes
-
Referee: [Section on metric spaces] The metric space discussion claims conceptual superiority for the disused definition without checking compatibility with standard results such as the Baire category theorem or uniform continuity characterizations that rely on the modern open-ball formulation.
Authors: The claim of conceptual superiority is presented as a historical and intuitive observation rather than a proposal to supplant the modern definition. Nevertheless, we agree that compatibility should be addressed briefly. The disused formulation generates the same topology, so standard results such as the Baire category theorem and characterizations of uniform continuity carry over directly. We will insert a short remark in the metric-spaces section noting this equivalence of the induced topologies. The revision will be limited to a clarifying sentence. revision: yes
Circularity Check
No circularity: purely historical narrative without derivations or self-referential reductions
full rationale
The paper is a historical survey of superseded definitions for equivalence relations, Cauchy sequences, and metric spaces, with a thesis that older versions might merit revival. No equations, parameters, predictions, or derivation chains appear in the provided text or abstract. The argument rests on narrative interpretation of past mathematical practice rather than any self-definition, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the central claim to its own inputs by construction. The discussion is self-contained as interpretive history and does not invoke uniqueness theorems or ansatzes from prior author work.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Disused definitions can be profitably revived for contemporary mathematics
Reference graph
Works this paper leans on
-
[1]
T. M. Apostol.Mathematical Analysis: A Modern Approach to Advanced Calculus. Addison-Wesley, Reading, MA, first edition, 1957
1957
-
[2]
A. Asghari. Equivalence: an attempt at a history of the idea.Synthese, 196(11):4657–4677, 2019.doi:10.1007/s11229-018-1674-2
-
[3]
D. Aubin and C. Goldstein, editors.The War of Guns and Mathematics. Amer. Math. Soc., Providence, 2014.doi:10.1090/hmath/042
-
[4]
D. Ball. Mathematical contrariness in George Eliot’s novels. In R. Tubbs, A. Jenkins, and N. Engelhardt, editors,Palgrave Handbook of Literature and Mathematics, chapter 6, pages 97–111. Palgrave Macmillan, Cham, 2021.doi: 10.1007/978-3-030-55478-1_6
-
[5]
Banach.Th´ eorie des op´ erations lin´ eaires
S. Banach.Th´ eorie des op´ erations lin´ eaires. Garasi´ nski, Warsaw, first edition,
-
[6]
URL: http://kielich.amu.edu.pl/Stefan Banach/e-operations.html
-
[7]
G. Birkhoff. On the structure of abstract algebras.Proc. Camb. Philos. Soc., 31(4):433–454, 1935.doi:10.1017/S0305004100013463
-
[8]
G. Birkhoff. Metric foundations of geometry. I.Trans. Amer. Math. Soc., 55:465– 492, 1944.doi:10.2307/1990304
-
[9]
Birkhoff and S
G. Birkhoff and S. Mac Lane.A Survey of Modern Algebra: The fiftieth anniver- sary of its publication.Math. Intelligencer, 14(1):26–31, 1992.doi:10.1007/ BF03024138
1992
-
[10]
G. Birkhoff and S. Mac Lane.A Survey of Modern Algebra. CRC Press, Boca Raton, fifth edition, 2010.doi:10.1201/9781315275499
-
[11]
R. K. Bisht and R. Wilson. Bertrand Russell.Math. Intelligencer, 45(4):392–393, 2023.doi:10.1007/s00283-023-10300-7
-
[12]
Bolzano.Rein analytischer Beweis des Lehrsatzes daß zwischen je zwey Werthen, die ein entgegengesetzetes Resultat gew¨ ahren, wenigstens eine reelle Wurzel der Gleichung liege
B. Bolzano.Rein analytischer Beweis des Lehrsatzes daß zwischen je zwey Werthen, die ein entgegengesetzetes Resultat gew¨ ahren, wenigstens eine reelle Wurzel der Gleichung liege. Haase, Prague, 1817. URL: https://hdl.handle.net/ 10338.dmlcz/400019
-
[13]
Bourbaki.Th´ eorie des ensembles
N. Bourbaki.Th´ eorie des ensembles. Springer, Berlin, 2006. Reprint of the 1970 edition.doi:10.1007/978-3-540-34035-5
-
[14]
T. J. I. Bromwich.An Introduction to the Theory of Infinite Series. Macmil- lan, London, first edition, 1908. URL: https://books.google.com/books?id= ZY45AAAAMAAJ
1908
- [15]
-
[16]
G. Cantor. Ueber die Ausdehnung eines Satzes aus der Theorie der trigonometrische Reihen.Math. Ann., 5:123–132, 1872.doi:10.1007/ BF01446327. 16
-
[17]
G. Cantor. Ein Beitrag zur Mannigfaltigkeitslehre.J. reine angew. Math., 84:242– 259, 1877. URL: https://eudml.org/doc/148353
-
[18]
G. Cantor. Ueber unendliche, lineare Punktmannichfaltigkeiten.Math. Ann., 21:545–591, 1883.doi:10.1007/BF01446819
-
[19]
Carath´ eodory.Vorlesungen ¨ uber reelle Funktionen
C. Carath´ eodory.Vorlesungen ¨ uber reelle Funktionen. Teubner, Leipzig, first edition, 1918. URL: https://books.google.com/books?id=T4nMBa1fWo0C
1918
-
[20]
Carnap.Abriss der Logistik
R. Carnap.Abriss der Logistik. Springer, Vienna, 1929. URL: https://books. google.com/books?id=BloaAAAAIAAJ
1929
-
[21]
A. Cauchy. M´ emoire sur une nouvelle th´ eorie des imaginaires, et sur les racines symboliques des ´ equations et des ´ equivalences.C. R. hebd. s´ eances Acad. sci., 24:1120–1130, 1847. URL: https://gallica.bnf.fr/ark:/12148/bpt6k29812
-
[22]
Cauchy.Cours d’analyse de l’ ´Ecole polytechnique: Analyse alg´ ebrique
A.-L. Cauchy.Cours d’analyse de l’ ´Ecole polytechnique: Analyse alg´ ebrique. Debure, Paris, 1821. URL: https://gallica.bnf.fr/ark:/12148/btv1b8626657t
-
[23]
E. W. Chittenden. On the equivalence of ´ ecart and voisinage.Trans. Amer. Math. Soc., 18:161–166, 1917.doi:10.2307/1988857
-
[24]
Clark, editor.Aubrey’s ‘Brief Lives’, volume I
A. Clark, editor.Aubrey’s ‘Brief Lives’, volume I. Oxford Univ. Press, London,
-
[25]
URL: https://www.google.com/books/edition/ /WYtCAAAAIAAJ
-
[26]
E. T. Copson.Metric Spaces. Univ. Press, Cambridge, 1968.doi:10.1017/ CBO9780511566141
1968
-
[27]
Courant.Vorlesungen ¨ uber Differential- und Integralrechnung, volume 1
R. Courant.Vorlesungen ¨ uber Differential- und Integralrechnung, volume 1. Springer, Berlin, first edition, 1927. URL: https://hdl.handle.net/2027/wu. 89062908009
1927
-
[28]
R. Courant. Reminiscences from Hilbert’s G¨ ottingen.Math. Intelligencer, 3(4):154–164, 1980/81.doi:10.1007/BF03022974
-
[29]
Couturat.Les principes des math´ ematiques
L. Couturat.Les principes des math´ ematiques. Alcan, Paris, 1905. URL: https: //books.google.com/books?id=h7rqjsm aw0C
1905
-
[30]
J. A. Da Cunha.Principios mathematicos. Galhardo, Lisbon, 1790. URL: https: //resolver.sub.uni-goettingen.de/purl?PPN590888331
-
[31]
Briasson, Paris, 1768
D’Alembert.Opuscules math´ ematiques, volume V. Briasson, Paris, 1768. URL: https://gallica.bnf.fr/ark:/12148/bpt6k62424s
-
[32]
De Amicis
E. De Amicis. Dipendenza fra alcune propriet` a notevoli delle relazioni fra enti di un medesimo sistema.Riv. Mat., II:113–127, 1892. URL: https://books.google. com/books?id=PQ4MAAAAYAAJ
-
[33]
de la Vall´ ee Poussin.Cours d’analyse infinit´ esimale, volume I
C.-J. de la Vall´ ee Poussin.Cours d’analyse infinit´ esimale, volume I. Gauthier- Villars, Paris, first edition, 1903. URL: https://books.google.com/books?id= r8rNAAAAMAAJ
1903
-
[34]
De Morgan
A. De Morgan. On the symbols of logic, the theory of the syllogism, and in particular of the copula, and the application of the theory of probabilities to some questions of evidence.Trans. Camb. Philos. Soc., 9 part I:79–127, 1856. URL: https://hdl.handle.net/2027/mdp.39015012112531
2027
-
[35]
Dedekind.Stetigkeit und irrationale Zahlen
R. Dedekind.Stetigkeit und irrationale Zahlen. Vieweg, Braunschweig, 1872. URL: https://books.google.com/books?id=n-43AAAAMAAJ
-
[36]
C. L. Dodgson.Euclid and His Modern Rivals. Macmillan, London, second edition, 1885. URL: https://hdl.handle.net/2027/coo.31924060288804
2027
-
[37]
Dunsany.The Last Book of Wonder. Luce, Boston, 1916. URL: https://www. 17 loc.gov/item/17002700/
-
[38]
Eliot.The Works of George Eliot, volume XII: Poems
G. Eliot.The Works of George Eliot, volume XII: Poems. Wheeler Publishing, New York, 1900. URL: https://www.google.com/books/edition/The Works of George Eliot Poems/Ec8OAAAAIAAJ
1900
-
[39]
M. Fr´ echet. Sur quelques points du calcul fonctionnel.Rend. Circ. Matem. Palermo, 22:1–74, 1906.doi:10.1007/BF03018603
-
[40]
Fr´ echet.Les espaces abstraits
M. Fr´ echet.Les espaces abstraits. Gauthier-Villars, Paris, 1928. URL: https: //books.google.com/books?id=g 3uAAAAMAAJ
1928
-
[41]
C. R. Friedrichs. The Courant circle as an extended family: New Rochelle and beyond.Math. Intelligencer, 37(1):41–44, 2015.doi:10.1007/ s00283-014-9523-8
2015
-
[42]
C. F. Gauss.Disquisitiones arithmeticae. Gerhard Fleischer, Leipzig, 1801. URL: https://resolver.sub.uni-goettingen.de/purl?PPN235993352
-
[43]
S. R. Givant. A portrait of Alfred Tarski.Math. Intelligencer, 13(3):16–32, 1991. doi:10.1007/BF03023831
-
[44]
Goursat.Cours d’analyse math´ ematique, volume I
´E. Goursat.Cours d’analyse math´ ematique, volume I. Gauthier- Villars, Paris, first edition, 1902. URL: https://books.google.com/books?id= IRbvAAAAMAAJ
1902
-
[45]
Hartshorne.Geometry: Euclid and Beyond
R. Hartshorne.Geometry: Euclid and Beyond. Springer, New York, 2000.doi: 10.1007/978-0-387-22676-7
-
[46]
Hasse.H¨ ohere Algebra
H. Hasse.H¨ ohere Algebra. I: Lineare Gleichungen. de Gruyter, Berlin, first edition, 1926. URL: https://hdl.handle.net/2027/mdp.39015035207730
1926
-
[47]
Hausdorff.Grundz¨ uge der Mengenlehre
F. Hausdorff.Grundz¨ uge der Mengenlehre. von Veit, Leipzig, first edition, 1914. URL: https://books.google.com/books?id=KTs4AAAAMAAJ
1914
-
[48]
Hausdorff.Mengenlehre
F. Hausdorff.Mengenlehre. de Gruyter, Berlin, second edition, 1927. URL: https://hdl.handle.net/2027/uc1.b4248809
1927
-
[49]
T. L. Heath, editor.The Thirteen Books of Euclid’s Elements, volume 1. Univ. Press, Cambridge, first edition, 1908. URL: https://books.google.com/books?id= dkk6AQAAMAAJ
1908
-
[50]
E. Heine. Die Elemente der Functionenlehre.J. reine angew. Math., 74:172–188, 1872.doi:10.1515/crll.1872.74.172
- [51]
-
[52]
P. E. B. Jourdain. The introduction of irrational numbers.Math. Gaz., 4:201–209, 1908.doi:10.2307/3602961
-
[53]
P. E. B. Jourdain. On isoid relations and theories of irrational number. In E. W. Hobson and A. E. H. Love, editors,Proceedings of the Fifth Interna- tional Congress of Mathematicians, volume II, pages 492–496, Cambridge, 1913. Univ. Press. URL: https://www.mathunion.org/fileadmin/ICM/Proceedings/ ICM1912.2/ICM1912.2.ocr.pdf
1913
-
[54]
J.-P. Kahane. Jacques Hadamard.Math. Intelligencer, 13(1):23–29, 1991.doi: 10.1007/BF03024068
-
[55]
Kuratowski.Topologie I
C. Kuratowski.Topologie I. Garasi´ nski, Warsaw, first edition,
-
[56]
18 zamlynska-9ee68a27-f16a-4074-a332-1d8b3b83f2a7
URL: http://pldml.icm.edu.pl/pldml/element/bwmeta1.element. 18 zamlynska-9ee68a27-f16a-4074-a332-1d8b3b83f2a7
-
[57]
Lefschetz.Topology
S. Lefschetz.Topology. Amer. Math. Soc., New York, 1930. URL: https:// bookstore.ams.org/coll-12
1930
-
[58]
Legendre
A.-M. Legendre. ´El´ ements de g´ eom´ etrie. Firmin Didot, Paris, first edition, 1794. URL: https://gallica.bnf.fr/ark:/12148/bpt6k1521831j
-
[59]
P. G. Lejeune Dirichlet.Vorlesungen ¨ uber Zahlentheorie. Vieweg, Braunschweig, second edition, 1871. Edited with additions by R. Dedekind. URL: https:// resolver.sub.uni-goettingen.de/purl?PPN30976923X
-
[60]
L´ evy.Le¸ cons d’analyse fonctionnelle
P. L´ evy.Le¸ cons d’analyse fonctionnelle. Gauthier-Villars, Paris, 1922. URL: https://books.google.com/books?id=7TAPAAAAIAAJ
1922
-
[61]
Lindenbaum
A. Lindenbaum. Contributions ` a l’´ etude de l’espace m´ etrique I.Fund. Math., 8:209–222, 1926. URL: https://eudml.org/doc/214867
1926
-
[62]
Z. Luˇ ci´ c. Who proved Pythagoras’s theorem?Math. Intelligencer, 44(4):373–381, 2022.doi:10.1007/s00283-022-10205-x
-
[63]
Mac Lane.Saunders Mac Lane—A Mathematical Autobiography
S. Mac Lane.Saunders Mac Lane—A Mathematical Autobiography. A K Peters, New York, 2005. With a preface by David Eisenbud.doi:10.1201/ 9781439863640
2005
-
[64]
P. Maritz. The Bolzano house in Prague.Math. Intelligencer, 23(2):52–55, 2001. doi:10.1007/BF03026628
-
[65]
C. M´ eray. Remarques sur la nature des quantit´ es d´ efinies par la condition de servir de limites ` a des variables donn´ ees.Rev. Soc. sav. Sci. math. phys. nat. (2), 4:280–289, 1869. URL: https://gallica.bnf.fr/ark:/12148/bpt6k2026062
-
[66]
Palais.πis wrong!Math
B. Palais.πis wrong!Math. Intelligencer, 23:7–8, 2001.doi:10.1007/ BF03026846
2001
-
[67]
Peano.Calcolo Geometrico
G. Peano.Calcolo Geometrico. Bocca, Turin, 1888. URL: https://books.google. com/books?id=5LJi3dxLzuwC
-
[68]
Peano.I principii di Geometria logicamente esposti
G. Peano.I principii di Geometria logicamente esposti. Bocca, Turin, 1889. URL: https://books.google.com/books?id=q14LAAAAYAAJ
-
[69]
Peano.Arithmetices principia
I. Peano.Arithmetices principia. Bocca, Turin, 1889. URL: https://books.google. com/books?id=UUFtAAAAMAAJ
-
[70]
C. S. Peirce. Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole’s calculus of logic.Mem. Am. Acad. Arts Sci., 9(2):317–378, 1873.doi:10.2307/25058006
-
[71]
W. Purkert. The double life of Felix Hausdorff/Paul Mongr´ e.Math. Intelligencer, 30(4):36–50, 2008.doi:10.1007/BF03038095
-
[72]
J. F. Queir´ o. Jos´ e Anast´ acio da Cunha: a forgotten forerunner.Math. Intelligencer, 10(1):38–43, 1988.doi:10.1007/BF03023850
-
[73]
W. V. O. Quine.Word and Object. MIT Press, Cambridge, new edition, 2013. First edition published 1960.doi:10.7551/mitpress/9636.001.0001
-
[74]
C. Reid.Courant. Springer, New York, 1996. Reprint of the 1976 original. doi:10.1007/978-0-387-21626-3
-
[75]
H. Rohrbach. Helmut Hasse and Crelle’s journal.J. reine angew. Math., 500:5– 13, 1998. Translated from the 1982 German original by B¨ arbel Deninger.doi: 10.1515/crll.1998.070
-
[76]
D. E. Rowe. Transforming tradition: Richard Courant in G¨ ottingen.Math. 19 Intelligencer, 37(1):20–29, 2015.doi:10.1007/s00283-014-9522-9
-
[77]
Rudin.Principles of Mathematical Analysis
W. Rudin.Principles of Mathematical Analysis. McGraw-Hill, New York, first edition, 1953
1953
-
[78]
S. Russ. Bolzano’s analytic programme.Math. Intelligencer, 14(3):45–53, 1992. doi:10.1007/BF03025869
-
[79]
B. Russell. Sur la logique des relations avec des applications ` a la th´ eorie des s´ eries.Rev. Math., 7:115–148, 1901. URL: https://books.google.com/books?id= 6J9FAQAAMAAJ
1901
-
[80]
Sierpi´ nski.Introduction to General Topology
W. Sierpi´ nski.Introduction to General Topology. Univ. Press, Toronto, first edition, 1934. Translated by C. Cecilia Krieger
1934
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.