Related papers: From Plato's Rational Diameter to Proclus' Elegant…
We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity. It provides a new way to automate proofs in an interactive theorem prover like Coq.
This paper introduces two complexity-theoretic formulations of Bennett's logical depth: finite-state depth and polynomial-time depth. It is shown that for both formulations, trivial and random infinite sequences are shallow, and a slow…
In this paper we attack the Erdos-Straus conjecture by means of the structure of its solutions, extending and improving the results of a previous paper. Using previous results and supported by the works of Elsholtz and Tao and Monks and…
We give a brief historical overview of the famous Pythagoras' theorem and Pythagoras. We present a simple proof of the result and dicsuss some extensions. We follow \cite{thales}, \cite{wiki} and \cite{wiki2} for the historical comments and…
The point-to-set principle of J. Lutz and N. Lutz (2018) has recently enabled the theory of computing to be used to answer open questions about fractal geometry in Euclidean spaces $\mathbb{R}^n$. These are classical questions, meaning that…
Newton's potential of a massive homogeneous ellipsoid is derived via Dirichlet's discontinuous factor. At first we review part of Dirichlet's work in an English translation of the original German, and then continue with an extension of his…
Math is widely considered as a powerful tool and its strong appeal depends on the high level of abstraction it allows in modelling a huge number of heterogeneous phenomena and problems, spanning from the static of buildings to the flight of…
We prove a metrical result on a family of conjectures related to the Littlewood conjecture, namely the original Littlewood conjecture, the mixed Littlewood conjecture of de Mathan and Teuli\'e and a hybrid between a conjecture of Cassels…
We provide some historical context to the study of solid angles carried out by Euler in his memoir \emph{De mensura angulorum solidorum} (On the measure of solid angles). We extend our study to the general notion of angle (not only solid).…
This paper is a supplement to a talk for mathematics teachers given at the 2016 LSU Mathematics Contest for High School Students. The paper covers more details and aspects than could be covered in the talk. We start with an interesting…
This mostly expository paper centers on recently proved conjectures in two areas: A) A conjecture of A. Oppenheim on the values of real indefinite quadratic forms at integral points. B) Conjectures of Dani, Raghunathan, and Margulis on…
In this paper we study the three-dimensional analogue of the relation between the irrationality exponent of a real number and the growth of its regular continued fraction partial quotients. As a multidimensional generalisation of continued…
In this paper we adopt a geometric point of view regarding a famous conjecture due to Littlewood in diophantine approximation of real numbers. Following the spirit of the geometric theory of continued fractions, we give a sufficient…
The multiplicative theory of a set of numbers (which could be natural, integer, rational, real or complex numbers) is the first-order theory of the structure of that set with (solely) the multiplication operation (that set is taken to be…
We show that cylindric partitions are in one-to-one correspondence with a pair which has an ordinary partition and a colored partition into distinct parts. Then, we show the general form of the generating function for cylindric partitions…
Let $S$ be a set of dominant rational self-maps on $\mathbb{P}^N$. We study the arithmetic and dynamical degrees of infinite sequences of $S$ obtained by sequentially composing elements of $S$ on the right and left. We then apply this…
Translated from the Latin original "Evolutio producti infiniti $(1-x)(1-xx)(1-x^3)(1x^4)(1-x^5)(1-x^6)$ etc. in seriem simplicem" (1775). E541 in the Enestroem index. In this paper Euler is revisiting his proof of the pentagonal number…
We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a…
In this paper we give an affirmative answer to the following question posed by Daryl Cooper: If one lengthens the sides of a tetrahedron by one unit, is the result still a tetrahedron and (if so) does the volume increase? Our proof involves…
Most discussions of G\"odel's theorems fall into one of two types: either they emphasize perceived philosophical, cultural "meanings" of the theorems, and perhaps sketch some of the ideas of the proofs, usually relating G\"odel's proofs to…