In this paper, we formalize and prove the statement that coincidences canno
t be accidental, a statement that underlies many useful heuristics in mathe
matics and physics.
Our proof uses a version of Kolmogorov complexity, a technique originally d
eveloped to describe randomness and "accidentalness."