@article{Ben-DavidHrubesMoranShpilkaYehudayoff:2019,
    Abstract = {The mathematical foundations of machine learning play a key role in the development of the field. They improve our understanding and provide tools for designing new learning paradigms. The advantages of mathematics, however, sometimes come with a cost. G{\"o}del and Cohen showed, in a nutshell, that not everything is provable. Here we show that machine learning shares this fate. We describe simple scenarios where learnability cannot be proved nor refuted using the standard axioms of mathematics. Our proof is based on the fact the continuum hypothesis cannot be proved nor refuted. We show that, in some cases, a solution to the `estimating the maximum'problem is equivalent to the continuum hypothesis. The main idea is to prove an equivalence between learnability and compression.},
    Author = {Ben-David, Shai and Hrube{\v s}, Pavel and Moran, Shay and Shpilka, Amir and Yehudayoff, Amir},
    File = {s42256-018-0002-3 (0) (0) - a - a - o.pdf},
    ISBN = {2522-5839},
    Journal = {Nature Machine Intelligence},
    Number = {1},
    Pages = {44--48},
    Title = {Learnability can be undecidable},
    URL = {https://doi.org/10.1038/s42256-018-0002-3},
    Volume = {1},
    Year = {2019},
    bdsk-url-1 = {https://doi.org/10.1038/s42256-018-0002-3},
    bdsk-url-2 = {https://www.nature.com/articles/s42256-018-0002-3},
    da = {2019/01/01},
    date-added = {2019-01-13 11:00:31 +0100},
    date-modified = {2019-01-13 11:00:31 +0100},
    id = {Ben-David2019},
    ty = {JOUR},
    doi = {10.1038/s42256-018-0002-3}
}

@article{Ben-DavidHrubesMoranShpilkaYehudayoff:2019, Abstract = {The mathematical foundations of machine learning play a key role in the development of the field. They improve our understanding and provide tools for designing new learning paradigms. The advantages of mathematics, however, sometimes come with a cost. G{\"o}del and Cohen showed, in a nutshell, that not everything is provable. Here we show that machine learning shares this fate. We describe simple scenarios where learnability cannot be proved nor refuted using the standard axioms of mathematics. Our proof is based on the fact the continuum hypothesis cannot be proved nor refuted. We show that, in some cases, a solution to the `estimating the maximum'problem is equivalent to the continuum hypothesis. The main idea is to prove an equivalence between learnability and compression.}, Author = {Ben-David, Shai and Hrube{\v s}, Pavel and Moran, Shay and Shpilka, Amir and Yehudayoff, Amir}, File = {s42256-018-0002-3 (0) (0) - a - a - o.pdf}, ISBN = {2522-5839}, Journal = {Nature Machine Intelligence}, Number = {1}, Pages = {44--48}, Title = {Learnability can be undecidable}, URL = {https://doi.org/10.1038/s42256-018-0002-3}, Volume = {1}, Year = {2019}, bdsk-url-1 = {https://doi.org/10.1038/s42256-018-0002-3}, bdsk-url-2 = {https://www.nature.com/articles/s42256-018-0002-3}, da = {2019/01/01}, date-added = {2019-01-13 11:00:31 +0100}, date-modified = {2019-01-13 11:00:31 +0100}, id = {Ben-David2019}, ty = {JOUR}, doi = {10.1038/s42256-018-0002-3} }