Related papers: Algorithmic definition of means acting on positive…
The focus of these lecture notes is on abstract models and basic ideas and results that relate to the operational semantics of programming languages largely conceived. The approach is to start with an abstract description of the computation…
Earlier work on modular arithmetic of k-ary representations of length L of the natural numbers in quantum mechanics is extended here to k-ary representations of all natural numbers, and to integers and rational numbers. Since the length L…
In this paper, we intend to revisit Theorem 2 of [3] formulating it in a way that, weakening the hypotheses and, at the same time, highlighting the richer conclusion allowed by the proof, it can potentially be applicable to a broader range…
We are used to thinking of an operator acting once, twice, and so on. However, an operator acting integer times can be consistently analytic continued to an operator acting complex times. Applications: (s,r) diagrams and an extension of…
We employ the framework of operational calculus to derive the operators associated with the spherical mean and a class of related averaging means of a function in $n$-dimensional space. Beginning with the classical definition of the…
In the last decades, several objects such as grammars, economical agents, laws of physics... have been defined as algorithms. In particular, after Brouwer, Heyting, and Kolomogorov, mathematical proofs have been defined as algorithms. In…
In this paper we study two types of means of the entries of a nonnegative matrix: the \emph{permanental mean}, which is defined using permanents, and the \emph{scaling mean}, which is defined in terms of an optimization problem. We explore…
We give extensions of results on nonnegative matrix semigroups which deduce finiteness or boundedness of such semigroups from the corresponding local properties, e.g., from finiteness or boundedness of values of certain linear functionals…
We study generalized means whose domain may contain unbounded sets as well. We investigate usual properties of this type of means and also new attributes that regard for such means only. We examine how a mean defined on bounded sets can be…
We know extensions of first order logic by quantifiers of the kind "there are uncountable many ...", "most ..." with new axioms and appropriate semantics. Related are operations such as "set of x, such that ...", Hilbert's…
Algorithmic harms are commonly categorized as either allocative or representational. This study specifically addresses the latter, focusing on an examination of current definitions of representational harms to discern what is included and…
Can AI solve all math? What do we actually mean by doing mathematics? How do we communicate mathematics? What is mathematics beyond problem solving? This essay is my attempt to answer these questions.
A definition of what counts as an explanation of mathematical statement, and when one explanation is better than another, is given. Since all mathematical facts must be true in all causal models, and hence known by an agent, mathematical…
In this paper, we generalize the ALM-procedure introduced by Ando, Li, and Mathias for extending operator geometric means to multiple variables. We prove that the generalized procedure preserves all the properties required by the axioms of…
This paper is dedicated to the analysis and detailed study of a procedure to generate both the weighted arithmetic and harmonic means of $n$ positive real numbers. Together with this interpretation, we prove some relevant properties that…
The concepts of mean (i.e., average) and covariance of a random variable are fundamental in statistics, and are used to solve real-world problems such as those that arise in robotics, computer vision, and medical imaging. On matrix Lie…
Our goal in this work is to present some mean value type theorems that are not studied in classic calculus and analysis courses. They are simple theorems yet with large applicability in mathematical analysis (for example, in the study of…
An integral representation of an operator mean via the power means is obtained. As an application, we shall give explicit condition of operator means that the Ando-Hiai inequality holds.
Integral means are important class of bivariate means. In this paper we prove the very general algorithm for calculation of coefficients in asymptotic expansion of integral mean. It is based on explicit solving the equation of the form…
The questions which we will consider here are "What is AI?" and "How can we make AI?". Here we will present the definition of AI in terms of multi-agent systems. This means that here you will not find a new answer to the question "What is…