セミナー

談話会

タイトル 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
資料
URL

PAGETOP