Related papers: Comprendre les math\'ematiques pour comprendre Pla…
I offer a revisionist interpretation of Galileo's role in the history of science. My overarching thesis is that Galileo lacked technical ability in mathematics, and that this can be seen as directly explaining numerous aspects of his life's…
The continued fraction expansion of an irrational number $\alpha$ is eventually periodic if and only if $\alpha$ is a quadratic irrationality. However, very little is known regarding the size of the partial quotients of algebraic real…
New formulas for approximation of zeta-constants were derived on the basis of a number-theoretic approach constructed for the irrationality proof of certain classical constants. Using these formulas it's possible to approximate certain…
This introduction begins with a section on fundamental notions of mathematical logic, including propositional logic, predicate or first-order logic, completeness, compactness, the L\"owenheim-Skolem theorem, Craig interpolation, Beth's…
An important component of Ap\'ery's proof that $\zeta (3)$ is irrational involves representing $\zeta (3)$ as the limit of the quotient of two rational solutions to a three-term recurrence. We present various approaches to such Ap\'ery…
One of the outstanding problems of philosophy of science and mathematics today is whether there is just "one" unique mathematics or the same can be bifurcated into "pure" and "applied" categories. A novel solution for this problem is…
This paper includes notes to accompany a reading of Thue's 1914 paper "Probleme uber Veranderungen von Zeichenreihen nach gegebenen Reglen", along with a translation of that paper. Thue's 1914 paper is mainly famous for proving an early…
The unique and beautiful character of certain mathematical results and proofs is often considered one of the most gratifying aspects of engaging with mathematics. We study whether this perception of mathematical arguments having an…
Any intermediate propositional logic (i.e., a logic including intuitionistic logic and contained in classical logic) can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in…
Linear logic was conceived in 1987 by Girard and, in contrast to classical logic, restricts the usage of the structural inference rules of weakening and contraction. With this, atoms of the logic are no longer interpreted as truth, but as…
A folklore proof of Euclid's theorem on the infinitude of primes uses the Euler product and the irrationality of $\zeta(2) = \pi^2/6$. A quantified form of Euclid's Theorem is Bertrand's postulate $p_{n+1} < 2p_n$. By quantifying the…
This paper traces an intellectual journey or \textit{Way} (in the sense of a Tao) that starts with some unfinished work of Gian-Carlo Rota on making a logic of equivalence relations or partitions. Rota understood the category-theoretic…
The analogue of Hilbert's tenth problem over $\mathbb{Q}$ asks for an algorithm to decide the existence of rational points in algebraic varieties over this field. This remains as one of the main open problems in the area of undecidability…
Do we have two kinds of reality: physical and mathematical? What is the role of mathematics in physics? These fundamental questions have intrigued original and brilliant minds since ancient times. A recent article (Aharonov, Cohen and…
Some Goedel centenary reflections on whether incompleteness is really serious, and whether mathematics should be done somewhat differently, based on using algorithmic complexity measured in bits of information. [Enriques lecture given…
Being mathematics a natural language to Mankind and to physics, it must be constantly adapted to our necessities and our natural perception. Then, mathematical concepts are not absolute to reality. Although mathematical theories are…
In this note we show that in addition to two integers forming a Pythagorean triple, there also exist two irrational numbers in terms of which this Pythagorean triple can also be obtained. We also put forward a relation between these two…
Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to…
I develop a new view of the structure of space--called infinitesimal atomism--as a reply to Zeno's paradox of measure. According to this view, space is composed of ultimate parts with infinitesimal size, where infinitesimals are understood…
The classical platonist/formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: is new mathematics discovered or invented? Using an example from my own mathematical life, I argue that…