Related papers: Weyl and intuitionistic infinitesimals

To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on procedural questions. This would enable an account of…

We introduce an axiomatization for the notion of computation. Based on the idea of Brouwer choice sequences, we construct a model, denoted by $E$, which satisfies our axioms and $E \models \mathrm{ P \neq NP}$. In other words, regarding…

Thanks to a connection between two completely different topics, the classical eigenvalue problem in a finite dimensional real vector space and the Brouwer degree for maps between oriented differentiable real manifolds, we were able to…

Differential operators usually result in derivatives expressed as a ratio of differentials. For all but the simplest derivatives, these ratios are typically not algebraically manipulable, but must be held together as a unit in order to…

We revisit the classical problem due to Weyl, as well as its generalisations, concerning the isometric immersions of $\mathbb{S}^2$ into simply-connected $3$-dimensional Riemannian manifolds with non-negative Gauss curvature. A sufficient…

Any intermediate propositional logic (i.e., a logic including intuitionistic logic and contained in classical logic) can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in…

In two recent papers, I have proposed a description of decision analysis that differs from the Bayesian picture painted by Savage, Jeffrey and other classic authors. Response to this view has been either overly enthusiastic or unduly…

We construct a logic-enriched type theory LTTW that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum. We formalise many results from that book in LTTW, including Weyl's definition of…

In Early Transcendentals (The American Mathematical Monthly, Vol. 104, No 7) Steven Weintraub presents a rigorous justifcation of the "early transcendental" calculus textbook approach to the exponential and logarithmic functions. However,…

The widespread idea that infinitesimals were "eliminated" by the "great triumvirate" of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an…

C. I. Lewis invented modern modal logic as a theory of "strict implication". Over the classical propositional calculus one can as well work with the unary box connective. Intuitionistically, however, the strict implication has greater…

A recently developed computational methodology for executing numerical calculations with infinities and infinitesimals is described in this paper. The developed approach has a pronounced applied character and is based on the principle `The…

We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…

We study non-flat planar 3-webs with infinitesimal symmetries. Using multi-dimensional Schwarzian derivative we give a criterion for linearization of such webs and present a projective classification thereof. Using this classification we…

In this paper, I advance an original view of the structure of space called \textit{Infinitesimal Gunk}. This view says that every region of space can be further divided and some regions have infinitesimal size, where infinitesimals are…

We present the detailed calculation of the infinitesimal operators and the boson operators for SU (3) in Cartan-Weyl basis. They have been used extensively as theoretical models for particle physics. We make a comparison between them,…

This work contributes to the domains of Boolean algebra and of Bayesian probability, by proposing an algebraic extension of Boolean algebras, which implements an operator for the Bayesian conditional inference and is closed under this…

We examine prevailing philosophical and historical views about the origin of infinitesimal mathematics in light of modern infinitesimal theories, and show the works of Fermat, Leibniz, Euler, Cauchy and other giants of infinitesimal…

We analyze the degree-structure induced by large reducibilities under the Axiom of Determinacy. This generalizes the analysis of Borel reducibilities given in references [1], [6] and [5] e.g. to the projective levels.

This article exemplifies a novel approach to the teaching of introductory differential calculus using the modern notion of ``infinitesimal'' as opposed to the traditional approach using the notion of ``limit''. I illustrate the power of the…