Document (#25737)

Author

Heintz, B.

Title

¬Die Innenwelt der Mathematik : Zur Kultur und Praxis einer beweisenden Disziplin

Imprint

Wien : Springer

Year

2000

Pages

318 S

Isbn

3-211-82961-X

Series

Ästhetik und Naturwissenschaften : Bildende Wissenschaften - Zivilisierung der Kulturen

Abstract

Mathematisches Wissen gilt als erfahrungsunabhängig - a priori in Kants M Ausdrucksweise - und damit sicher. Es wird begründet durch Beweise und ist dadurch in aller Regel nicht kontrovers. Das Gebäude der Mathematik wird Stein um Stein kumulativ aufgeführt, unbehelligt von Revolutionen, wie sie andere Wissenschaften heimsuchen. Und ihre Gegenstände existieren außerhalb von Zeit und Raum - soweit die gängige Vorstellung. "Die moderne Mathematik zeichnet sich durch Merkmale aus, die für eine soziologische Analyse tatsächlich kaum Raum mehr lassen", konzediert Bettina Heintz gegen Ende ihres Buches. Dennoch gelingt es ihr, 275 oft hochinteressante Seiten mit einer solchen zu füllen. Auf die Frage "Was ist Mathematik?" gibt Heintz eine informative Übersicht zu den verschiedensten Positionen in der Mathematikphilosophie. Den Anfang machen die altbekannten "ismen": Platonismus, Intuitionismus und Formalismus. Eine markante Schwierigkeit ist das Truth/proof-Problem: Wie lässt es sich erklären, dass Beweisbarkeit und Wahrheit in der Mathematik zusammenfallen? Oder ist das gar nicht so? Im Anschluss an Karl Popper hat Imre Lakatos 1963 in "Beweise und Widerlegungen" die geschichtliche Bedingtheit mathematischen Wissens herausgestellt. Dieses entwickle sich in einem Wechselspiel von Beweisversuchen, Widerlegungen, Präzisierungen und erneuten Beweisversuchen und habe damit die Qualität von Erfahrungswissen: "Ein Beweis ist im Prinzip immer nur wahr auf Zeit." Gegen diesen "Quasi-Empirismus" setzt Saunders MacLane, ein führender Mathematiker unserer Tage, die Behauptung "Mathematics rests on proof and proof is etemal" und gibt damit wohl die Mehrheitsansicht der mathematischen Gemeinschaft wieder. Die Soziologie sieht die Mathematik doch deutlich anders als diese sich selbst. Bettina Heintz hat dazu in Interviews am Bonner Max-Planck-Institut für Mathematik herauszufinden versucht, wie Mathematiker arbeiten und welches Selbstverständnis sie dabei haben. So erfährt man, woran ein Mathematiker noch lange vor dem Beweis zu erkennen glaubt, ob eine Behauptung wahr ist ("Schönheit"), was es mit dem "Aufschreiben" - allgemein mit der symbolischen Dimension von Mathematik - auf sich hat und wie Mathematiker über die Möglichkeiten denken, die der Computer bietet. Interessante Fragen, zu denen bislang wenig Material vorlag

Footnote

Rez. in: Spektrum der Wissenschaft 2000, H.1, S.105-106 (K. Volkert)

Field

Mathematik
Philosophie

RSWK

Mathematik / Wissenschaftssoziologie (21)

Similar documents (content)

1. Devlin, K.: ¬Das Mathe-Gen : oder wie sich das mathematische Denken entwickelt und warum Sie Zahlen ruhig vergessen können (2001) 0.29

   0.2931402 = sum of:
     0.2931402 = product of:
       1.0469292 = sum of:
         0.01944961 = weight(abstract_txt:gibt in 4019) [ClassicSimilarity], result of:
           0.01944961 = score(doc=4019,freq=1.0), product of:
             0.06970149 = queryWeight, product of:
               1.0742432 = boost
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.01271624 = queryNorm
             0.27904153 = fieldWeight in 4019, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4019)
         0.01759122 = weight(abstract_txt:eine in 4019) [ClassicSimilarity], result of:
           0.01759122 = score(doc=4019,freq=2.0), product of:
             0.06518767 = queryWeight, product of:
               1.4691944 = boost
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.01271624 = queryNorm
             0.26985502 = fieldWeight in 4019, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4019)
         0.02638147 = weight(abstract_txt:damit in 4019) [ClassicSimilarity], result of:
           0.02638147 = score(doc=4019,freq=1.0), product of:
             0.09776826 = queryWeight, product of:
               1.5582105 = boost
               4.934158 = idf(docFreq=864, maxDocs=44218)
               0.01271624 = queryNorm
             0.26983675 = fieldWeight in 4019, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.934158 = idf(docFreq=864, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4019)
         0.06907514 = weight(abstract_txt:mathematischen in 4019) [ClassicSimilarity], result of:
           0.06907514 = score(doc=4019,freq=1.0), product of:
             0.16224924 = queryWeight, product of:
               1.638977 = boost
               7.7848644 = idf(docFreq=49, maxDocs=44218)
               0.01271624 = queryNorm
             0.42573476 = fieldWeight in 4019, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.7848644 = idf(docFreq=49, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4019)
         0.03298993 = weight(abstract_txt:sich in 4019) [ClassicSimilarity], result of:
           0.03298993 = score(doc=4019,freq=4.0), product of:
             0.084758334 = queryWeight, product of:
               1.8730215 = boost
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.01271624 = queryNorm
             0.38922346 = fieldWeight in 4019, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4019)
         0.10880305 = weight(abstract_txt:behauptung in 4019) [ClassicSimilarity], result of:
           0.10880305 = score(doc=4019,freq=1.0), product of:
             0.21964881 = queryWeight, product of:
               1.9069793 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.01271624 = queryNorm
             0.49535006 = fieldWeight in 4019, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4019)
         0.77263886 = weight(abstract_txt:mathematik in 4019) [ClassicSimilarity], result of:
           0.77263886 = score(doc=4019,freq=12.0), product of:
             0.5851891 = queryWeight, product of:
               6.602918 = boost
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.01271624 = queryNorm
             1.3203233 = fieldWeight in 4019, product of:
               3.4641016 = tf(freq=12.0), with freq of:
                 12.0 = termFreq=12.0
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.0546875 = fieldNorm(doc=4019)
       0.28 = coord(7/25)
   

