Related papers: On Theodorus' lesson in the Theaetetus 147d-e
In this paper, I present a critical discussion of mathematical arguments employed in the philosophy of event of Alain Badiou. On the basis of "Being and Event" as well as his other writings, I analyze the main notions of his philosophy such…
In this paper, we study the hybrid problem of Hua's theorem and the Piatetski-Shapiro prime number theorem, and obtain results in this direction of the nonhomogeneous case $k=3$, which deepen the classical result of Hua.
It is a widespread belief that results like G\"odel's incompleteness theorems or the intrinsic randomness of quantum mechanics represent fundamental limitations to humanity's strive for scientific knowledge. As the argument goes, there are…
We study the asymptotic size of decompositions of tensor powers of tilting modules for quantum groups (mostly at a complex root of unity). In type A1 we obtain a sharp result for the number of indecomposable summands, explained by a one…
This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a…
The irrational torus, $\mathrm{T}_\alpha$, originally introduced as a geometric model for quasicrystals, is a foundational object in the theory of diffeology. This paper, after recalling its main algebraic properties, provides a…
We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previous characterizations in terms of the behavior of finite…
These notes are an expanded version of the lectures held in Tromso, in May 2025 at the "Lie-Stormer Summer School : Invariant Theory from classics to modern developments", in the framework of TiME events. We emphasize the analogy between…
In this paper we obtain a sharp upper bound for the number of solutions to a certain diophantine inequality involving fractions with power denominator. This problem is motivated by a conjecture of Zhao concerning the spacing of such…
In this paper, we argue that formal systems of first order Arithmetic that admit Goedelian undecidable propositions validly are abnormally non-constructive. We argue that, in such systems, the strong representation of primitive recursive…
The lectures are devoted to a remarkable class of $3$-dimensional polytopes, which are mathematical models of the important object of quantum physics, quantum chemistry and nanotechnology -- fullerenes. The main goal is to show how results…
We overview some results on distributed learning with focus on a family of recently proposed algorithms known as non-Bayesian social learning. We consider different approaches to the distributed learning problem and its algorithmic…
The problem of the "common inessential discriminant divisors" attracted the attention of Dedekind, Kronecker, and Hensel in the early days of algebraic number theory. Four sources are particularly important: Dedekind's announcement, in…
We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a certain property F, and A does in fact have the property F; therefore A is…
We give an elementary proof of Brouwer's fixed-point theorem. The only mathematical prerequisite is a version of the Bolzano-Weierstrass theorem: a sequence in a compact subset of $n$-dimensional Euclidean space has a convergent subsequence…
In this paper, we prove a KAM theorem in a-posteriori format, using the parameterization method to look invariant tori in non-autonomous Hamiltonian systems with $n$ degrees of freedom that depend periodically or quasi-periodically (QP) on…
Our main result (Theorem A) shows the incompleteness of any consistent sequential theory T formulated in a finite language such that T is axiomatized by a collection of sentences of bounded quantifier-alternation-depth. Our proof employs an…
An important part of the influential Humean doctrine in philosophy is the supervenience principle (sometimes referred to as the principle of separability). This principle asserts that the complete state of the world supervenes on the…
This paper is concerned with the inhomogeneous incompressible Euler system. We establish a Duchon--Robert type approximation theorem for the distribution describing the local energy flux of bounded solutions. The velocity field is assumed…
The following result, a consequence of Dumas criterion for irreducibility of polynomials over integers, is generally proved using the notion of Newton diagram: Let $f(x)$ be a polynomial with integer coefficients and $k$ be a positive…