# セミナー

## 談話会

タイトル Learnability and continuum hypothesis 2019年1月25日 17:00-18:00 三内顕義氏 （理研，慶應義塾大学） 慶應義塾大学矢上キャンパス　14-631A/B Shai Ben-David, et al proved that in some cases, a solution to the 'estimating the maximum' problem is equivalent to the continuum hypothesis. Hence, due to Gödel and Cohen, such problem cannot be proved nor refuted in standard mathematics. I will give a review of this paper. 'Learnability can be undecidable' published in nature machine intelligence (2019). https://www.nature.com/articles/s42256-018-0002-3