機械学習と連続体仮説。純粋数学が何に応用されるか誰にも予測できない - Fuji Haruka's blog

機械学習の分野にも「解決できるかどうか証明も反証もできない問題」が存在することが発見され、その論文が話題になっている。 機械学習によって解決できるかどうかが証明不可能な学習モデルが発見される - GIGAZINE Learnability can be undecidable | Nature Machine Intelligence 論文『Learnability can be undecidable（学習可能性は決定不能でありうる）』は、連続体仮説に言及していて、連続体仮説を使ってある抽象的な機械学習に関する問題が通常の数学の公理系では「証明」も「反証」もできないということを証明している。 連続体仮説には思い入れがあって、一時期 『集合論―独立性証明への案内』 を頑張って読んでいた（読めたとは言っていない）。今も実家にはその勉強ノートが何冊か眠っている。 興味津々で GIGAZIN

[fuji_haruka]

書いた

[nobububu]

停止性問題を知らなくても実用的なユニットテストは書けると思うので、ちょっと大げさ。エネルギー保存則を知っていれば永久機関は有り得ないとすぐ気付く的な安心感はあるが。

[kei_mi]

“学問の知見がどこでどういうふうに役立つのかは誰にも事前に予測できないのだから、役立つとわかっている分野にだけ集中的に投資するのは、愚かであるという以前に不可能だろう”

[y-mat2006]

当たりくじだけ買いたいでは、なぜあかんのかと言うこと。