English
Related papers

Related papers: Weyl and intuitionistic infinitesimals

200 papers

We propose and develop an algebraic approach to revealed preference. Our approach dispenses with non algebraic structure, such as topological assumptions. We provide algebraic axioms of revealed preference that subsume previous, classical…

Theoretical Economics · Economics 2021-06-01 Mikhail Freer , Cesar Martinelli

Using the Moyal *-product and orthosymplectic supersymmetry, we construct a natural non trivial supertrace and an associated non degenerate invariant supersymmetric bilinear form for the Lie superalgebra structure of the Weyl algebra. We…

Representation Theory · Mathematics 2016-09-07 Georges Pinczon , Rosane Ushirobira

Bayesian inference is limited in scope because it cannot be applied in idealized contexts where none of the hypotheses under consideration is true and because it is committed to always using the likelihood as a measure of evidential…

Other Statistics · Statistics 2019-09-17 Olav Benjamin Vassend

A new elementary proof of the prime number theorem presented recently in the framework of a scale invariant extension of the ordinary analysis is re-examined and clarified further. Both the formalism and proof are presented in a much more…

General Mathematics · Mathematics 2011-04-01 Dhurjati Prasad Datta

Cantor's famous construction of the real continuum in terms of Cauchy sequences of rationals proceeds by imposing a suitable equivalence relation. More generally, the completion of a metric space starts from an analogous equivalence…

Logic · Mathematics 2015-03-19 Paolo Giordano , Mikhail G. Katz

Recently, a novel intuitionistic reconstruction of the foundations of physics has been primarily developed by Nicolas Gisin and Flavio Del Santo drawing on naturalism. Our goal in this paper is to examine and develop the philosophical…

History and Philosophy of Physics · Physics 2025-09-29 Bruno Bentzen , Flavio Del Santo , Nicolas Gisin

We present a finer quantitative version of an observation due to Breuillard, Green, Guralnick and Tao which tells that for finite non-bipartite Cayley graphs, once the nontrivial eigenvalues of their normalized adjacency matrices are…

Combinatorics · Mathematics 2023-11-01 Wenbo Li , Shiping Liu

In 2013 Benkart, Lopes and Ondrus introduced and studied in a series of papers the infinite-dimensional unital associative algebra $\A_h$ generated by elements $x,y,$ which satisfy the relation $yx-xy=h$ for some $0\neq h\in \FF[x]$. We…

Rings and Algebras · Mathematics 2022-01-07 Artem Lopatin , Carlos Arturo Rodriguez Palma

We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals…

Mathematical Physics · Physics 2015-05-14 Paolo Giordano

The isometric embedding problem for Riemannian manifolds, which connects intrinsic and extrinsic geometry, is a central question in differential geometry with deep theoretical significance and wide-ranging applications. Despite extensive…

Numerical Analysis · Mathematics 2026-02-24 Guangwei Gao , Kaibo Hu , Buyang Li , Ganghui Zhang

We give an extension of de Finetti's concept of coherence to unbounded (but real-valued) random variables that allows for gambling in the presence of infinite previsions. We present a finitely additive extension of the Daniell integral to…

Statistics Theory · Mathematics 2013-09-02 Mark J. Schervish , Teddy Seidenfeld , Joseph B. Kadane

In this paper, we obtain the maximal estimate for the Weyl sums on the torus $\mathbb{T}^d$ with $d\geq 2$, which is sharp up to the endpoint. We also consider two variants of this problem which include the maximal estimate along the…

Number Theory · Mathematics 2023-04-28 Changxing Miao , Jiye Yuan , Tengfei Zhao

The usual reading of logical implication "A implies B" as "if A then B" fails in intuitionistic logic: there are formulas A and B such that "A implies B" is not provable, even though B is provable whenever A is provable. Intuitionistic…

Logic in Computer Science · Computer Science 2018-10-18 Andrea Condoluci , Matteo Manighetti

Paul Bernays and David Hilbert carefully avoided overspecification of Hilbert's epsilon-operator and axiomatized only what was relevant for their proof-theoretic investigations. Semantically, this left the epsilon-operator underspecified.…

Artificial Intelligence · Computer Science 2013-09-17 Claus-Peter Wirth

The choice of priors may become an insoluble problem if priors and Bayes' rule are not seen and accepted in the framework of subjectivism. Therefore, the meaning and the role of subjectivity in science is considered and defended from the…

Data Analysis, Statistics and Probability · Physics 2007-05-23 G. D'Agostini

In the middle of the 1980s, David Poole introduced a semantical, model-theoretic notion of specificity to the artificial-intelligence community. Since then it has found further applications in non-monotonic reasoning, in particular in…

Artificial Intelligence · Computer Science 2014-02-11 Claus-Peter Wirth , Frieder Stolzenburg

I review various aspects of Feynman integrals, regularization and renormalization. Following Bloch, I focus on a linear algebraic approach to the Feynman rules, and I try to bring together several renormalization methods found in the…

High Energy Physics - Theory · Physics 2010-05-24 Christoph Bergbauer

Motivated by the classical comatrix coalgebra, we introduce the concept of a Newtonian comatrix coalgebra. We construct an infinitesimal unitary bialgebra on a matrix algebra and a weighted infinitesimal unitary bialgebra on a…

Rings and Algebras · Mathematics 2022-02-27 Yi Zhang , Jiawen Zheng , Yanfeng Luo

Did Leibniz exploit infinitesimals and infinities `a la rigueur, or only as shorthand for quantified propositions that refer to ordinary Archimedean magnitudes? Chapter 5 in (Ishiguro 1990) is a defense of the latter position, which she…

This is an expository paper about the Borel complexity of structure and classification theorems. It sorts several classical problems relative to known benchmarks of complexity. As a corollary various problems proposed by people such as von…

Dynamical Systems · Mathematics 2023-04-14 Matthew Foreman