Machine learning and the Continuum Hypothesis
Klaas Pieter Hart

TL;DR
This paper explores the relationship between machine learning and set theory, highlighting connections to Kuratowski's set decompositions and proving the non-existence of a Borel measurable monotone compression function on the unit interval.
Contribution
It reveals a novel link between machine learning concepts and set-theoretic results, specifically relating to Kuratowski's theorem and measure theory.
Findings
No Borel measurable monotone compression function exists on the unit interval.
Set-theoretic machinery relates to certain forms of machine learning.
Connections between set theory and machine learning are elucidated.
Abstract
We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show that there is no Borel measurable monotone compression function on the unit interval.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Advanced Topology and Set Theory · Machine Learning and Algorithms
