Related papers: 19th century real analysis, forward and backward
The goal of this paper consists of developing a new (more physical and numerical in comparison with standard and non-standard analysis approaches) point of view on Calculus with functions assuming infinite and infinitesimal values. It uses…
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.
The way Leibniz applied his philosophy to mathematics has been the subject of longstanding debates. A key piece of evidence is his letter to Masson on bodies. We offer an interpretation of this often misunderstood text, dealing with the…
We take quantum theory and replace $\mathbb{C}$ by $\mathbb{C}[\varepsilon]$ where $\varepsilon^2=0$, i.e. we extend quantum theory to the ring of dual complex numbers. The aim is to develop a common language in which to treat continuous…
We introduce a formalism to analyze partially defined functions between ordered sets. We show that our construction provides a uniform and conceptual approach to all the main definitions encountered in elementary real analysis including…
The concept of infinity took centuries to achieve recognized status in the field of mathematics, despite the fact that it was implicitly present in nearly all mathematical endeavors. Here I explore the idea that a similar development might…
First-order linear real arithmetic enriched with uninterpreted predicate symbols yields an interesting modeling language. However, satisfiability of such formulas is undecidable, even if we restrict the uninterpreted predicate symbols to…
A very small amount of K\"ahler algebra (i.e. Clifford algebra of differential forms) in the real plane makes x + ydxdy emerge as a factor between the differentials of the Cartesian and polar coordinates, largely replacing the concept of…
We consider the Cauchy problem for an equation of Korteweg-de Vries-Kawahara type with initial data in the analytic Gevrey spaces. By using linear, bilinear and trilinear estimates in analytic Bourgain spaces, we establish the local…
We investigate existence and uniqueness of solutions of the Cauchy problem for the porous medium equation on a class of Cartan-Hadamard manifolds. We suppose that the radial Ricci curvature, which is everywhere nonpositive as well as…
Stochastic Approximation (SA) was introduced in the early 1950's and has been an active area of research for several decades. While the initial focus was on statistical questions, it was seen to have applications to signal processing,…
Beyond the difficulty to give true practical motives to introduce a theorem, the didactic transposition of scholarly knowledge in a school setting often leads to freezing a technical tool into a theorem given under minimal assumptions.…
We study a nonlinear initial value Cauchy problem depending upon a complex perturbation parameter $\epsilon$ with vanishing initial data at complex time $t=0$ and whose coefficients depend analytically on $(\epsilon,t)$ near the origin in…
In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses of Dirichlet characters in presentations of Dirichlet's…
In order to study large variations or fluctuations of finite or infinite sequences (time series), we bring to light an 1868 paper of Crofton and the (Cauchy-)Crofton theorem. After surveying occurrences of this result in the literature, we…
A comprehensive convergence and stability analysis of some probabilistic numerical methods designed to solve Cauchy-type inverse problems is performed in this study. Such inverse problems aim at solving an elliptic partial differential…
We introduce a notion of complexity for systems of linear forms, called sequential Cauchy-Schwarz complexity, which is parametrized by two positive integers $k,\ell$ and refines the notion of Cauchy-Schwarz complexity introduced by Green…
Informally speaking, the categoricity of an axiom system means that its non-logical symbols have only one possible interpretation that renders the axioms true. Although non-categoricity has become ubiquitous in the second half of the 20th…
Bernays introduced a method for proving underivability results in propositional calculi by truth tables. In general, this motivates an investigations of how to find, given a propositional logic, a finite-valued logic which has as few…
Could elementary complex analysis, which covers the topics such as algebra of complex numbers, elementary complex functions, complex differentiation and integration, series expansions of complex functions, residues and singularities, and…