Related papers: Calculus without Limit Theory
Discrete mechanics proposes an alternative formulation of the equations of mechanics where the Navier-Stokes and Navier-Lam\'e equations become approximations of the equation of discrete motion. It unifies the fields of fluid and solid…
How can quantum mechanics be (i) the fundamental theoretical framework of contemporary physics and (ii) a probability calculus that presupposes the events to which, and on the basis of which, it assigns probabilities? The question is…
This book intends to give the main definitions and theorems in mathematics which could be useful for workers in theoretical physics. It gives an extensive and precise coverage of the subjects which are addressed, in a consistent and…
We show how one can construct a differential calculus over an algebra where position variables x and momentum variables p have be defined. As the simplest example we consider the one-dimensional q-deformed Heisenberg algebra. This algebra…
In La G\'eom\'etrie, Descartes proposed a balance between geometric constructions and symbolic manipulation with the introduction of suitable ideal machines. In modern terms, that is a balance between analog and symbolic computation.…
We present a new duality theory for non-convex variational problems, under possibly mixed Dirichlet and Neumann boundary conditions. The dual problem reads nicely as a linear programming problem, and our main result states that there is no…
In this paper, we present the foundations of Summability Calculus, which places various established results in number theory, infinitesimal calculus, summability theory, asymptotic analysis, information theory, and the calculus of finite…
The first part of this work deals with the development of a natural differential calculus on non-commutative manifolds. The second part extends the covariance and equivalence principle as well studies its kinematical consequences such as…
Equations are ubiquitous in most mathematical activities. Nevertheless, in this paper it is shown how to do standard mathematics without any equation at all. More than that, it is proven there is a foundational framework for standard…
We define a deterministic integral with respect to irregular paths as a limit of standard line integrals and completely describe a class of all paths for which this integral exists for functions with H\"older exponent in the range of (0,1].…
Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula…
Mechanics can be founded in a principle stating the uncertainty in the position of an observable particle delta-q as a function of its motion relative to the observer, expressed in a trajectory representation . From this principle,…
Exact solutions of a classical problem of a plane unsteady potential flow of an ideal incompressible fluid with a free boundary are presented. The fluid occupies a semi-infinite strip bounded by the free surface (from above) and (from the…
The Reynolds Transport Theorem, colloquially known as 'differentiation under the integral sign', is a central tool of applied mathematics, finding application in a variety of disciplines such as fluid dynamics, quantum mechanics, and…
In this paper we use theoretical frameworks from mathematics education and cognitive psychology to analyse Cauchy's ideas of function, continuity, limit and infinitesimal expressed in his Cours D'Analyse. Our analysis focuses on the…
Fractional calculus is the calculus of differentiation and integration of non-integer orders. In a recently paper (Annals of Physics 323 (2008) 2756-2778), the Fundamental Theorem of Fractional Calculus is highlighted. Based on this…
Cut-elimination is the bedrock of proof theory. It is the algorithm that eliminates cuts from a sequent calculus proof that leads to cut-free calculi and applications. Cut-elimination applies to many logics irrespective of their semantics.…
We introduce a continuous-time random walk model on an infinite multilayer structure inspired by transportation networks. Each layer is a copy of $\mathbb{R}^d$, indexed by a non-negative integer. A walker moves within a layer by means of…
A human is a thing that moves in space. Like all things that move in space, we can in principle use differential equations to describe their motion as a set of functions that maps time to position (and velocity, acceleration, and so on).…
The purpose of this paper is to present an introduction to a point of view for discrete foundations of physics. In taking a discrete stance, we find that the initial expression of physical theory must occur in a context of noncommutative…