http://arxiv.org/api/tZUxdVtSvn5jy1lkVslGXO+2Cy8 2025-04-22T00:00:00-04:00 3862 75 15 http://arxiv.org/abs/2110.01489v7 2025-02-16T01:17:41Z 2021-10-04T15:00:00Z

Beginning with two primitives, four axioms, and weak non-binary logic, we develop what seems to be a complete foundation for mainstream deductive mathematics. In more detail, the primitives are ``object generators'', essentially the ``object'' primitive of category theory; and morphisms of these, essentially functions. The main assumption is the axiom of choice. The logic does not include a global equality operator, quantification, or excluded middle. Sets are defined inside this context, and most of the standard properties of sets are proved rather than assumed as axioms. The main technical result is that, in this context there is an implementation of the Zermillo-Fraenkel-Choice axioms, except that our use of ``function'' as a primitive instead of ``membership'' avoids the traditional need for first-order logic. We abbreviate the axioms with this omission as ZFC-1. This model is maximal in the sense that any other model of ZFC+/-1 is (uniquely) a transitive submodel of this one. Finally, we formulate the ``coherent limit axiom'' that characterizes the maximal model among all ZFC-1 models. In mainstream mathematics, the coherent limit axiom is regarded as self-evident and used extensively. Therefore, mainstream deductive work implicitly takes place in the set theory described here. This is even true of elementary calculus. For set theory, one implication is that much of the axiomatic set theory of the last century is irrelevant to mainstream mathematics. However, questions such as the Continuum Hypothesis are well-posed for the maximal model, and some of the vast literature on ZFC might be sharpened in this context.

Frank Quinn 24 pages, Feb. 2025, minor edits to clarify terminology. arXiv admin note: substantial text overlap with arXiv:2009.08867 http://arxiv.org/abs/2407.02507v2 2025-02-16T01:08:35Z 2024-06-18T01:44:00Z

This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what is, or isn't, a foundation; and get clues as to how a foundation can be optimized for effective human use. For this we turn to history and professional practice of the subject. We have no asperations to Philosophy. The first section gives a short abstract discussion, focusing on the significance of consistency. The next briefly describes foundations, explicit and implicit, at a few key periods in mathematical history. We see, for example, that at the primitive level human intuitions are essential, but can be problematic. We also see that traditional axiomatic set theories, Zermillo-Fraenkel-Choice (ZFC) in particular, are not quite consistent with mainstream practice. The final section sketches the proposed new foundation and gives the basic argument that it is uniquely qualified to be considered {the} foundation of mainstream deductive mathematics. The ``coherent limit axiom'' characterizes the new theory among ZFC-like theories. This axiom plays a role in recursion, but is implicitly assumed in mainstream work so does not provide new leverage there. In principle it should settle set-theory questions such as the continuum hypothesis.

Frank Quinn 9 pages. Companion to `Object generators, relaxed sets, and a foundation for mathematics; preprint 2023, http://arXiv.org2110.01489 http://arxiv.org/abs/2308.05119v2 2025-02-14T22:42:08Z 2023-08-08T17:43:13Z

During what Vietnamese call the American War, Alexander Grothendieck spent three weeks teaching mathematics in and near Hanoi. Ho\`ang Xu\^an S\'inh took notes on his lectures and later did her thesis work with him by correspondence. In her thesis she developed the theory of "Gr-categories", which are monoidal categories in which all objects and morphisms have inverses. Now often called "2-groups", these structures allow the study of symmetries that themselves have symmetries. After a brief account of how Ho\`ang Xu\^an S\'inh wrote her thesis, we explain some of its main results, and its context in the history of mathematics.

John C. Baez 22 pages with xypic figures http://arxiv.org/abs/2502.09761v1 2025-02-13T20:45:24Z 2025-02-13T20:45:24Z

Good problems grab us. They invite us to find patterns, make conjectures, and prove-or perhaps disprove-a conjecture. When I first taught, I saw my work as tantalizing students with structures just beyond their reach, so that I could elicit conjectures from promising half-phrases. With a community conjecture crystallized on the board, "we" proved the statement. "We" anointed the conjecture a community theorem, and "we" moved on. I hoped that, through repeated exposure to this routine, students would absorb a mathematical process from discovery to proof. But I've since wondered: What does this routine teach students? I've concluded that if this is the only instructional routine that students experience, they may leave with an impoverished image of the beauty and joy that doing math can offer.

Yvonne Lai http://arxiv.org/abs/2502.09756v1 2025-02-13T20:27:07Z 2025-02-13T20:27:07Z

Each time we teach, our students communicate to us. They talk, write, and draw. How do we take in their expressions of self and mathematics? How do we listen? In this column, published in the Fall 2023 AWM Newsletter, I explore different ways we1 as mathematics instructors may listen and how they contribute to a larger message of inclusion and induction into a mathematical community.

Yvonne Lai http://arxiv.org/abs/2502.09751v1 2025-02-13T20:09:48Z 2025-02-13T20:09:48Z

Interview with Hyman Bass, whose mathematical life has spanned seven decades.

Hyman Bass Lisa Carbone Yvonne Lai Notices of the AMS, 2025 http://arxiv.org/abs/2502.09590v1 2025-02-13T18:47:54Z 2025-02-13T18:47:54Z

In the past two decades, teaching and outreach have come to hold an expected place in more missions of mathematics departments and organizations. Still, there is more to do as a mathematical sciences community for mathematics education and mathematics educators to be fully included. This essay, published in the AWM Newsletter, demonstrates the prevalence of mathematics education in mathematics departments, and then discusses the variously supportive and unsupportive climates that mathematics educators experience in mathematics departments. The essay describes fractious, fragile, and fertile environments in mathematics departments.

Yvonne Lai http://arxiv.org/abs/2502.17471v1 2025-02-13T12:10:17Z 2025-02-13T12:10:17Z

The paper deals with some elementary problems about various mean value properties and their connections to harmonic functions and random walks.

Vilmos Totik This is a corrected version of the paper "The mean value property, {\it Mathematical Intelligencer}, {\bf 37}(2015), 9--16." http://arxiv.org/abs/2502.08620v1 2025-02-12T18:15:35Z 2025-02-12T18:15:35Z

Can machine learning help discover new mathematical structures? In this article we discuss an approach to doing this which one can call "mathematical data science". In this paradigm, one studies mathematical objects collectively rather than individually, by creating datasets and doing machine learning experiments and interpretations. After an overview, we present two case studies: murmurations in number theory and loadings of partitions related to Kronecker coefficients in representation theory and combinatorics.

Michael R. Douglas Kyu-Hwan Lee http://arxiv.org/abs/2303.13473v6 2025-02-12T17:54:57Z 2023-03-21T20:46:24Z

Ernst Zermelo's axiomatization of set theory (1908) did not exclude `a set that is a member of itself'. We call a set that is a member of itself `an individual'. In this article we prove the elimination of Russell's paradox is equivalent to "For every set S, an individual is a member of S or a set (but not an individual) is not a member of S". This shows there is place in set theory for individuals. And we show the set theory with individuals has its philosophical foundation in Ludwig Wittgenstein's Tractatus Logico-Philosophicus.

