Mathematical knowledge: internal, social and cultural aspects

Preliminary version of a book on univariate real analysis, with 19 chapters and 6 appendices. 1. Prologue on functions and relations; 2. From ZFC formulas to natural numbers; 3. From natural numbers to integers; 4. From integers to fractions; 5. From fractions to extended reals; 6. From extended reals to real numbers; 7. Limits of real sequences; 8. Infinite series; 9. Limits of real functions. 10. Elementary functions; 11. Continuous functions; 12. Derivatives; 13. Mean value theorems; 14. Taylor polynomials; 15. Real analytic functions; 16. Newton integral; 17. Riemann integral; 18. Henstock-Kurzweil integral; 19. Applications of integrals; A. ZFC set theory; B. The equiconsistence of AC: Gödel; C. The equiconsistence of $\neg$AC: Cohen; D. From real numbers to complex numbers; E. Metric spaces; F. Solutions to exercises

math.HO↗

arXiv2026

The Wandering Must Continue: Pure Mathematicians as Rangers of the North

Pure mathematics is an honest barometer of a civilization's scientific capacity, maintaining an unwritten culture of rigor, structural perception, and intellectual honesty whose primary service is not merely proving theorems, but cultivating human judgment. In an era of automated theorem generation and formal verification, this essay argues that establishing a result and understanding both why it holds and why it matters remain distinct achievements, and outlines concrete institutional mechanisms to protect the exploratory core of the discipline.

math.HO↗

arXiv2026

It is time for a New Deal for mathematics

The AI labs' vision is based on extraction (of data, wealth, and political power). Mathematicians must oppose it, moving past personal reflections and towards reforming mathematics' social contract.

math.HO↗