非真，亦非假——20世纪数学悖论入侵机器学习

大数据文摘出品编译：籍缓、胡笳、钱天培20世纪30年代，奥地利数学家Kurt Gödel向世人证明，集合论中的“连续统假设(continuum hypothesis)”既无法被证明，也无法被证伪。一个彻头彻尾的悖论。自此，这一悖论如乌云般笼罩于数学界，并给数学的根基带了革命性的改变。而今，这一朵乌云出人意料地降临到了机器学习界，或将“颠覆”机器学习理论。这一研究的最新结果已被发表于1月7日的Nature Machine Intelligence。大数据文摘后台回复“悖论”获取论文原文。那么，什么是“连续统假设(continuum hypothesis)”？这一假设对机器学习而言又意味着什么呢?近日，几位研究机器学习问题的数学家表示，“可学习性”问题——即算法能否从有限的数据中提取模式——与被称为连续统假设(continuum hypothesis)的悖论有关。 数学家Gödel曾表示，使用标准数学语言不能证明 ………………………………