2. Basieux, P.: ¬Die Architektur der Mathematik : Denken in Strukturen (2000) 0.25

   0.2501997 = sum of:
     0.2501997 = product of:
       0.89357036 = sum of:
         0.07114081 = weight(abstract_txt:formalismus in 3491) [ClassicSimilarity], result of:
           0.07114081 = score(doc=3491,freq=1.0), product of:
             0.13133204 = queryWeight, product of:
               1.042682 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.01271624 = queryNorm
             0.54168665 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.027505903 = weight(abstract_txt:gibt in 3491) [ClassicSimilarity], result of:
           0.027505903 = score(doc=3491,freq=2.0), product of:
             0.06970149 = queryWeight, product of:
               1.0742432 = boost
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.01271624 = queryNorm
             0.3946243 = fieldWeight in 3491, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.021544756 = weight(abstract_txt:eine in 3491) [ClassicSimilarity], result of:
           0.021544756 = score(doc=3491,freq=3.0), product of:
             0.06518767 = queryWeight, product of:
               1.4691944 = boost
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.01271624 = queryNorm
             0.33050355 = fieldWeight in 3491, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.06907514 = weight(abstract_txt:mathematischen in 3491) [ClassicSimilarity], result of:
           0.06907514 = score(doc=3491,freq=1.0), product of:
             0.16224924 = queryWeight, product of:
               1.638977 = boost
               7.7848644 = idf(docFreq=49, maxDocs=44218)
               0.01271624 = queryNorm
             0.42573476 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.7848644 = idf(docFreq=49, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.016494965 = weight(abstract_txt:sich in 3491) [ClassicSimilarity], result of:
           0.016494965 = score(doc=3491,freq=1.0), product of:
             0.084758334 = queryWeight, product of:
               1.8730215 = boost
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.01271624 = queryNorm
             0.19461173 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.14147066 = weight(abstract_txt:mathematiker in 3491) [ClassicSimilarity], result of:
           0.14147066 = score(doc=3491,freq=1.0), product of:
             0.3296773 = queryWeight, product of:
               3.3040078 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.01271624 = queryNorm
             0.42911857 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.54633814 = weight(abstract_txt:mathematik in 3491) [ClassicSimilarity], result of:
           0.54633814 = score(doc=3491,freq=6.0), product of:
             0.5851891 = queryWeight, product of:
               6.602918 = boost
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.01271624 = queryNorm
             0.9336096 = fieldWeight in 3491, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
       0.28 = coord(7/25)
   

3. Delahaye, J.-P.: PI: Die Story (1999) 0.24

   0.23584437 = sum of:
     0.23584437 = product of:
       0.7370137 = sum of:
         0.023576487 = weight(abstract_txt:gibt in 1705) [ClassicSimilarity], result of:
           0.023576487 = score(doc=1705,freq=2.0), product of:
             0.06970149 = queryWeight, product of:
               1.0742432 = boost
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.01271624 = queryNorm
             0.3382494 = fieldWeight in 1705, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.046875 = fieldNorm(doc=1705)
         0.020632708 = weight(abstract_txt:zeit in 1705) [ClassicSimilarity], result of:
           0.020632708 = score(doc=1705,freq=1.0), product of:
             0.08034709 = queryWeight, product of:
               1.1533647 = boost
               5.478287 = idf(docFreq=501, maxDocs=44218)
               0.01271624 = queryNorm
             0.25679472 = fieldWeight in 1705, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.478287 = idf(docFreq=501, maxDocs=44218)
               0.046875 = fieldNorm(doc=1705)
         0.02384071 = weight(abstract_txt:eine in 1705) [ClassicSimilarity], result of:
           0.02384071 = score(doc=1705,freq=5.0), product of:
             0.06518767 = queryWeight, product of:
               1.4691944 = boost
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.01271624 = queryNorm
             0.36572424 = fieldWeight in 1705, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.046875 = fieldNorm(doc=1705)
         0.031979173 = weight(abstract_txt:damit in 1705) [ClassicSimilarity], result of:
           0.031979173 = score(doc=1705,freq=2.0), product of:
             0.09776826 = queryWeight, product of:
               1.5582105 = boost
               4.934158 = idf(docFreq=864, maxDocs=44218)
               0.01271624 = queryNorm
             0.32709154 = fieldWeight in 1705, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.934158 = idf(docFreq=864, maxDocs=44218)
               0.046875 = fieldNorm(doc=1705)
         0.034632217 = weight(abstract_txt:sich in 1705) [ClassicSimilarity], result of:
           0.034632217 = score(doc=1705,freq=6.0), product of:
             0.084758334 = queryWeight, product of:
               1.8730215 = boost
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.01271624 = queryNorm
             0.40859956 = fieldWeight in 1705, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.046875 = fieldNorm(doc=1705)
         0.12195568 = weight(abstract_txt:beweise in 1705) [ClassicSimilarity], result of:
           0.12195568 = score(doc=1705,freq=1.0), product of:
             0.26266408 = queryWeight, product of:
               2.085364 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.01271624 = queryNorm
             0.46430284 = fieldWeight in 1705, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.046875 = fieldNorm(doc=1705)
         0.21002947 = weight(abstract_txt:mathematiker in 1705) [ClassicSimilarity], result of:
           0.21002947 = score(doc=1705,freq=3.0), product of:
             0.3296773 = queryWeight, product of:
               3.3040078 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.01271624 = queryNorm
             0.6370759 = fieldWeight in 1705, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.046875 = fieldNorm(doc=1705)
         0.27036723 = weight(abstract_txt:mathematik in 1705) [ClassicSimilarity], result of:
           0.27036723 = score(doc=1705,freq=2.0), product of:
             0.5851891 = queryWeight, product of:
               6.602918 = boost
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.01271624 = queryNorm
             0.46201688 = fieldWeight in 1705, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.046875 = fieldNorm(doc=1705)
       0.32 = coord(8/25)
   

4. Stammbach, U.: ¬"Die Mathematik ist eine gar herrliche Wissenschaft" (2005) 0.20

   0.20154862 = sum of:
     0.20154862 = product of:
       0.7198165 = sum of:
         0.016671095 = weight(abstract_txt:gibt in 5095) [ClassicSimilarity], result of:
           0.016671095 = score(doc=5095,freq=1.0), product of:
             0.06970149 = queryWeight, product of:
               1.0742432 = boost
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.01271624 = queryNorm
             0.23917845 = fieldWeight in 5095, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.046875 = fieldNorm(doc=5095)
         0.018466935 = weight(abstract_txt:eine in 5095) [ClassicSimilarity], result of:
           0.018466935 = score(doc=5095,freq=3.0), product of:
             0.06518767 = queryWeight, product of:
               1.4691944 = boost
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.01271624 = queryNorm
             0.28328878 = fieldWeight in 5095, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.046875 = fieldNorm(doc=5095)
         0.022612689 = weight(abstract_txt:damit in 5095) [ClassicSimilarity], result of:
           0.022612689 = score(doc=5095,freq=1.0), product of:
             0.09776826 = queryWeight, product of:
               1.5582105 = boost
               4.934158 = idf(docFreq=864, maxDocs=44218)
               0.01271624 = queryNorm
             0.23128864 = fieldWeight in 5095, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.934158 = idf(docFreq=864, maxDocs=44218)
               0.046875 = fieldNorm(doc=5095)
         0.08373171 = weight(abstract_txt:mathematischen in 5095) [ClassicSimilarity], result of:
           0.08373171 = score(doc=5095,freq=2.0), product of:
             0.16224924 = queryWeight, product of:
               1.638977 = boost
               7.7848644 = idf(docFreq=49, maxDocs=44218)
               0.01271624 = queryNorm
             0.51606846 = fieldWeight in 5095, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.7848644 = idf(docFreq=49, maxDocs=44218)
               0.046875 = fieldNorm(doc=5095)
         0.024488674 = weight(abstract_txt:sich in 5095) [ClassicSimilarity], result of:
           0.024488674 = score(doc=5095,freq=3.0), product of:
             0.084758334 = queryWeight, product of:
               1.8730215 = boost
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.01271624 = queryNorm
             0.2889235 = fieldWeight in 5095, 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=5095)
         0.17148834 = weight(abstract_txt:mathematiker in 5095) [ClassicSimilarity], result of:
           0.17148834 = score(doc=5095,freq=2.0), product of:
             0.3296773 = queryWeight, product of:
               3.3040078 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.01271624 = queryNorm
             0.5201703 = fieldWeight in 5095, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.046875 = fieldNorm(doc=5095)
         0.38235706 = weight(abstract_txt:mathematik in 5095) [ClassicSimilarity], result of:
           0.38235706 = score(doc=5095,freq=4.0), product of:
             0.5851891 = queryWeight, product of:
               6.602918 = boost
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.01271624 = queryNorm
             0.6533906 = fieldWeight in 5095, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.046875 = fieldNorm(doc=5095)
       0.28 = coord(7/25)
   

