Polignac Conjecture Checker
Bounded off line reference: Polignac open conjecture statement/scope, no decidability claim. Topics: statement, scope. Not live/exhaustive reference, a proof of an open assertion, diagnosis or safe-use approval.
Description
Polignac's conjecture concerns infinitely recurring consecutive-prime gaps of each positive even size.
Polignac's conjecture concerns infinitely recurring consecutive-prime gaps of each positive even size.1
This tool returns a stored statement and scope explanation without deciding an infinite assertion from finite data.
When to use Polignac Conjecture Checker
Read a bounded educational reference for one of the supported topics.
How to use Polignac Conjecture Checker and how it works
- Choose a supported exact topic from the table below.
- Enter that topic token and run the tool.
- Read result.text and its scope or precision limitations.
- Correct an unsupported token before rerunning; use an independently applicable reference when more detail or current evidence is required.
| Input field | Meaning | Value type | Requirement |
|---|---|---|---|
| topic | Topic. Use the units and matching context stated in the calculation below. | string | Required; other constraints below |
Choose one exact case-sensitive topic: statement, scope. The implementation matches that token to a stored text record and returns result.text unchanged. Unknown tokens, blank strings and wrong input types are errors; no case folding or live lookup occurs. These are bounded educational records, not a calculation from observations, a proof search, a patient assessment or an arbitrary-precision value. The supported topic inventory below identifies the available records.
text=storedInventory[exactTopic] Apply the input ordering, units and branch conditions stated above.
| Exact topic token | Record selected |
|---|---|
| statement | Stored statement reference. |
| scope | Stored scope reference. |
| Output field | Meaning | Value type |
|---|---|---|
| result | Object containing the calculated or selected fields below. | object |
| result.text | Exact stored educational record selected by the supported topic token. | string |
{
"input": {
"topic": "statement"
},
"output": {
"result": {
"text": "Every positive even integer is conjectured to occur infinitely often as a consecutive-prime gap."
}
}
}Limitations and assumptions
This is a stored text inventory. It does not calculate from measurements, obtain live data, prove an infinite assertion, classify a patient or certify arbitrary precision.
All fields require explicit values. Unexpected fields, wrong types, nonfinite numbers and sparse arrays are rejected. Alignment, bounds and supported-token rules are explained above; extremely large inputs or nonfinite results can also fail. Input errors differ from successful false comparisons, unavailable-domain flags and empty match lists.
Alternative or Complementary methods
Use Schinzel Hypothesis H Checker for a complementary operation: Schinzel's hypothesis H is an infinite assertion about suitable integer polynomial families.
Use Hardy-Littlewood Conjecture Checker for a complementary operation: A prime k-tuples conjecture concerns asymptotic counts under local admissibility conditions.
References
-
Polignac Conjecture Checker — tool.io
Similar or alternative tools
- Schinzel Hypothesis H Checker
Schinzel's hypothesis H is an infinite assertion about suitable integer polynomial families.
- Hardy-Littlewood Conjecture Checker
A prime k-tuples conjecture concerns asymptotic counts under local admissibility conditions.