Related papers: Understanding Fermat's Last Theorem's Proofs
This report presents a formalization of May's theorem in the proof assistant Coq. It describes how the theorem statement is first translated into Coq definitions, and how it is subsequently proved. Various aspects of the proof and related…
Using modularity, level lowering, and explicit computations with Hilbert modular forms, Galois representations and ray class groups, we show that for $3 \le d \le 23$ squarefree, $d \ne 5$, $17$, the Fermat equation $x^n+y^n=z^n$ has no…
In comparison with the previous version of this paper, the Introduction is slightly changed and some minor typos are deleted. All results are unchanged.
We comment on some apparently weak points in the novel strategies recently developed by various authors aiming at a proof of the Riemann hypothesis. After noting the existence of relevant previous papers where similar tools have been used,…
This paper is submitted to Algebraic-Number-Theory Archives for validation by Number Theorists Community. It is an update of the previous versions ANT-0155, ANT-0170, ANT-0205, ANT-0237, ANT-0321, ANT-0333, and ANT-0356, of which the first…
We present a solution of Exercise 1.2.1 of [2] which yields a short new proof of a key step in one of proofs of Brouwer's fixed point theorem, 1910. A few people asked the author about the details of the solution and they might be…
In this paper we obtain bounds for integer solutions of quadratic polynomials in two variables that represent a natural number. Also we get some results on twin prime numbers. In addition, we use linear functionals to prove some results of…
We give a proof of Fermat's little theorem which does not use nor arithmetic(Euclidean algorithm) neither algebra (group theory), but it rather employs the field of the formal power series Q((x)). The note is an example of a mathematical…
This paper deals with the ways that the issue of completing quantum mechanics was brought into laboratories and became a topic in mainstream quantum optics. It focuses on the period between 1965, when Bell published what now we call Bell's…
Understanding of the weak force is traced from Fermi's theory of beta decay to the V-A theory of the mid 1950's. The theoretical suggestion and experimental confirmation of parity violation in the weak force is discussed. Topics are…
This paper explores some previously-unrecognized consequences of Lerch's 1905 formula for the Fermat quotient, with special attention to the sums which he introduced in this context. A generalization of his result is proved, and a new proof…
First proved my Donald Martin in 1975, the result of Borel determinacy has been the subject of multiple revised proofs. Following Martin's book [1], we present a recent streamlined proof which implements ideas of Martin, Moschovakis, and…
Wiles' proof of Fermat's last theorem initiated a powerful new approach towards the resolution of certain Diophantine equations over $\mathbb{Q}$. Numerous novel obstacles arise when extending this approach to the resolution of Diophantine…
Two centuries ago, Sophie Germain began to work on her grand plan to prove the theorem of Fermat, the famous conjecture that $x^n + y^n = z^n$ is impossible for nonzero integral values of $x$, $y$, and $z$, when $n > 2$. At that time, this…
It is an original method based on systems of prameters represented by reals which obey to an infinite descent (convergent sequences). We define calculus of quotients and they conduct quickly to a consequent result. Our own scepticism made…
The proofs first generated by automated theorem provers are far from optimal by any measure of simplicity. In this paper I describe a technique for simplifying automated proofs. Hopefully this discussion will stimulate interest in the…
Mathematical theorem proving is an important testbed for large language models' deep and abstract reasoning capability. This paper focuses on improving LLMs' ability to write proofs in formal languages that permit automated proof…
In a recent paper, Freitas and Siksek proved an asypmtotic version of Fermat's Last Theorem for many totally real fields. We prove an extension of their result to generalized Fermat equations of the form $A x^p+B y^p+ C z^p=0$, where $A$,…
The central idea of this article is to introduce and prove a special form of the zeta function as proof of Riemann's last theorem. The newly proposed zeta function contains two sub functions, namely $f_1(b,s)$ and $f_2(b,s)$. The unique…
Proof theory began in the 1920's as a part of Hilbert's program, which aimed to secure the foundations of mathematics by modeling infinitary mathematics with formal axiomatic systems and proving those systems consistent using restricted,…