Is Euclid's proof of the infinitude of prime numbers tautological?

Abstract

Euclid's classic proof about the infinitude of prime numbers has been a standard model of reasoning in student textbooks and books of elementary number theory. It has withstood scrutiny for over 2000 years but we shall prove that despite the deceptive appearance of its analytical reasoning it is tautological in nature. We shall argue that the proof is more of an observation about the general property of a prime numbers than an expository style of natural deduction of the proof of their infinitude.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Characterization of prime numbers in łukasiewicz's logical matrix.Alexander S. Karpenko - 1989 - Studia Logica 48 (4):465 - 478.
Notes on a formalization of the prime number theorem.Jeremy Avigad - unknown
The pursuit of the riemann hypothesis.Mark Colyvan - unknown
Visual imagery and geometric enthymeme: The example of euclid I.Keith K. Niall - 2002 - Behavioral and Brain Sciences 25 (2):202-203.
A conversation about numbers.Charles Sayward - 2002 - Philosophia 29 (1-4):191-209.
Wittgenstein on the Infinity of Primes.Timm Lampert∗ - 2008 - History and Philosophy of Logic 29 (1):63-81.
A Formally Verified Proof of the Prime Number Theorem.Jeremy Avigad, Kevin Donnelly, David Gray & Paul Raff - 2007 - ACM Transactions on Computational Logic 9 (1).
Numbers and proofs.Reg Allenby - 1997 - New York: Copublished in North, South, and Central America by John Wiley & Sons.
Prime numbers and factorization in IE1 and weaker systems.Stuart T. Smith - 1992 - Journal of Symbolic Logic 57 (3):1057 - 1085.
Bounding Prime Models.Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight & Robert I. Soare - 2004 - Journal of Symbolic Logic 69 (4):1117 - 1142.
Proofs, pictures, and Euclid.John Mumma - 2010 - Synthese 175 (2):255 - 287.
Burgess's ‘scientific’ arguments for the existence of mathematical objects.Chihara Charles - 2006 - Philosophia Mathematica 14 (3):318-337.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.

Analytics

Added to PP
2011-04-07

Downloads
1,634 (#6,278)

6 months
142 (#25,427)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Zeeshan Mahmud
Orange Coast College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references