Related papers: The cycloid as brachistochrone: A one-page proof, …
The chapter advances a reformulation of the classical problem of the nature of mathematical objects (if any), here called "Plato's problem," in line with the program of a philosophy of mathematical practice. It then provides a sketch of a…
In this note we give an alternative, shorter proof of the classical result of Berestycki and Cazenave on the instability by blow-up for the standing waves of some nonlinear Schr\"odinger equations.
Cyclotomic polynomials are basic objects in Number Theory. Their properties depend on the number of distinct primes that intervene in the factorization of their order, and the binary case is thus the first nontrivial case. This paper sees…
We present a calculus, called the scheme-calculus, that permits to express natural deduction proofs in various theories. Unlike $\lambda$-calculus, the syntax of this calculus sticks closely to the syntax of proofs, in particular, no names…
Some symmetry problems are formulated and solved. New simple proofs are given for the earlier studied symmetry problems.
Translation of the paper ``Simplizialzerlegungen von Beschrankter Flachheit'' by Hans Freudenthal (https://doi.org/10.2307/1968813), in which Freudenthal answers ``a question by Brouwer about the construction of an infinite series of…
In two preceding articles, we studied the problem of the existence and uniqueness of a solution to some general BSDE on manifolds. In these two articles, we assumed some Lipschitz conditions on the drift $f(b,x,z)$. The purpose of this…
In this paper I present a kind of proof for classical Euclidean geometric problems which relies on both synthetic and analytic geometry. Using the elementary tools of polynomial algebra and multivariate calculus we manage to reduce the…
This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are…
This article contains the proof of a theorem on orthogonal-Pin duality that was cited without proof in a previous article in this journal.
We translate in semigroup theory Bismut's way of the Malliavin calculus.
For a tuple $A=(A_1,\ A_2,\ ...,\ A_n)$ of elements in a unital algebra ${\mathcal B}$ over $\mathbb{C}$, its {\em projective spectrum} $P(A)$ or $p(A)$ is the collection of $z\in \mathbb{C}^n$, or respectively $z\in \mathbb{P}^{n-1}$ such…
For any natural number $n \geq 2$, we construct a triangulated monoidal category whose Grothendieck ring is isomorphic to the ring of cyclotomic integers $\mathbb{O}_n$.
I argue for a full mathematisation of the physical theory, including its axioms, which must contain no physical primitives. In provocative words: "physics from no physics". Although this may seem an oxymoron, it is the royal road to keep…
The recent non-calculus proof of Kepler's first law succeeds because of an obscure, but valid property of the ellipse.
We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…
We present a partial description of which polytopes are reconstructible from their graphs. This is an extension of work by Blind and Mani (1987) and Kalai (1988), which showed that simple polytopes can be reconstructed from their graphs. In…
System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the…
This report provides an overview of theorems and statements related to a conjecture stated by D.W. Barnette in 1969 (which is an open problem in graph theory): Every cubic, bipartite, polyhedral graph contains a Hamilton cycle.
A long-standing, unanswered question regarding Euclid's Elements concerns the absence of a theorem for the concurrence of the altitudes of a triangle, and the possible reasons for this omission. In the centuries following Euclid, a…