Document (#40100)

Author
Ornes, S.
Title
¬Die Rettung des Riesentheorems
Source
Spektrum der Wissenschaft. 2016, H.3, S.48-55
Year
2016
Series
Gruppentheorie
Abstract
Vier alte Männer plagen sich, den längsten Beweis der Mathematik von 15 000 Seiten Umfang auf ein erträgliches Maß zu komprimieren - damit der Überblick über die Klassifikation der endlichen einfachen Gruppen nicht mit ihnen zu Grabe getragen wird.
Field
Mathematik

Similar documents (content)

  1. Heintz, B.: ¬Die Innenwelt der Mathematik : Zur Kultur und Praxis einer beweisenden Disziplin (2000) 0.32
    0.3175836 = sum of:
      0.3175836 = product of:
        0.7145631 = sum of:
          0.026872065 = weight(abstract_txt:sich in 1736) [ClassicSimilarity], result of:
            0.026872065 = score(doc=1736,freq=5.0), product of:
              0.06178313 = queryWeight, product of:
                3.5567884 = idf(docFreq=3444, maxDocs=44421)
                0.017370483 = queryNorm
              0.43494177 = fieldWeight in 1736, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                3.5567884 = idf(docFreq=3444, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1736)
          0.020282159 = weight(abstract_txt:wird in 1736) [ClassicSimilarity], result of:
            0.020282159 = score(doc=1736,freq=2.0), product of:
              0.06951182 = queryWeight, product of:
                1.0607045 = boost
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.017370483 = queryNorm
              0.29178 = fieldWeight in 1736, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1736)
          0.023164488 = weight(abstract_txt:nicht in 1736) [ClassicSimilarity], result of:
            0.023164488 = score(doc=1736,freq=2.0), product of:
              0.07595057 = queryWeight, product of:
                1.1087421 = boost
                3.9435613 = idf(docFreq=2339, maxDocs=44421)
                0.017370483 = queryNorm
              0.30499426 = fieldWeight in 1736, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.9435613 = idf(docFreq=2339, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1736)
          0.016628409 = weight(abstract_txt:über in 1736) [ClassicSimilarity], result of:
            0.016628409 = score(doc=1736,freq=1.0), product of:
              0.07671725 = queryWeight, product of:
                1.1143242 = boost
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.017370483 = queryNorm
              0.21674928 = fieldWeight in 1736, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1736)
          0.055607956 = weight(abstract_txt:damit in 1736) [ClassicSimilarity], result of:
            0.055607956 = score(doc=1736,freq=3.0), product of:
              0.11895338 = queryWeight, product of:
                1.3875653 = boost
                4.935276 = idf(docFreq=867, maxDocs=44421)
                0.017370483 = queryNorm
              0.4674769 = fieldWeight in 1736, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.935276 = idf(docFreq=867, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1736)
          0.06979058 = weight(abstract_txt:seiten in 1736) [ClassicSimilarity], result of:
            0.06979058 = score(doc=1736,freq=1.0), product of:
              0.19961375 = queryWeight, product of:
                1.7974643 = boost
                6.3932 = idf(docFreq=201, maxDocs=44421)
                0.017370483 = queryNorm
              0.34962812 = fieldWeight in 1736, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3932 = idf(docFreq=201, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1736)
          0.23878366 = weight(abstract_txt:mathematik in 1736) [ClassicSimilarity], result of:
            0.23878366 = score(doc=1736,freq=7.0), product of:
              0.23693523 = queryWeight, product of:
                1.9583029 = boost
                6.965269 = idf(docFreq=113, maxDocs=44421)
                0.017370483 = queryNorm
              1.0078014 = fieldWeight in 1736, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                6.965269 = idf(docFreq=113, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1736)
          0.26343375 = weight(abstract_txt:beweis in 1736) [ClassicSimilarity], result of:
            0.26343375 = score(doc=1736,freq=2.0), product of:
              0.3840875 = queryWeight, product of:
                2.4933321 = boost
                8.868255 = idf(docFreq=16, maxDocs=44421)
                0.017370483 = queryNorm
              0.6858691 = fieldWeight in 1736, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.868255 = idf(docFreq=16, maxDocs=44421)
                0.0546875 = fieldNorm(doc=1736)
        0.44444445 = coord(8/18)
    
  2. Manecke, H.-J.: Klassifikation, Klassieren (2004) 0.24
    0.24268782 = sum of:
      0.24268782 = product of:
        0.8736761 = sum of:
          0.017841438 = weight(abstract_txt:sich in 3902) [ClassicSimilarity], result of:
            0.017841438 = score(doc=3902,freq=3.0), product of:
              0.06178313 = queryWeight, product of:
                3.5567884 = idf(docFreq=3444, maxDocs=44421)
                0.017370483 = queryNorm
              0.28877524 = fieldWeight in 3902, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.5567884 = idf(docFreq=3444, maxDocs=44421)
                0.046875 = fieldNorm(doc=3902)
          0.017384708 = weight(abstract_txt:wird in 3902) [ClassicSimilarity], result of:
            0.017384708 = score(doc=3902,freq=2.0), product of:
              0.06951182 = queryWeight, product of:
                1.0607045 = boost
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.017370483 = queryNorm
              0.25009713 = fieldWeight in 3902, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.046875 = fieldNorm(doc=3902)
          0.014252922 = weight(abstract_txt:über in 3902) [ClassicSimilarity], result of:
            0.014252922 = score(doc=3902,freq=1.0), product of:
              0.07671725 = queryWeight, product of:
                1.1143242 = boost
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.017370483 = queryNorm
              0.1857851 = fieldWeight in 3902, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.046875 = fieldNorm(doc=3902)
          0.054781698 = weight(abstract_txt:ihnen in 3902) [ClassicSimilarity], result of:
            0.054781698 = score(doc=3902,freq=1.0), product of:
              0.18824095 = queryWeight, product of:
                1.7455089 = boost
                6.208406 = idf(docFreq=242, maxDocs=44421)
                0.017370483 = queryNorm
              0.29101902 = fieldWeight in 3902, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.208406 = idf(docFreq=242, maxDocs=44421)
                0.046875 = fieldNorm(doc=3902)
          0.7694154 = weight(title_txt:klassifikation in 3902) [ClassicSimilarity], result of:
            0.7694154 = score(doc=3902,freq=1.0), product of:
              0.19488205 = queryWeight, product of:
                1.7760327 = boost
                6.3169727 = idf(docFreq=217, maxDocs=44421)
                0.017370483 = queryNorm
              3.948108 = fieldWeight in 3902, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3169727 = idf(docFreq=217, maxDocs=44421)
                0.625 = fieldNorm(doc=3902)
        0.2777778 = coord(5/18)
    
  3. Kleineberg, M.: Klassifikation (2023) 0.21
    0.21263862 = sum of:
      0.21263862 = product of:
        1.2758317 = sum of:
          0.024279121 = weight(abstract_txt:sich in 1784) [ClassicSimilarity], result of:
            0.024279121 = score(doc=1784,freq=2.0), product of:
              0.06178313 = queryWeight, product of:
                3.5567884 = idf(docFreq=3444, maxDocs=44421)
                0.017370483 = queryNorm
              0.3929733 = fieldWeight in 1784, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.5567884 = idf(docFreq=3444, maxDocs=44421)
                0.078125 = fieldNorm(doc=1784)
          0.020488074 = weight(abstract_txt:wird in 1784) [ClassicSimilarity], result of:
            0.020488074 = score(doc=1784,freq=1.0), product of:
              0.06951182 = queryWeight, product of:
                1.0607045 = boost
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.017370483 = queryNorm
              0.2947423 = fieldWeight in 1784, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.078125 = fieldNorm(doc=1784)
          1.2310646 = weight(title_txt:klassifikation in 1784) [ClassicSimilarity], result of:
            1.2310646 = score(doc=1784,freq=1.0), product of:
              0.19488205 = queryWeight, product of:
                1.7760327 = boost
                6.3169727 = idf(docFreq=217, maxDocs=44421)
                0.017370483 = queryNorm
              6.3169727 = fieldWeight in 1784, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3169727 = idf(docFreq=217, maxDocs=44421)
                1.0 = fieldNorm(doc=1784)
        0.16666667 = coord(3/18)
    
  4. Göbel, S.; Wegner, B.: ¬Das Zentralblatt als Zugang zur mathematischen Literatur von 1868 bis heute (2004) 0.19
    0.19129147 = sum of:
      0.19129147 = product of:
        0.68864924 = sum of:
          0.028683303 = weight(abstract_txt:wird in 1205) [ClassicSimilarity], result of:
            0.028683303 = score(doc=1205,freq=1.0), product of:
              0.06951182 = queryWeight, product of:
                1.0607045 = boost
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.017370483 = queryNorm
              0.4126392 = fieldWeight in 1205, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.109375 = fieldNorm(doc=1205)
          0.057602495 = weight(abstract_txt:über in 1205) [ClassicSimilarity], result of:
            0.057602495 = score(doc=1205,freq=3.0), product of:
              0.07671725 = queryWeight, product of:
                1.1143242 = boost
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.017370483 = queryNorm
              0.7508415 = fieldWeight in 1205, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.109375 = fieldNorm(doc=1205)
          0.064210534 = weight(abstract_txt:damit in 1205) [ClassicSimilarity], result of:
            0.064210534 = score(doc=1205,freq=1.0), product of:
              0.11895338 = queryWeight, product of:
                1.3875653 = boost
                4.935276 = idf(docFreq=867, maxDocs=44421)
                0.017370483 = queryNorm
              0.5397958 = fieldWeight in 1205, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.935276 = idf(docFreq=867, maxDocs=44421)
                0.109375 = fieldNorm(doc=1205)
          0.25527048 = weight(abstract_txt:mathematik in 1205) [ClassicSimilarity], result of:
            0.25527048 = score(doc=1205,freq=2.0), product of:
              0.23693523 = queryWeight, product of:
                1.9583029 = boost
                6.965269 = idf(docFreq=113, maxDocs=44421)
                0.017370483 = queryNorm
              1.0773851 = fieldWeight in 1205, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.965269 = idf(docFreq=113, maxDocs=44421)
                0.109375 = fieldNorm(doc=1205)
          0.28288242 = weight(abstract_txt:getragen in 1205) [ClassicSimilarity], result of:
            0.28288242 = score(doc=1205,freq=1.0), product of:
              0.3196759 = queryWeight, product of:
                2.2746782 = boost
                8.090549 = idf(docFreq=36, maxDocs=44421)
                0.017370483 = queryNorm
              0.88490385 = fieldWeight in 1205, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.090549 = idf(docFreq=36, maxDocs=44421)
                0.109375 = fieldNorm(doc=1205)
        0.2777778 = coord(5/18)
    
  5. Ammann, A.: Klassifikation dynamischer Wissensräume : multifaktorielle Wechselbeziehungen zur Generierung und Gestaltung konstellativer dynamischer und mehrdimensionaler Wissensräume mit einem Fokus der Anwendung in der Zahn-, Mund- und Kieferheilkunde am Beispiel der enossalen Implantologie (2012) 0.19
    0.18640073 = sum of:
      0.18640073 = product of:
        0.41940165 = sum of:
          0.018168831 = weight(abstract_txt:sich in 2751) [ClassicSimilarity], result of:
            0.018168831 = score(doc=2751,freq=7.0), product of:
              0.06178313 = queryWeight, product of:
                3.5567884 = idf(docFreq=3444, maxDocs=44421)
                0.017370483 = queryNorm
              0.2940743 = fieldWeight in 2751, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                3.5567884 = idf(docFreq=3444, maxDocs=44421)
                0.03125 = fieldNorm(doc=2751)
          0.02168254 = weight(abstract_txt:wird in 2751) [ClassicSimilarity], result of:
            0.02168254 = score(doc=2751,freq=7.0), product of:
              0.06951182 = queryWeight, product of:
                1.0607045 = boost
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.017370483 = queryNorm
              0.31192592 = fieldWeight in 2751, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                3.7727013 = idf(docFreq=2775, maxDocs=44421)
                0.03125 = fieldNorm(doc=2751)
          0.018719733 = weight(abstract_txt:nicht in 2751) [ClassicSimilarity], result of:
            0.018719733 = score(doc=2751,freq=4.0), product of:
              0.07595057 = queryWeight, product of:
                1.1087421 = boost
                3.9435613 = idf(docFreq=2339, maxDocs=44421)
                0.017370483 = queryNorm
              0.24647258 = fieldWeight in 2751, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                3.9435613 = idf(docFreq=2339, maxDocs=44421)
                0.03125 = fieldNorm(doc=2751)
          0.013437783 = weight(abstract_txt:über in 2751) [ClassicSimilarity], result of:
            0.013437783 = score(doc=2751,freq=2.0), product of:
              0.07671725 = queryWeight, product of:
                1.1143242 = boost
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.017370483 = queryNorm
              0.17515987 = fieldWeight in 2751, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.03125 = fieldNorm(doc=2751)
          0.031775974 = weight(abstract_txt:damit in 2751) [ClassicSimilarity], result of:
            0.031775974 = score(doc=2751,freq=3.0), product of:
              0.11895338 = queryWeight, product of:
                1.3875653 = boost
                4.935276 = idf(docFreq=867, maxDocs=44421)
                0.017370483 = queryNorm
              0.26712966 = fieldWeight in 2751, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.935276 = idf(docFreq=867, maxDocs=44421)
                0.03125 = fieldNorm(doc=2751)
          0.19235384 = weight(title_txt:klassifikation in 2751) [ClassicSimilarity], result of:
            0.19235384 = score(doc=2751,freq=1.0), product of:
              0.19488205 = queryWeight, product of:
                1.7760327 = boost
                6.3169727 = idf(docFreq=217, maxDocs=44421)
                0.017370483 = queryNorm
              0.987027 = fieldWeight in 2751, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3169727 = idf(docFreq=217, maxDocs=44421)
                0.15625 = fieldNorm(doc=2751)
          0.060441133 = weight(abstract_txt:vier in 2751) [ClassicSimilarity], result of:
            0.060441133 = score(doc=2751,freq=2.0), product of:
              0.20904014 = queryWeight, product of:
                1.8394157 = boost
                6.5424123 = idf(docFreq=173, maxDocs=44421)
                0.017370483 = queryNorm
              0.2891365 = fieldWeight in 2751, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.5424123 = idf(docFreq=173, maxDocs=44421)
                0.03125 = fieldNorm(doc=2751)
          0.06282181 = weight(abstract_txt:alte in 2751) [ClassicSimilarity], result of:
            0.06282181 = score(doc=2751,freq=1.0), product of:
              0.27024537 = queryWeight, product of:
                2.091434 = boost
                7.438788 = idf(docFreq=70, maxDocs=44421)
                0.017370483 = queryNorm
              0.23246212 = fieldWeight in 2751, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.438788 = idf(docFreq=70, maxDocs=44421)
                0.03125 = fieldNorm(doc=2751)
        0.44444445 = coord(8/18)