Related papers: Weyl and intuitionistic infinitesimals
In the article we give an appreciation of Edward Nelson's multifaceted contribution to mathematics, and particularly to foundational theories of infinitesimals.
We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles. The functional interpretation is the intuitionistic counterpart of Ferreira and…
It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal…
Standard expositions of Goedel's 1931 paper on undecidable arithmetical propositions are based on two presumptions in Goedel's 1931 interpretation of his own, formal, reasoning - one each in Theorem VI and in Theorem XI - which do not meet…
We apply a framework developed by C. S. Peirce to analyze the concept of clarity, so as to examine a pair of rival mathematical approaches to a typical result in analysis. Namely, we compare an intuitionist and an infinitesimal approaches…
This is an abridged version of our Habilitation thesis. In these notes, we aim to summarize our research interests and achievements as well as motivate what drives our work: symmetry, structure and invariants. The paradigmatic example which…
It is well known that most constructive and predicative foundations aiming to develop Bishop's constructive analysis are incompatible with a classical predicative development of analysis as put forward by Weyl in his $\textit{Das…
In the present paper we deal with (local) infinitesimal isometries of special sub-Riemannian manifolds (a contact and oriented sub-Riemannian manifold is called special if the Reeb vector field is an isometry). The objective of the paper is…
The paper attempts to clarify Weyl's metaphorical description of Emmy Noether's algebra as the Eldorado of axiomatics. It discusses Weyl's early view on axiomatics, which is part of his criticism of Dedekind and Hilbert, as motivated by…
In chapter VIII of Introductio in analysin infinitorum, Euler derives a series for sine, cosine, and the formula $e^{iv}=\cos v+i\sin v$ His arguments employ infinitesimal and infinitely large numbers and some strange equalities. We…
Leibniz used the term fiction in conjunction with infinitesimals. What kind of fictions they were exactly is a subject of scholarly dispute. The position of Bos and Mancosu contrasts with that of Ishiguro and Arthur. Leibniz's own views,…
Since the discovery of critical mistakes in Rauszer's work on bi-intuitionistic logics, solid foundations for these have progressively been rebuilt. However, the algebraic treatment of these logics has not yet been tended to. We fill this…
We briefly show how classical mechanics can be rederived and better understood as a consequence of three assumptions: infinitesimal reducibility, deterministic and reversible evolution, and kinematic equivalence.
The Weyl-Wigner correspondence prescription, which makes large use of Fourier duality, is reexamined from the point of view of Kac algebras, the most general background for noncommutative Fourier analysis allowing for that property. It is…
A conservative extension of general relativity by integrable Weyl geometry is formulated, and a new class of cosmological models ({\em Weyl universes}) is introduced and studied. A short discussion of how these new models behave in the…
Motivated by nonclassical Weyl laws arising in various contexts (including Connes' approach to the Riemann Hypothesis), we develop a systematic theory of Dixmier traces and Connes' noncommutative integration for weak Lorentz ideals…
The algebraic study of the Bel-Robinson tensor proposed and initiated in a previous work (Gen. Relativ. Gravit. {\bf 41}, see ref [11]) is achieved. The canonical form of the different algebraic types is obtained in terms of Bel-Robinson…
Finite-state dimension, introduced early in this century as a finite-state version of classical Hausdorff dimension, is a quantitative measure of the lower asymptotic density of information in an infinite sequence over a finite alphabet, as…
This is a Research and Instructional Development Project from the U. S. Naval Academy. In this monograph, the basic methods of nonstandard analysis for n-dimensional Euclidean spaces are presented. Specific rules are deveoped and these…
We give a survey of the use of infinitesimals within mathematical analysis to rigorously deal with the delta-function from physics, and more generally, with distributions in the sense of L. Schwartz. We use the framework of nonstandard…