Metaphilosophy eJournal (Elsevier: SSRN) 12 (8):1-8 (2020)
Authors |
|
Abstract |
A proof of Fermat’s last theorem is demonstrated. It is very brief, simple, elementary, and absolutely arithmetical. The necessary premises for the proof are only: the three definitive properties of the relation of equality (identity, symmetry, and transitivity), modus tollens, axiom of induction, the proof of Fermat’s last theorem in the case of
|
Keywords | Fermat's last theorem, Wiles's proof modularity theorem, induction |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
The Relationship of Arithmetic As Two Twin Peano Arithmetic(s) and Set Theory: A New Glance From the Theory of Information.Vasil Penchev - 2020 - Metaphilosophy eJournal (Elseviers: SSRN) 12 (10):1-33.
Similar books and articles
What Does It Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory.Colin McLarty - 2010 - Bulletin of Symbolic Logic 16 (3):359-377.
What Does It Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory.Colin McLarty - 2010 - Bulletin of Symbolic Logic 16 (3):359-377.
Historical and Foundational Details on the Method of Infinite Descent: Every Prime Number of the Form 4 N + 1 is the Sum of Two Squares.Paolo Bussotti & Raffaele Pisano - 2020 - Foundations of Science 25 (3):671-702.
Fermat's Last Theorem and Catalan's Conjecture in Weak Exponential Arithmetics.Petr Glivický & Vítězslav Kala - 2017 - Mathematical Logic Quarterly 63 (3-4):162-174.
Proof-Theoretic Investigations on Kruskal's Theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
Truth and Feasible Reducibility.Ali Enayat, Mateusz Łełyk & Bartosz Wcisło - 2020 - Journal of Symbolic Logic 85 (1):367-421.
From the Four-Color Theorem to a Generalizing “Four-Letter Theorem”: A Sketch for “Human Proof” and the Philosophical Interpretation.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 12 (21):1-10.
Essay Review: Quest and Conquest: Proof of Fermat's Last Theorem.Charles J. Mozzochi - 2004 - Annals of Science 61 (1):119-126.
How Galileo Dropped the Ball and Fermat Picked It Up.Bryan W. Roberts - 2011 - Synthese 180 (3):337-356.
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-Algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
Abelian Groups and Quadratic Residues in Weak Arithmetic.Emil Jeřábek - 2010 - Mathematical Logic Quarterly 56 (3):262-278.
Generalized Partial Differential Equation and Fermat's Last Theorem.Richard L. Liboff - 2000 - Foundations of Physics 30 (5):705-708.
Unpublished Manuscripts of Sophie Germain and a Revaluation of Her Work on Fermat’s Last Theorem.Andrea Del Centina - 2008 - Archive for History of Exact Sciences 62 (4):349-392.
Analytics
Added to PP index
2020-08-19
Total views
310 ( #33,313 of 2,499,060 )
Recent downloads (6 months)
80 ( #9,416 of 2,499,060 )
2020-08-19
Total views
310 ( #33,313 of 2,499,060 )
Recent downloads (6 months)
80 ( #9,416 of 2,499,060 )
How can I increase my downloads?
Downloads