Chapter 12: The Principle of Computational Equivalence

Section 9: Implications for Mathematics and Its Foundations

General topology [and axioms]

The axioms given define properties of open sets of points in spaces—and in effect allow issues like connectivity and continuity to be discussed in terms of set theory without introducing any explicit distance function.

From Stephen Wolfram: A New Kind of Science [citation]