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.31765905 = sum of:
      0.31765905 = product of:
        0.7147329 = sum of:
          0.026917044 = weight(abstract_txt:sich in 736) [ClassicSimilarity], result of:
            0.026917044 = score(doc=736,freq=5.0), product of:
              0.061854795 = queryWeight, product of:
                3.5586145 = idf(docFreq=3422, maxDocs=44218)
                0.017381707 = queryNorm
              0.43516505 = fieldWeight in 736, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                3.5586145 = idf(docFreq=3422, maxDocs=44218)
                0.0546875 = fieldNorm(doc=736)
          0.02029252 = weight(abstract_txt:wird in 736) [ClassicSimilarity], result of:
            0.02029252 = score(doc=736,freq=2.0), product of:
              0.06953858 = queryWeight, product of:
                1.0602938 = boost
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.017381707 = queryNorm
              0.29181674 = fieldWeight in 736, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.0546875 = fieldNorm(doc=736)
          0.023177449 = weight(abstract_txt:nicht in 736) [ClassicSimilarity], result of:
            0.023177449 = score(doc=736,freq=2.0), product of:
              0.07598226 = queryWeight, product of:
                1.1083308 = boost
                3.9441223 = idf(docFreq=2327, maxDocs=44218)
                0.017381707 = queryNorm
              0.30503765 = fieldWeight in 736, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.9441223 = idf(docFreq=2327, maxDocs=44218)
                0.0546875 = fieldNorm(doc=736)
          0.016644502 = weight(abstract_txt:über in 736) [ClassicSimilarity], result of:
            0.016644502 = score(doc=736,freq=1.0), product of:
              0.07677014 = queryWeight, product of:
                1.1140623 = boost
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.017381707 = queryNorm
              0.21680959 = fieldWeight in 736, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.0546875 = fieldNorm(doc=736)
          0.055577535 = weight(abstract_txt:damit in 736) [ClassicSimilarity], result of:
            0.055577535 = score(doc=736,freq=3.0), product of:
              0.118915245 = queryWeight, product of:
                1.386539 = boost
                4.934158 = idf(docFreq=864, maxDocs=44218)
                0.017381707 = queryNorm
              0.467371 = fieldWeight in 736, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.934158 = idf(docFreq=864, maxDocs=44218)
                0.0546875 = fieldNorm(doc=736)
          0.069812365 = weight(abstract_txt:seiten in 736) [ClassicSimilarity], result of:
            0.069812365 = score(doc=736,freq=1.0), product of:
              0.19966412 = queryWeight, product of:
                1.7966493 = boost
                6.3935823 = idf(docFreq=200, maxDocs=44218)
                0.017381707 = queryNorm
              0.34964904 = fieldWeight in 736, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3935823 = idf(docFreq=200, maxDocs=44218)
                0.0546875 = fieldNorm(doc=736)
          0.23925076 = weight(abstract_txt:mathematik in 736) [ClassicSimilarity], result of:
            0.23925076 = score(doc=736,freq=7.0), product of:
              0.2372546 = queryWeight, product of:
                1.9584868 = boost
                6.9694996 = idf(docFreq=112, maxDocs=44218)
                0.017381707 = queryNorm
              1.0084136 = fieldWeight in 736, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                6.9694996 = idf(docFreq=112, maxDocs=44218)
                0.0546875 = fieldNorm(doc=736)
          0.26306066 = weight(abstract_txt:beweis in 736) [ClassicSimilarity], result of:
            0.26306066 = score(doc=736,freq=2.0), product of:
              0.38374177 = queryWeight, product of:
                2.4907656 = boost
                8.863674 = idf(docFreq=16, maxDocs=44218)
                0.017381707 = queryNorm
              0.6855148 = fieldWeight in 736, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.863674 = idf(docFreq=16, maxDocs=44218)
                0.0546875 = fieldNorm(doc=736)
        0.44444445 = coord(8/18)
    
  2. Manecke, H.-J.: Klassifikation, Klassieren (2004) 0.24
    0.24235673 = sum of:
      0.24235673 = product of:
        0.8724842 = sum of:
          0.017871303 = weight(abstract_txt:sich in 2902) [ClassicSimilarity], result of:
            0.017871303 = score(doc=2902,freq=3.0), product of:
              0.061854795 = queryWeight, product of:
                3.5586145 = idf(docFreq=3422, maxDocs=44218)
                0.017381707 = queryNorm
              0.2889235 = fieldWeight in 2902, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.5586145 = idf(docFreq=3422, maxDocs=44218)
                0.046875 = fieldNorm(doc=2902)
          0.017393589 = weight(abstract_txt:wird in 2902) [ClassicSimilarity], result of:
            0.017393589 = score(doc=2902,freq=2.0), product of:
              0.06953858 = queryWeight, product of:
                1.0602938 = boost
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.017381707 = queryNorm
              0.25012863 = fieldWeight in 2902, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.046875 = fieldNorm(doc=2902)
          0.014266717 = weight(abstract_txt:über in 2902) [ClassicSimilarity], result of:
            0.014266717 = score(doc=2902,freq=1.0), product of:
              0.07677014 = queryWeight, product of:
                1.1140623 = boost
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.017381707 = queryNorm
              0.18583679 = fieldWeight in 2902, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.046875 = fieldNorm(doc=2902)
          0.055107746 = weight(abstract_txt:ihnen in 2902) [ClassicSimilarity], result of:
            0.055107746 = score(doc=2902,freq=1.0), product of:
              0.18899548 = queryWeight, product of:
                1.7479904 = boost
                6.2204237 = idf(docFreq=238, maxDocs=44218)
                0.017381707 = queryNorm
              0.29158235 = fieldWeight in 2902, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2204237 = idf(docFreq=238, maxDocs=44218)
                0.046875 = fieldNorm(doc=2902)
          0.76784486 = weight(title_txt:klassifikation in 2902) [ClassicSimilarity], result of:
            0.76784486 = score(doc=2902,freq=1.0), product of:
              0.19462538 = queryWeight, product of:
                1.7738342 = boost
                6.312392 = idf(docFreq=217, maxDocs=44218)
                0.017381707 = queryNorm
              3.9452453 = fieldWeight in 2902, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.312392 = idf(docFreq=217, maxDocs=44218)
                0.625 = fieldNorm(doc=2902)
        0.2777778 = coord(5/18)
    
  3. Kleineberg, M.: Klassifikation (2023) 0.21
    0.21222834 = sum of:
      0.21222834 = product of:
        1.27337 = sum of:
          0.024319762 = weight(abstract_txt:sich in 783) [ClassicSimilarity], result of:
            0.024319762 = score(doc=783,freq=2.0), product of:
              0.061854795 = queryWeight, product of:
                3.5586145 = idf(docFreq=3422, maxDocs=44218)
                0.017381707 = queryNorm
              0.39317507 = fieldWeight in 783, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.5586145 = idf(docFreq=3422, maxDocs=44218)
                0.078125 = fieldNorm(doc=783)
          0.020498544 = weight(abstract_txt:wird in 783) [ClassicSimilarity], result of:
            0.020498544 = score(doc=783,freq=1.0), product of:
              0.06953858 = queryWeight, product of:
                1.0602938 = boost
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.017381707 = queryNorm
              0.29477945 = fieldWeight in 783, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.078125 = fieldNorm(doc=783)
          1.2285517 = weight(title_txt:klassifikation in 783) [ClassicSimilarity], result of:
            1.2285517 = score(doc=783,freq=1.0), product of:
              0.19462538 = queryWeight, product of:
                1.7738342 = boost
                6.312392 = idf(docFreq=217, maxDocs=44218)
                0.017381707 = queryNorm
              6.312392 = fieldWeight in 783, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.312392 = idf(docFreq=217, maxDocs=44218)
                1.0 = fieldNorm(doc=783)
        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.191317 = sum of:
      0.191317 = product of:
        0.6887412 = sum of:
          0.028697962 = weight(abstract_txt:wird in 205) [ClassicSimilarity], result of:
            0.028697962 = score(doc=205,freq=1.0), product of:
              0.06953858 = queryWeight, product of:
                1.0602938 = boost
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.017381707 = queryNorm
              0.41269124 = fieldWeight in 205, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.109375 = fieldNorm(doc=205)
          0.057658248 = weight(abstract_txt:über in 205) [ClassicSimilarity], result of:
            0.057658248 = score(doc=205,freq=3.0), product of:
              0.07677014 = queryWeight, product of:
                1.1140623 = boost
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.017381707 = queryNorm
              0.7510504 = fieldWeight in 205, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.109375 = fieldNorm(doc=205)
          0.064175405 = weight(abstract_txt:damit in 205) [ClassicSimilarity], result of:
            0.064175405 = score(doc=205,freq=1.0), product of:
              0.118915245 = queryWeight, product of:
                1.386539 = boost
                4.934158 = idf(docFreq=864, maxDocs=44218)
                0.017381707 = queryNorm
              0.5396735 = fieldWeight in 205, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.934158 = idf(docFreq=864, maxDocs=44218)
                0.109375 = fieldNorm(doc=205)
          0.25576982 = weight(abstract_txt:mathematik in 205) [ClassicSimilarity], result of:
            0.25576982 = score(doc=205,freq=2.0), product of:
              0.2372546 = queryWeight, product of:
                1.9584868 = boost
                6.9694996 = idf(docFreq=112, maxDocs=44218)
                0.017381707 = queryNorm
              1.0780394 = fieldWeight in 205, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.9694996 = idf(docFreq=112, maxDocs=44218)
                0.109375 = fieldNorm(doc=205)
          0.28243974 = weight(abstract_txt:getragen in 205) [ClassicSimilarity], result of:
            0.28243974 = score(doc=205,freq=1.0), product of:
              0.3193564 = queryWeight, product of:
                2.272224 = boost
                8.085969 = idf(docFreq=36, maxDocs=44218)
                0.017381707 = queryNorm
              0.8844029 = fieldWeight in 205, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.085969 = idf(docFreq=36, maxDocs=44218)
                0.109375 = fieldNorm(doc=205)
        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.18628918 = sum of:
      0.18628918 = product of:
        0.41915065 = sum of:
          0.018199245 = weight(abstract_txt:sich in 1751) [ClassicSimilarity], result of:
            0.018199245 = score(doc=1751,freq=7.0), product of:
              0.061854795 = queryWeight, product of:
                3.5586145 = idf(docFreq=3422, maxDocs=44218)
                0.017381707 = queryNorm
              0.29422528 = fieldWeight in 1751, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                3.5586145 = idf(docFreq=3422, maxDocs=44218)
                0.03125 = fieldNorm(doc=1751)
          0.021693619 = weight(abstract_txt:wird in 1751) [ClassicSimilarity], result of:
            0.021693619 = score(doc=1751,freq=7.0), product of:
              0.06953858 = queryWeight, product of:
                1.0602938 = boost
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.017381707 = queryNorm
              0.31196523 = fieldWeight in 1751, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                3.773177 = idf(docFreq=2761, maxDocs=44218)
                0.03125 = fieldNorm(doc=1751)
          0.018730208 = weight(abstract_txt:nicht in 1751) [ClassicSimilarity], result of:
            0.018730208 = score(doc=1751,freq=4.0), product of:
              0.07598226 = queryWeight, product of:
                1.1083308 = boost
                3.9441223 = idf(docFreq=2327, maxDocs=44218)
                0.017381707 = queryNorm
              0.24650764 = fieldWeight in 1751, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                3.9441223 = idf(docFreq=2327, maxDocs=44218)
                0.03125 = fieldNorm(doc=1751)
          0.013450789 = weight(abstract_txt:über in 1751) [ClassicSimilarity], result of:
            0.013450789 = score(doc=1751,freq=2.0), product of:
              0.07677014 = queryWeight, product of:
                1.1140623 = boost
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.017381707 = queryNorm
              0.1752086 = fieldWeight in 1751, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.03125 = fieldNorm(doc=1751)
          0.03175859 = weight(abstract_txt:damit in 1751) [ClassicSimilarity], result of:
            0.03175859 = score(doc=1751,freq=3.0), product of:
              0.118915245 = queryWeight, product of:
                1.386539 = boost
                4.934158 = idf(docFreq=864, maxDocs=44218)
                0.017381707 = queryNorm
              0.26706913 = fieldWeight in 1751, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.934158 = idf(docFreq=864, maxDocs=44218)
                0.03125 = fieldNorm(doc=1751)
          0.19196121 = weight(title_txt:klassifikation in 1751) [ClassicSimilarity], result of:
            0.19196121 = score(doc=1751,freq=1.0), product of:
              0.19462538 = queryWeight, product of:
                1.7738342 = boost
                6.312392 = idf(docFreq=217, maxDocs=44218)
                0.017381707 = queryNorm
              0.9863113 = fieldWeight in 1751, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.312392 = idf(docFreq=217, maxDocs=44218)
                0.15625 = fieldNorm(doc=1751)
          0.060642846 = weight(abstract_txt:vier in 1751) [ClassicSimilarity], result of:
            0.060642846 = score(doc=1751,freq=2.0), product of:
              0.20951425 = queryWeight, product of:
                1.8404334 = boost
                6.5493927 = idf(docFreq=171, maxDocs=44218)
                0.017381707 = queryNorm
              0.28944498 = fieldWeight in 1751, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.5493927 = idf(docFreq=171, maxDocs=44218)
                0.03125 = fieldNorm(doc=1751)
          0.06271415 = weight(abstract_txt:alte in 1751) [ClassicSimilarity], result of:
            0.06271415 = score(doc=1751,freq=1.0), product of:
              0.26994845 = queryWeight, product of:
                2.0890737 = boost
                7.4342074 = idf(docFreq=70, maxDocs=44218)
                0.017381707 = queryNorm
              0.23231898 = fieldWeight in 1751, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.4342074 = idf(docFreq=70, maxDocs=44218)
                0.03125 = fieldNorm(doc=1751)
        0.44444445 = coord(8/18)