Related papers: To found or not to found: that is the question
This paper revisits the foundations of mathematical proof through the lens of Aristotle's threefold conception of truth: sensory evidence, axiomatic definition, and syllogistic deduction. I argue that modern mathematics has too often…
Leonhard Euler likely developed his summation formula in 1732, and soon used it to estimate the sum of the reciprocal squares to 14 digits --- a value mathematicians had been competing to determine since Leibniz's astonishing discovery that…
In a classic paper Schr\"oder posed four combinatorial problems about the number of certain types of bracketings of words and sets. Here we address what these bracketings look like on average. For each of the four problems we prove that a…
The $n^{\text{th}}$ small Schr\"oder number is $s(n) = \sum_{k \geq 0} s(n,k)$, where $s(n,k)$ denotes the number of plane rooted trees with $n$ leaves and $k$ internal nodes that each has at least two children. In this manuscript, we focus…
The concept of definability of physical fields within a set-theoretical foundation is introduced. We propose an axiomatic set theory and show the Schroedinger equation and, more generally, a nonlinear sigma model come naturally out of the…
In 1997, Schaeffer described a bijection between Eulerian planar maps and some trees. In this work we generalize his work to a bijection between bicolorable maps on a surface of any fixed genus and some unicellular maps with the same genus.…
This paper has two goals. The first goal is to show how an extension of second-order logic is a natural framework to formalize portions of Aristotle's \emph{Topics} and to bring to the foreground the logical, linguistic and philosophical…
We describe some basic tools in the spectral theory of Schr\"odinger operator on metric graphs (also known as "quantum graph") by studying in detail some basic examples. The exposition is kept as elementary and accessible as possible. In…
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of…
To most mathematicians and computer scientists the word ``tree'' conjures up, in addition to the usual image, the image of a connected graph with no circuits. In the last few years various types of trees have been the subject of much…
In this paper, we study averaging operators from an algebraic and combinatorial point of view. We first construct free averaging algebras in terms of a class of bracketed words called averaging words. We next apply this construction to…
We provide some historical context to the study of solid angles carried out by Euler in his memoir \emph{De mensura angulorum solidorum} (On the measure of solid angles). We extend our study to the general notion of angle (not only solid).…
We reveal in a rigorous mathematical way using the theory of differential forms, here viewed as sections of a Clifford bundle over a Lorentzian manifold, the true meaning of Freud's identity of differential geometry discovered in 1939 (as a…
Polynomial factorization in conventional sense is an ill-posed problem due to its discontinuity with respect to coefficient perturbations, making it a challenge for numerical computation using empirical data. As a regularization, this paper…
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no…
I have argued elsewhere that second order logic provides a foundation for mathematics much in the same way as set theory does, despite the fact that the former is second order and the latter first order, but second order logic is marred by…
This paper is devoted to show that the last quarter of the past century can be considered as the golden age of the Mathematical Finance. In this period the collaboration of great economists and the best generation of probabilists, most of…
This short note is intended to review the foundations of mechanics, trying to present them with the greatest mathematical and conceptual clarity. It was attempted to remove most of inessential, even parasitic issues, which can hide the true…
A central topic in mathematical logic is the classification of theorems from mathematics in hierarchies according to their logical strength. Ideally, the place of a theorem in a hierarchy does not depend on the representation (aka coding)…
From the curved spacetime Lagrangian the first approximation scalar particle quantum equation was obtained following the canonical formalism. The roots of this equation in Schwarzschild's pseudo flat space were found. As it was shown in a…