Related papers: A Lost Theorem: Definite Integrals in Asymptotic S…
The proposed system of integer functions is logically fully independent from the traditional mathematical analysis of the real functions, but there is a well-defined mutual correspondence between the two disciplines. The system of integer…
A consistent functional calculus approach to the spectral theorem for strongly commuting normal operators on Hilbert spaces is presented. In contrast to the common approaches using projection-valued measures or multiplication operators,…
G\"odel's Incompleteness Theorems suggest that no single formal system can capture the entirety of one's mathematical beliefs, while pointing at a hierarchy of systems of increasing logical strength that make progressively more explicit…
An approach to infinite dimensional integration which unifies the case of oscillatory integrals and the case of probabilistic type integrals is presented. It provides a truly infinite dimensional construction of integrals as linear…
Let $f$ be an arithmetic function satisfying some simple conditions. The aim of this paper is to establish an asymptotical formula for the quantity \[ S_f(x):=\sum_{n\leq x}\frac{f([x/n])}{[x/n]} \] as $x\rightarrow\infty$, where $[t]$ is…
This paper is a continuation of our recent paper with the same title, arXiv:0806.1596v1 [math.NT], where a number of integral equalities involving integrals of the logarithm of the Riemann zeta-function were introduced and it was shown that…
There is a problem with the foundations of classical mathematics, and potentially even with the foundations of computer science, that mathematicians have by-and-large ignored. This essay is a call for practicing mathematicians who have been…
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new \emph{binary} sequent calculi (each sequent is a pair of formulae) for…
In this paper, we work out some explicit formulae for double nonlinear Euler sums involving harmonic numbers and alternating harmonic numbers. As applications of these formulae, we give new closed form representations of several quadratic…
A construction of integration, function calculus, and exterior calculus is made, allowing for integration of unital magma valued functions against (compactified) unital magma valued measures over arbitrary topological spaces. The Riemann…
The method of brackets is an efficient method for the evaluation of a large class of definite integrals on the half-line. It is based on a small collection of rules, some of which are heuristic. The extension discussed here is based on the…
The usual nonnegative modulus function is based on addition. A natural different modulus function on the set of positive reals is introduced. Arguments for results for series through the usual modulus function are transformed to arguments…
The Fundamental Theorem of Integral Calculus links the integrand and its antiderivative via a simple first order differential equation. A numerical solution of this ode yields the antiderivative and hence the required integral. This…
We present a general non-parametric statistical inference theory for integrals of quantiles without assuming any specific sampling design or dependence structure. Technical considerations are accompanied by examples and discussions,…
We give again the proof of several classical results concerning the cyclotomic approach to Fermat's last theorem using exclusively class field theory (essentially the reflection theorems), without any calculations. The fact that this is…
We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be "correct", in the sense of formalizable in a formal proof system. We then present a view on the relationship between…
In order to investigate minimal sufficient conditions for an abstract integral to belong to the convex hull of the integrand, we propose a system of axioms under which it happens. If the integrand is a continuous $R^n$-valued function over…
In this manuscript, we consider the Riemann zeta function $\zeta$, defined through the Abel summation formula. We present a simple analytical method based on a complex differential equation. The aim is to propose a new analytical approach,…
Extending the idea of Even and Lehrer [3], we discuss a general approach to integration based on a given decomposition system equipped with a weighting function, and a decomposition of the integrated function. We distinguish two type of…
Exact and asymptotic formulae are displayed for the coefficients $\lambda_n$ used in Li's criterion for the Riemann Hypothesis. For $n \to \infty$ we obtain that if (and only if) the Hypothesis is true, $\lambda_n \sim n(A \log n +B)$ (with…