Browse

Claims

Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.

5 claims

Density notions for subsets of the positive integers — logarithmic, natural, and Dirichlet densities — and density-one 'almost all' statements about integer sequences or arithmetic functions. Claims in which a specific density notion is the measure in an asymptotic statement belong here; general real-variable measure theory and claims that merely mention density in passing do not.

For any function f tending to infinity, almost all N in logarithmic density have Collatz orbit minimum below f(N).

VerifiedThe claim traces to reliable primary sources through a clear chain of evidence.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Collatz conjecture Number theoryimportance · minorImportance 0.25, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

For almost all N in natural density, the Collatz orbit of N drops below N.

VerifiedThe claim traces to reliable primary sources through a clear chain of evidence.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Collatz conjecture Number theoryimportance · settledImportance 0.15, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

The sumset of the integers with only digits 0 and 1 in base 3 and those with only digits 0 and 1 in base 4 has lower density zero.

UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Additive combinatorics Integers with restricted digitsimportance · settledImportance 0.15, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

Almost all even numbers are the sum of two primes, in the sense that the exceptional set has density zero.

UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Goldbach's conjecture Number theoryimportance · settledImportance 0.15, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

For almost all N, Col_min(N) is below N^θ for any fixed θ greater than log3/log4 ≈ 0.7924.

UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Collatz conjecture Number theoryimportance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

Contribute

If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.