Doeko Homan 7 pages http://arxiv.org/abs/2310.08467v2 2025-02-11T11:47:04Z 2023-10-12T16:27:35Z

The resources compiled in this document provide an approach to embed and teach Ethics in Mathematics at the undergraduate level. We provide mathematical exercises and homework problems that teach students ethical awareness and transferable skills, for many of the standard courses in the first and second years of a university degree in mathematics or related courses with significant mathematical content (e.g., physics, engineering, computer science, economics, etc). In addition to the exercises, this document also contains a list of projects, essay topics, and handouts for use as final projects and in seminars. This is a living document, and additional contributions are welcome.

Maurice Chiodo Dennis Müller Rehan Shah 106 pages, 2 figures. This is the second version, and we intend to make revisions. Comments and feedback are welcome - please get in touch with us http://arxiv.org/abs/2502.06596v1 2025-02-10T15:58:16Z 2025-02-10T15:58:16Z

This paper presents a reverse mathematical analysis of several forms of the sorites paradox. We first illustrate how traditional formulations are reliant on H\"older's Representation Theorem for ordered Archimedean groups. While this is provable in RCA$_0$, we also consider two forms of the sorites which rest on non-constructive principles: the continuous sorites of Weber & Colyvan (2010) and a variant we refer to as the covering sorites. We show in the setting of second-order arithmetic that the former depends on the existence of suprema and thus on arithmetical comprehension (ACA$_0$) while the latter depends on the Heine-Borel Theorem and thus on Weak K\"onig's Lemma (WKL$_0$). We finally illustrate how recursive counterexamples to these principles provide resolutions to the corresponding paradoxes which can be contrasted with supervaluationist, epistemicist, and constructivist approaches.

Walter Dean Sam Sanders 10.1017/S1755020325000061 23 pages http://arxiv.org/abs/2301.08142v9 2025-02-09T22:13:50Z 2023-01-17T16:06:38Z

HMC sets are hereditarily at most countable sets. We rework a substantial part of univariate real analysis in a form in which only HMC real functions are used. In such countable real analysis we carry out Hilbert's proof of transcendence of the number $\mathrm{e}$. We also construct a uniformly continuous function $f:[0,1]\cap\mathbb{Q}\to\mathbb{R}$ such that $f'=1$ on $[0,1]\cap\mathbb{Q}$ and $\lim_{\substack{a\to1/\sqrt{2}\\a\in\mathbb{Q}}}f(a)=\frac{1}{\sqrt{2}}>f(b)$ for every $b\in[0,1]\cap\mathbb{Q}$.

Martin Klazar 39 pages - final form, minor changes and better explanation of elimination of uncountable sets http://arxiv.org/abs/2501.00002v2 2025-02-09T17:58:33Z 2024-10-13T13:49:56Z

In this paper we present a QUBO formulation for the Takuzu game (or Binairo), for the most recent LinkedIn game, Tango, and for its generalizations. We optimize the number of variables needed to solve the combinatorial problem, making it suitable to be solved by quantum devices with fewer resources.

Alejandro Mata Ali Edgar Mencia It has been included in the paper arXiv:2410.06429 http://arxiv.org/abs/2502.05607v1 2025-02-08T15:27:59Z 2025-02-08T15:27:59Z

The focus of this note is to formulate the algorithms and give the examples used by Fibonacci in Liber Abaci to expand any fraction into a sum of unit fractions. The description in Liber Abaci is all verbal and the examples are numbers which may lead to different algorithmic descriptions with the same input and results. An additional complication is that the manuscripts that exist are copies of an older manuscript and in the process new errors are introduced. Additional errors may also be introduced in the transcript and the translation. Fibonacci introduces seven categories each with several numerical examples. We give a precise description of the computational procedure using standard mathematical notation.

Trond Steihaug Milo Gardner