Euclid's theorem on the infinitude of primes
GPTKB entity
Statements (19)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:category |
theorems about prime numbers
|
gptkbp:dateOfProof |
circa 300 BCE
|
gptkbp:field |
number theory
|
gptkbp:generalizes |
gptkb:Dirichlet's_theorem_on_arithmetic_progressions
gptkb:Erdős's_proof_of_infinitude_of_primes gptkb:Green–Tao_theorem |
gptkbp:hasAlternativeProof |
Euler's proof using harmonic series
|
https://www.w3.org/2000/01/rdf-schema#label |
Euclid's theorem on the infinitude of primes
|
gptkbp:influenced |
number theory
|
gptkbp:provenBy |
gptkb:Euclid
proof by contradiction |
gptkbp:publishedIn |
gptkb:Elements
gptkb:Book_IX_of_Elements |
gptkbp:relatedTo |
gptkb:Euclid's_Elements
gptkb:Prime_Number |
gptkbp:state |
There are infinitely many prime numbers
|
gptkbp:bfsParent |
gptkb:Dirichlet's_theorem_on_arithmetic_progressions
|
gptkbp:bfsLayer |
5
|