Cantor's Paradise
ML algorithm to explore the infinite hierarchy of infinities
Core objective: Build a system that represents infinite set constructions, generates the iterated power-set hierarchy, and uses symbolic plus ML-assisted reasoning to classify familiar mathematical objects by cardinality level. On top of the symbolic engine is an ML algorithm that generates iterated power-set levels and searches for equivalences between familiar mathematical objects and those levels. Focus is on pattern discovery, analogy, and visualisation.
*Cover image from Wikimedia Commons.