Document (#41688)

Author
Reyzin, L.
Title
Unprovability comes to machine learning
Issue
[07.01.2019].
Source
https://www.nature.com/articles/d41586-019-00012-4 [https://doi.org/10.1038/d41586-019-00012-4]
Year
2019
Series
News and views
Abstract
Scenarios have been discovered in which it is impossible to prove whether or not a machine-learning algorithm could solve a particular problem. This finding might have implications for both established and future learning algorithms. Machine learning has matured as a mathematical discipline and now joins the many subfields of mathematics that deal with the burden of unprovability and the unease that comes with it. Perhaps results such as this one will bring to the field of machine learning a healthy dose of humility, even as machine-learning algorithms continue to revolutionize the world around us.
Field
Informatik
Mathematische Logik

Similar documents (content)

  1. Yu, N.: Exploring co-training strategies for opinion detection (2014) 0.17 
    0.16724515 = sum of:
  0.16724515 = product of:
    0.5973041 = sum of:
      0.03395368 = weight(abstract_txt:algorithm in 1503) [ClassicSimilarity], result of:
        0.03395368 = score(doc=1503,freq=1.0), product of:
          0.09521799 = queryWeight, product of:
            5.705423 = idf(docFreq=399, maxDocs=44218)
            0.016689032 = queryNorm
          0.35658893 = fieldWeight in 1503, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.705423 = idf(docFreq=399, maxDocs=44218)
            0.0625 = fieldNorm(doc=1503)
      0.038773682 = weight(abstract_txt:deal in 1503) [ClassicSimilarity], result of:
        0.038773682 = score(doc=1503,freq=1.0), product of:
          0.10402853 = queryWeight, product of:
            1.0452417 = boost
            5.963546 = idf(docFreq=308, maxDocs=44218)
            0.016689032 = queryNorm
          0.3727216 = fieldWeight in 1503, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.963546 = idf(docFreq=308, maxDocs=44218)
            0.0625 = fieldNorm(doc=1503)
      0.012033043 = weight(abstract_txt:have in 1503) [ClassicSimilarity], result of:
        0.012033043 = score(doc=1503,freq=1.0), product of:
          0.060078822 = queryWeight, product of:
            1.1233529 = boost
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.016689032 = queryNorm
          0.20028761 = fieldWeight in 1503, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.0625 = fieldNorm(doc=1503)
      0.05068898 = weight(abstract_txt:solve in 1503) [ClassicSimilarity], result of:
        0.05068898 = score(doc=1503,freq=1.0), product of:
          0.12437606 = queryWeight, product of:
            1.1429018 = boost
            6.5207376 = idf(docFreq=176, maxDocs=44218)
            0.016689032 = queryNorm
          0.4075461 = fieldWeight in 1503, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.5207376 = idf(docFreq=176, maxDocs=44218)
            0.0625 = fieldNorm(doc=1503)
      0.06799677 = weight(abstract_txt:algorithms in 1503) [ClassicSimilarity], result of:
        0.06799677 = score(doc=1503,freq=1.0), product of:
          0.19060309 = queryWeight, product of:
            2.0008774 = boost
            5.707926 = idf(docFreq=398, maxDocs=44218)
            0.016689032 = queryNorm
          0.35674536 = fieldWeight in 1503, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.707926 = idf(docFreq=398, maxDocs=44218)
            0.0625 = fieldNorm(doc=1503)
      0.19012772 = weight(abstract_txt:machine in 1503) [ClassicSimilarity], result of:
        0.19012772 = score(doc=1503,freq=2.0), product of:
          0.40750977 = queryWeight, product of:
            4.6258817 = boost
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.016689032 = queryNorm
          0.4665599 = fieldWeight in 1503, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.0625 = fieldNorm(doc=1503)
      0.20373023 = weight(abstract_txt:learning in 1503) [ClassicSimilarity], result of:
        0.20373023 = score(doc=1503,freq=3.0), product of:
          0.39613336 = queryWeight, product of:
            4.9961658 = boost
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.016689032 = queryNorm
          0.51429707 = fieldWeight in 1503, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.0625 = fieldNorm(doc=1503)
    0.28 = coord(7/25)
  2. Pong, J.Y.-H.; Kwok, R.C.-W.; Lau, R.Y.-K.; Hao, J.-X.; Wong, P.C.-C.: ¬A comparative study of two automatic document classification methods in a library setting (2008) 0.15 
    0.14612749 = sum of:
  0.14612749 = product of:
    0.73063743 = sum of:
      0.058809496 = weight(abstract_txt:algorithm in 2532) [ClassicSimilarity], result of:
        0.058809496 = score(doc=2532,freq=3.0), product of:
          0.09521799 = queryWeight, product of:
            5.705423 = idf(docFreq=399, maxDocs=44218)
            0.016689032 = queryNorm
          0.6176301 = fieldWeight in 2532, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            5.705423 = idf(docFreq=399, maxDocs=44218)
            0.0625 = fieldNorm(doc=2532)
      0.012033043 = weight(abstract_txt:have in 2532) [ClassicSimilarity], result of:
        0.012033043 = score(doc=2532,freq=1.0), product of:
          0.060078822 = queryWeight, product of:
            1.1233529 = boost
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.016689032 = queryNorm
          0.20028761 = fieldWeight in 2532, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.0625 = fieldNorm(doc=2532)
      0.09616195 = weight(abstract_txt:algorithms in 2532) [ClassicSimilarity], result of:
        0.09616195 = score(doc=2532,freq=2.0), product of:
          0.19060309 = queryWeight, product of:
            2.0008774 = boost
            5.707926 = idf(docFreq=398, maxDocs=44218)
            0.016689032 = queryNorm
          0.5045141 = fieldWeight in 2532, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.707926 = idf(docFreq=398, maxDocs=44218)
            0.0625 = fieldNorm(doc=2532)
      0.3006183 = weight(abstract_txt:machine in 2532) [ClassicSimilarity], result of:
        0.3006183 = score(doc=2532,freq=5.0), product of:
          0.40750977 = queryWeight, product of:
            4.6258817 = boost
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.016689032 = queryNorm
          0.73769593 = fieldWeight in 2532, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.0625 = fieldNorm(doc=2532)
      0.2630146 = weight(abstract_txt:learning in 2532) [ClassicSimilarity], result of:
        0.2630146 = score(doc=2532,freq=5.0), product of:
          0.39613336 = queryWeight, product of:
            4.9961658 = boost
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.016689032 = queryNorm
          0.66395473 = fieldWeight in 2532, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.0625 = fieldNorm(doc=2532)
    0.2 = coord(5/25)
  3. Schöneberg, U.; Sperber, W.: POS tagging and its applications for mathematics (2014) 0.14 
    0.14419606 = sum of:
  0.14419606 = product of:
    0.7209803 = sum of:
      0.08274166 = weight(abstract_txt:mathematical in 1748) [ClassicSimilarity], result of:
        0.08274166 = score(doc=1748,freq=2.0), product of:
          0.11793986 = queryWeight, product of:
            1.1129376 = boost
            6.3497796 = idf(docFreq=209, maxDocs=44218)
            0.016689032 = queryNorm
          0.7015581 = fieldWeight in 1748, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.3497796 = idf(docFreq=209, maxDocs=44218)
            0.078125 = fieldNorm(doc=1748)
      0.021271614 = weight(abstract_txt:have in 1748) [ClassicSimilarity], result of:
        0.021271614 = score(doc=1748,freq=2.0), product of:
          0.060078822 = queryWeight, product of:
            1.1233529 = boost
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.016689032 = queryNorm
          0.35406178 = fieldWeight in 1748, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.078125 = fieldNorm(doc=1748)
      0.11796326 = weight(abstract_txt:mathematics in 1748) [ClassicSimilarity], result of:
        0.11796326 = score(doc=1748,freq=3.0), product of:
          0.13051042 = queryWeight, product of:
            1.1707472 = boost
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.016689032 = queryNorm
          0.90386087 = fieldWeight in 1748, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.078125 = fieldNorm(doc=1748)
      0.29107243 = weight(abstract_txt:machine in 1748) [ClassicSimilarity], result of:
        0.29107243 = score(doc=1748,freq=3.0), product of:
          0.40750977 = queryWeight, product of:
            4.6258817 = boost
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.016689032 = queryNorm
          0.714271 = fieldWeight in 1748, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.078125 = fieldNorm(doc=1748)
      0.20793131 = weight(abstract_txt:learning in 1748) [ClassicSimilarity], result of:
        0.20793131 = score(doc=1748,freq=2.0), product of:
          0.39613336 = queryWeight, product of:
            4.9961658 = boost
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.016689032 = queryNorm
          0.5249023 = fieldWeight in 1748, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.078125 = fieldNorm(doc=1748)
    0.2 = coord(5/25)
  4. Dietterich, T.G.: Machine-learning research : four current directions (1997) 0.14 
    0.1396356 = sum of:
  0.1396356 = product of:
    1.16363 = sum of:
      0.16999193 = weight(abstract_txt:algorithms in 3321) [ClassicSimilarity], result of:
        0.16999193 = score(doc=3321,freq=1.0), product of:
          0.19060309 = queryWeight, product of:
            2.0008774 = boost
            5.707926 = idf(docFreq=398, maxDocs=44218)
            0.016689032 = queryNorm
          0.8918634 = fieldWeight in 3321, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.707926 = idf(docFreq=398, maxDocs=44218)
            0.15625 = fieldNorm(doc=3321)
      0.33610147 = weight(abstract_txt:machine in 3321) [ClassicSimilarity], result of:
        0.33610147 = score(doc=3321,freq=1.0), product of:
          0.40750977 = queryWeight, product of:
            4.6258817 = boost
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.016689032 = queryNorm
          0.82476914 = fieldWeight in 3321, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.15625 = fieldNorm(doc=3321)
      0.65753657 = weight(abstract_txt:learning in 3321) [ClassicSimilarity], result of:
        0.65753657 = score(doc=3321,freq=5.0), product of:
          0.39613336 = queryWeight, product of:
            4.9961658 = boost
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.016689032 = queryNorm
          1.6598868 = fieldWeight in 3321, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.15625 = fieldNorm(doc=3321)
    0.12 = coord(3/25)
  5. Li, Y.; Shawe-Taylor, J.: Advanced learning algorithms for cross-language patent retrieval and classification (2007) 0.13 
    0.1342556 = sum of:
  0.1342556 = product of:
    0.8390975 = sum of:
      0.042442102 = weight(abstract_txt:algorithm in 931) [ClassicSimilarity], result of:
        0.042442102 = score(doc=931,freq=1.0), product of:
          0.09521799 = queryWeight, product of:
            5.705423 = idf(docFreq=399, maxDocs=44218)
            0.016689032 = queryNorm
          0.44573617 = fieldWeight in 931, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.705423 = idf(docFreq=399, maxDocs=44218)
            0.078125 = fieldNorm(doc=931)
      0.16999193 = weight(abstract_txt:algorithms in 931) [ClassicSimilarity], result of:
        0.16999193 = score(doc=931,freq=4.0), product of:
          0.19060309 = queryWeight, product of:
            2.0008774 = boost
            5.707926 = idf(docFreq=398, maxDocs=44218)
            0.016689032 = queryNorm
          0.8918634 = fieldWeight in 931, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            5.707926 = idf(docFreq=398, maxDocs=44218)
            0.078125 = fieldNorm(doc=931)
      0.23765965 = weight(abstract_txt:machine in 931) [ClassicSimilarity], result of:
        0.23765965 = score(doc=931,freq=2.0), product of:
          0.40750977 = queryWeight, product of:
            4.6258817 = boost
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.016689032 = queryNorm
          0.58319986 = fieldWeight in 931, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.2785225 = idf(docFreq=612, maxDocs=44218)
            0.078125 = fieldNorm(doc=931)
      0.38900384 = weight(abstract_txt:learning in 931) [ClassicSimilarity], result of:
        0.38900384 = score(doc=931,freq=7.0), product of:
          0.39613336 = queryWeight, product of:
            4.9961658 = boost
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.016689032 = queryNorm
          0.98200226 = fieldWeight in 931, product of:
            2.6457512 = tf(freq=7.0), with freq of:
              7.0 = termFreq=7.0
            4.750873 = idf(docFreq=1038, maxDocs=44218)
            0.078125 = fieldNorm(doc=931)
    0.16 = coord(4/25)