Related papers: Reformulating $\epsilon$-$\delta$ Limits in a Peda…
$\lambda$-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations.
This paper presents Privilege Calculus (PC) as a new approach of knowledge representation for Separation of Duty (SD) in the view of process and intents to improve the reconfigurability and traceability of SD. PC presumes that the structure…
In this paper, we consider the concept of limit, one of the basic concepts of mathematical analysis. At a point $a\in{\mathbb{R}}$, the limit of a function $f$ from $A\subset\mathbb{R}$ to $\mathbb{R}$ is $L\in{\mathbb{R}}$ if and only if…
The purpose of this article is to establish new lower bounds for the sums of powers of eigenvalues of the Dirichlet fractional Laplacian operator $(-\Delta)^{\alpha/2}|_{\Omega}$ restricted to a bounded domain $\Omega\subset{\mathbb R}^d$…
We recall the definition of the $\epsilon$-distortion complexity of a set defined in \cite{bcc} and the results obtained in this paper for Cantor sets of the interval defined by iterated function systems. We state an analogous definition…
Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…
We discuss how the likely 2018 redefinition of the SI system of units might affect the ability of students to understand the link between the units and the new system. The likely redefinition will no longer define a set of base units, but…
The aim of this paper is to present a didactical sequence that fosters the development of meanings related to fractions, conceived as numbers that can be placed on the number line. The sequence was carried out in various elementary school…
Possibilities for defining the radial derivative of the delta distribution $\delta(\underline{x})$ in the setting of spherical coordinates are explored. This leads to the introduction of a new class of continuous linear functionals similar…
While a mature body of work supports the study of rewriting systems, abstract tools for Probabilistic Rewriting are still limited. In this paper we study the question of uniqueness of the result (unique limit distribution), and develop a…
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.…
The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…
In general case of deformed Heisenberg algebra leading to the minimal length, we present a definition of the $\delta'(x)$ potential as a linear kernel of potential energy operator in momentum representation. We find exactly the energy level…
Recent investigations have been carried out on critical analyses of beginning physics teachers confronted with questionable explanations. These studies raise the question of the choices made by teachers for their teaching once they have…
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…
Linear differential equations and recurrences reveal many properties about their solutions. Therefore, these equations are well-suited for representing solutions and computing with special functions. We identify a large class of existing…
The basic notions of logic-predicate logic, Peano arithmetic, incompleteness theorems, etc.-have for long been an advanced topic. In the last decades, they became more widely taught, inphilosophy, mathematics, and computer science…
The confluence of untyped \lambda-calculus with unconditional rewriting is now well un- derstood. In this paper, we investigate the confluence of \lambda-calculus with conditional rewriting and provide general results in two directions.…
The formal definition of limit is one mathematical idea that gives difficulties to most students. Therefore, it is necessary to provide engaging activity in order to construct the students' understanding about the definition. This study…
Science is facing a reproducibility crisis. Previous work has proposed incorporating data analysis replications into classrooms as a potential solution. However, despite the potential benefits, it is unclear whether this approach is…