Arithmetical Congruence Preservation: from Finite to Infinite

Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational polynomials (taking only integral values) and the function giving the least common multiple of $1,2,\ldots,k$. The tool used to obtain these characterizations is "lifting": if $\pi\colon X\to Y$ is a surjective morphism, and $f$ a function on $Y$ a lifting of $f$ is a function $F$ on $X$ such that $\pi\circ F=f\circ\pi$. In this paper we relate the finite and infinite notions by proving that the finite case can be lifted to the infinite one. For $p$-adic and profinite integers we get similar characterizations via lifting. We also prove that lattices of recognizable subsets of $Z$ are stable under inverse image by congruence preserving functions

Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow

Fermat, Leibniz, Euler, and Cauchy all used one or another form of approximate equality, or the idea of discarding "negligible" terms, so as to obtain a correct analytic answer. Their inferential moves find suitable proxies in the context of modern theories of infinitesimals, and specifically the concept of shadow. We give an application to decreasing rearrangements of real functions.Comment: 35 pages, 2 figures, to appear in Notices of the American Mathematical Society 61 (2014), no.

Ten Misconceptions from the History of Analysis and Their Debunking

The widespread idea that infinitesimals were "eliminated" by the "great triumvirate" of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an oversimplification created by triumvirate followers, who tend to view the history of analysis as a pre-ordained march toward the radiant future of Weierstrassian epsilontics. In the present text, we document distortions of the history of analysis stemming from the triumvirate ideology of ontological minimalism, which identified the continuum with a single number system. Such anachronistic distortions characterize the received interpretation of Stevin, Leibniz, d'Alembert, Cauchy, and others.Comment: 46 pages, 4 figures; Foundations of Science (2012). arXiv admin note: text overlap with arXiv:1108.2885 and arXiv:1110.545

Quantum Theory and Galois Fields

We discuss the motivation and main results of a quantum theory over a Galois field (GFQT). The goal of the paper is to describe main ideas of GFQT in a simplest possible way and to give clear and simple arguments that GFQT is a more natural quantum theory than the standard one. The paper has been prepared as a presentation to the ICSSUR' 2005 conference (Besancon, France, May 2-6, 2005).Comment: Latex, 24 pages, 1 figur