Euclid's proof of the infinitude of primes
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematics
|
| gptkbp:appearsIn |
gptkb:Book_IX
gptkb:Elements |
| gptkbp:appearsInProposition |
gptkb:Proposition_20
|
| gptkbp:author |
gptkb:Euclid
|
| gptkbp:citation |
many mathematical texts
|
| gptkbp:date |
circa 300 BCE
|
| gptkbp:field |
number theory
|
| gptkbp:hasConcept |
if finitely many primes, their product plus one is not divisible by any of them
|
| https://www.w3.org/2000/01/rdf-schema#label |
Euclid's proof of the infinitude of primes
|
| gptkbp:influenced |
modern number theory
subsequent proofs of infinitude of primes |
| gptkbp:language |
gptkb:Ancient_Greek
|
| gptkbp:method |
proof by contradiction
|
| gptkbp:provenBy |
there are infinitely many prime numbers
|
| gptkbp:status |
classical proof
|
| gptkbp:bfsParent |
gptkb:Furstenberg's_proof_of_the_infinitude_of_primes
|
| gptkbp:bfsLayer |
5
|