Machine learning and the Continuum Hypothesis

zbMath1446.03085arXiv1901.04773MaRDI QIDQ5132767

Klaas Pieter Hart

Publication date: 12 November 2020

Full work available at URL: https://arxiv.org/abs/1901.04773

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Continuum hypothesis and Martin's axiom (03E50) Ordinal and cardinal numbers (03E10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

From undecidability of non-triviality and finiteness to undecidability of learnability ⋮ On a result of K. P. Hart about non-existence of measurable solutions to the discrete expectation maximization problem

This page was built for publication: Machine learning and the Continuum Hypothesis