Semantic Equivalenceof Representations
Thesis
- Each fundamental representation has enough expressive power to model the semantics of geometric sets
- Possible to perform all geometric operations with any fundamental representation!
Analogous to Turing-Equivalence
- But all computers today are turing-equivalent, but we still have many different processors