Abstract
We use the notions of effective dimension and Kolmogorov complexity to describe a geometry on the set of infinite binary sequences. Geometric concepts that we define and use include angle, projections and scalar multiplication. A question related to compressibility is addressed using these ideas.
| Original language | English |
|---|---|
| Journal | Journal of Symbolic Logic |
| State | Published - 2011 |