Related papers: La Notion D'irrationalit\'E Selon Un Math\'Ematici…
The analytical aspects of the "Trait\'e des \'equations" of Sharaf al-D\^in al-T\^us\^i (2nd half of the XIIth century) have been underlined by R. Rashed (1974, 1986). In the present paper, we consider again some of those aspects, when…
To account for the first proof of existence of an irrational magnitude, historians of science as well as commentators of Aristotle refer to the texts on the incommensurability of the diagonal in Prior Analytics, since they are the most…
This book is a critical edition of a treatise of astronomy by the Syrian scholar Ibn al-\v{S}\=atir (1304-1375). The Arabic text has been established on the basis of several manuscript copies, and it has been translated into French; a…
When people mention the mathematical achievements of Euclid, his geometrical achievements always spring to mind. But, his Number-Theoretical achievements (See Books 7, 8 and 9 in his magnum opus \emph{Elements} [1]) are rarely spoken. The…
In this paper, we reconstruct Euclid's theory of similar triangles, as developed in Book VI of the \textit{Elements}, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmielew, Millman…
Barry Mazur published an article some year ago, where he showed, among other things, that the result in the so-called mathematical passage of Plato s Theatetus and Euclid s proposition X.9 in the Elements are very different, while almost…
Euclid uses an undefined notion of "equal figures", to which he applies the common notions about equals added to equals or subtracted from equals. When (in previous work) we formalized Euclid Book~I for computer proof-checking, we had to…
The initial techniques developed in Euclid's Elements, well before the use of the parallel postulate, are reexamined in order to clarify even the most obscure details, particularly those related to equality, superposition and angle…
Euclid pioneered the concept of a mathematical theory developed from axioms by a series of justified proof steps. From the outset there were critics and improvers. In this century the use of computers to check proofs for correctness sets a…
Omar Khayyam's treatment of cubic equations by intersections of conic sections has often been read as an anticipation of analytic or coordinate geometry. This paper argues that such a reading obscures the conceptual structure of Khayyam's…
In this small note I try to summarize some observations about Euclid's remarkable role in mathematics and about the ambient philosophy.
We explore the relationship between Brouwer's intuitionistic mathematics and Euclidean geometry. Brouwer wrote a paper in 1949 called "The contradictority of elementary geometry". In that paper, he showed that a certain classical…
Mathematicians have long been fascinated by the resolution of algebraic and Diophantine equations in search of integer or rational solutions. This article presents a list of thirty-three open problems in number theory, posed in the 13th…
French translation, by Henri Lombardi and Stefan Neuwirth, of the article "Did Euclid need the Euclidean algorithm to prove unique factorization?", American Mathematical Monthly 113 (2006), pages 196-205.
This is the paper "Niels Henrik Abel and the birth of fractional calculus", Podlubny, I., Magin, R. L., Trymorush I., Fractional Calculus and Applied Analysis, vol.20, no.5, pp.1068-1075, 2017 (https://doi.org/10.1515/fca-2017-0057) with…
The purpose of the work is to furnish a complete study of a discrete and special function, discovered by the author and named with the Arabian letter "SHIN" {The letter SHIN is the thirteenth letter of the Arabian alphabet}. It includes…
Book Review of Quantum Field Theory by Lewis H. Ryder. An observation on Ryder's derivation of Dirac equation is made. The review ends as, "A rare combination of a thorough understanding and appreciation of the essential logical structure…
Exploring selected reductio ad absurdum proofs in Book 1 of the Elements, we show they include figures that are not constructed. It is squarely at odds with Hartshorne's claim that "in Euclid's geometry, only those geometrical figures exist…
Let $K$ be a perfectoid field. We describe all quotient fields of the perfectoid Tate algebra\begin{equation*}T_{n,K}^{\text{perfd}}=K\langle X_{1}^{1/p^{\infty}},\dots, X_{n}^{1/p^{\infty}}\rangle\end{equation*}in any number $n\geq1$ of…
In this paper, we study the so-called 'Mathematical part' of Plato's Theaetetus. Its subject concerns the incommensurability of certain magnitudes, in modern terms the question of the rationality or irrationality of the square roots of…