5. Hartnett, K.: Werden Computer das Wesen der Mathematik verändern? (2016) 0.19

   0.18500851 = sum of:
     0.18500851 = product of:
       0.9250425 = sum of:
         0.024877744 = weight(abstract_txt:eine in 3259) [ClassicSimilarity], result of:
           0.024877744 = score(doc=3259,freq=1.0), product of:
             0.06518767 = queryWeight, product of:
               1.4691944 = boost
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.01271624 = queryNorm
             0.38163266 = fieldWeight in 3259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4892128 = idf(docFreq=3668, maxDocs=44218)
               0.109375 = fieldNorm(doc=3259)
         0.13815027 = weight(abstract_txt:mathematischen in 3259) [ClassicSimilarity], result of:
           0.13815027 = score(doc=3259,freq=1.0), product of:
             0.16224924 = queryWeight, product of:
               1.638977 = boost
               7.7848644 = idf(docFreq=49, maxDocs=44218)
               0.01271624 = queryNorm
             0.8514695 = fieldWeight in 3259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.7848644 = idf(docFreq=49, maxDocs=44218)
               0.109375 = fieldNorm(doc=3259)
         0.03298993 = weight(abstract_txt:sich in 3259) [ClassicSimilarity], result of:
           0.03298993 = score(doc=3259,freq=1.0), product of:
             0.084758334 = queryWeight, product of:
               1.8730215 = boost
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.01271624 = queryNorm
             0.38922346 = fieldWeight in 3259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.109375 = fieldNorm(doc=3259)
         0.2829413 = weight(abstract_txt:mathematiker in 3259) [ClassicSimilarity], result of:
           0.2829413 = score(doc=3259,freq=1.0), product of:
             0.3296773 = queryWeight, product of:
               3.3040078 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.01271624 = queryNorm
             0.85823715 = fieldWeight in 3259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.109375 = fieldNorm(doc=3259)
         0.44608325 = weight(abstract_txt:mathematik in 3259) [ClassicSimilarity], result of:
           0.44608325 = score(doc=3259,freq=1.0), product of:
             0.5851891 = queryWeight, product of:
               6.602918 = boost
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.01271624 = queryNorm
             0.76228905 = fieldWeight in 3259, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.109375 = fieldNorm(doc=3259)
       0.2 = coord(5/25)