Document (#28663)

Author

Borwein, J.
Stanway, T.

Title

Knowledge and community in mathematics

Source

Mathematical intelligencer. 27(2005) no.2, S.7-16

Year

2005

Abstract

"Each society has its regime of truth, its "general politics" of truth: that is, the types of discourse which it accepts and makes function as true; the mechanisms and instances which enable one to distinguish true and false statements, the means by which each is sanctioned; the techniques and procedures accorded value in the acquisition of truth; the status of Chose who are charged with saying what counts as truth." (Michel Foucault) Henri Lebesgue once remarked that "a mathematician, in so far as he is a mathematician, need not preoccupy himself with philosophy." He went an to add that this was "an opinion, moreover, which has been expressed by many philosophers." The idea that mathematicians can do mathematics without a precise philosophical understanding of what they are doing is, by observation, mercifully true. However, while a neglect of philosophical issues does not impede mathematical discussion, discussion about mathematics quickly becomes embroiled in philosophy, and perforce encompasses the question of the nature of mathematical knowledge. Within this discussion, some attention has been paid to the resonance between the failure of twentieth-century efforts to enunciate a comprehensive, absolute foundation for mathematics and the postmodern deconstruction of meaning and its corresponding banishment of encornpassing philosophical perspectives from the centre fixe. Of note in this commentary is the contribution of Vladimir Tasic In his book, Mathematics and the Roots of Postmodern Thought, he comments an the broad range of ideas about the interrelationship between language, meaning, and society that are commonly considered to fall under the umbrella of postmodernism. Stating that "attempts to make sense of this elusive concept threaten to outnumber attempts to square the circle," he focuses his attention an two relatively welldeveloped aspects of postmodern theory: "poststructuralism" and "deconstruction.' He argues that the development of these theories, in the works of Derrida and others, resonates with the debates surrounding foundationism which preoccupied the philosophy of mathematics in the early stages of the last century and may even have been partly informed by those debates. Our present purpose is not to revisit the connections between the foundationist debates and the advent of postmodern thought, but rather to describe and discuss some of the ways in which epistemological relativism and other postmodern perspectives are manifest in the changing ways in which mathematicians do mathematics and express mathematical knowledge. The analysis is not intended to be a lament; but it does contain an element of warning. lt is central to our purpose that the erosion of universally fixed perspectives of acceptable practice in both mathematical activity and its publication be acknowledged as presenting significant challenges to the mathematical community.

Field

Mathematik

Similar documents (content)

1. Gardner, M.: Is mathematics "out there"? (2001) 0.49

   0.48674804 = sum of:
     0.48674804 = product of:
       1.2168701 = sum of:
         0.012247768 = weight(abstract_txt:been in 5800) [ClassicSimilarity], result of:
           0.012247768 = score(doc=5800,freq=1.0), product of:
             0.05417001 = queryWeight, product of:
               1.0445216 = boost
               3.617579 = idf(docFreq=3226, maxDocs=44218)
               0.01433585 = queryNorm
             0.22609869 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.617579 = idf(docFreq=3226, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.1923638 = weight(abstract_txt:mathematicians in 5800) [ClassicSimilarity], result of:
           0.1923638 = score(doc=5800,freq=4.0), product of:
             0.18696174 = queryWeight, product of:
               1.5844141 = boost
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.01433585 = queryNorm
             1.028894 = fieldWeight in 5800, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.13868171 = weight(abstract_txt:mathematician in 5800) [ClassicSimilarity], result of:
           0.13868171 = score(doc=5800,freq=1.0), product of:
             0.23861805 = queryWeight, product of:
               1.7899626 = boost
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.01433585 = queryNorm
             0.581187 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.020521685 = weight(abstract_txt:that in 5800) [ClassicSimilarity], result of:
           0.020521685 = score(doc=5800,freq=5.0), product of:
             0.061972048 = queryWeight, product of:
               1.8244008 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.01433585 = queryNorm
             0.3311442 = fieldWeight in 5800, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.07554167 = weight(abstract_txt:true in 5800) [ClassicSimilarity], result of:
           0.07554167 = score(doc=5800,freq=1.0), product of:
             0.18218473 = queryWeight, product of:
               1.9155519 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.01433585 = queryNorm
             0.41464326 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.0149782635 = weight(abstract_txt:which in 5800) [ClassicSimilarity], result of:
           0.0149782635 = score(doc=5800,freq=1.0), product of:
             0.08216512 = queryWeight, product of:
               1.9650341 = boost
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.01433585 = queryNorm
             0.18229467 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.13861321 = weight(abstract_txt:truth in 5800) [ClassicSimilarity], result of:
           0.13861321 = score(doc=5800,freq=1.0), product of:
             0.3005409 = queryWeight, product of:
               2.8409207 = boost
               7.3793993 = idf(docFreq=74, maxDocs=44218)
               0.01433585 = queryNorm
             0.46121246 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.3793993 = idf(docFreq=74, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.11038944 = weight(abstract_txt:mathematical in 5800) [ClassicSimilarity], result of:
           0.11038944 = score(doc=5800,freq=1.0), product of:
             0.27815628 = queryWeight, product of:
               3.0556722 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.01433585 = queryNorm
             0.39686123 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.25911477 = weight(abstract_txt:postmodern in 5800) [ClassicSimilarity], result of:
           0.25911477 = score(doc=5800,freq=1.0), product of:
             0.49128324 = queryWeight, product of:
               4.060956 = boost
               8.43879 = idf(docFreq=25, maxDocs=44218)
               0.01433585 = queryNorm
             0.5274244 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.43879 = idf(docFreq=25, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.25441775 = weight(abstract_txt:mathematics in 5800) [ClassicSimilarity], result of:
           0.25441775 = score(doc=5800,freq=2.0), product of:
             0.43092477 = queryWeight, product of:
               4.5001507 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.01433585 = queryNorm
             0.59039944 = fieldWeight in 5800, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
       0.4 = coord(10/25)
   

2. Chaitin, G.J.: Conversations with a mathematician : Math, art, science and the limits of reason (2002) 0.26

   0.2584043 = sum of:
     0.2584043 = product of:
       0.92287254 = sum of:
         0.010747435 = weight(abstract_txt:between in 2212) [ClassicSimilarity], result of:
           0.010747435 = score(doc=2212,freq=1.0), product of:
             0.049650557 = queryWeight, product of:
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.01433585 = queryNorm
             0.21646151 = fieldWeight in 2212, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.0625 = fieldNorm(doc=2212)
         0.0961819 = weight(abstract_txt:mathematicians in 2212) [ClassicSimilarity], result of:
           0.0961819 = score(doc=2212,freq=1.0), product of:
             0.18696174 = queryWeight, product of:
               1.5844141 = boost
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.01433585 = queryNorm
             0.514447 = fieldWeight in 2212, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.0625 = fieldNorm(doc=2212)
         0.05889141 = weight(abstract_txt:philosophy in 2212) [ClassicSimilarity], result of:
           0.05889141 = score(doc=2212,freq=1.0), product of:
             0.15432 = queryWeight, product of:
               1.7629869 = boost
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.01433585 = queryNorm
             0.38161877 = fieldWeight in 2212, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.0625 = fieldNorm(doc=2212)
         0.018355154 = weight(abstract_txt:that in 2212) [ClassicSimilarity], result of:
           0.018355154 = score(doc=2212,freq=4.0), product of:
             0.061972048 = queryWeight, product of:
               1.8244008 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.01433585 = queryNorm
             0.2961844 = fieldWeight in 2212, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0625 = fieldNorm(doc=2212)
         0.10683206 = weight(abstract_txt:true in 2212) [ClassicSimilarity], result of:
           0.10683206 = score(doc=2212,freq=2.0), product of:
             0.18218473 = queryWeight, product of:
               1.9155519 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.01433585 = queryNorm
             0.58639413 = fieldWeight in 2212, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.0625 = fieldNorm(doc=2212)
         0.1912001 = weight(abstract_txt:mathematical in 2212) [ClassicSimilarity], result of:
           0.1912001 = score(doc=2212,freq=3.0), product of:
             0.27815628 = queryWeight, product of:
               3.0556722 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.01433585 = queryNorm
             0.6873838 = fieldWeight in 2212, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.0625 = fieldNorm(doc=2212)
         0.44066447 = weight(abstract_txt:mathematics in 2212) [ClassicSimilarity], result of:
           0.44066447 = score(doc=2212,freq=6.0), product of:
             0.43092477 = queryWeight, product of:
               4.5001507 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.01433585 = queryNorm
             1.0226018 = fieldWeight in 2212, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0625 = fieldNorm(doc=2212)
       0.28 = coord(7/25)
   

3. Sokal, A.: Transgressing the boundaries : toward a transformative hermeneutics of quantum gravity (1996) 0.25

   0.24554278 = sum of:
     0.24554278 = product of:
       0.55805176 = sum of:
         0.01585363 = weight(abstract_txt:attention in 2136) [ClassicSimilarity], result of:
           0.01585363 = score(doc=2136,freq=1.0), product of:
             0.0768876 = queryWeight, product of:
               1.0160626 = boost
               5.2785225 = idf(docFreq=612, maxDocs=44218)
               0.01433585 = queryNorm
             0.20619228 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2785225 = idf(docFreq=612, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.0102543 = weight(abstract_txt:knowledge in 2136) [ClassicSimilarity], result of:
           0.0102543 = score(doc=2136,freq=2.0), product of:
             0.05224703 = queryWeight, product of:
               1.0258143 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.01433585 = queryNorm
             0.19626571 = fieldWeight in 2136, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.019510368 = weight(abstract_txt:century in 2136) [ClassicSimilarity], result of:
           0.019510368 = score(doc=2136,freq=1.0), product of:
             0.08829731 = queryWeight, product of:
               1.088845 = boost
               5.6566324 = idf(docFreq=419, maxDocs=44218)
               0.01433585 = queryNorm
             0.2209622 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6566324 = idf(docFreq=419, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.022013128 = weight(abstract_txt:discussion in 2136) [ClassicSimilarity], result of:
           0.022013128 = score(doc=2136,freq=1.0), product of:
             0.10954404 = queryWeight, product of:
               1.485362 = boost
               5.144379 = idf(docFreq=700, maxDocs=44218)
               0.01433585 = queryNorm
             0.2009523 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.144379 = idf(docFreq=700, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.03680713 = weight(abstract_txt:philosophy in 2136) [ClassicSimilarity], result of:
           0.03680713 = score(doc=2136,freq=1.0), product of:
             0.15432 = queryWeight, product of:
               1.7629869 = boost
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.01433585 = queryNorm
             0.23851173 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.02068139 = weight(abstract_txt:that in 2136) [ClassicSimilarity], result of:
           0.02068139 = score(doc=2136,freq=13.0), product of:
             0.061972048 = queryWeight, product of:
               1.8244008 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.01433585 = queryNorm
             0.33372128 = fieldWeight in 2136, product of:
               3.6055512 = tf(freq=13.0), with freq of:
                 13.0 = termFreq=13.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.058674958 = weight(abstract_txt:philosophical in 2136) [ClassicSimilarity], result of:
           0.058674958 = score(doc=2136,freq=2.0), product of:
             0.16714476 = queryWeight, product of:
               1.8347814 = boost
               6.3545527 = idf(docFreq=208, maxDocs=44218)
               0.01433585 = queryNorm
             0.35104275 = fieldWeight in 2136, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3545527 = idf(docFreq=208, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.013239039 = weight(abstract_txt:which in 2136) [ClassicSimilarity], result of:
           0.013239039 = score(doc=2136,freq=2.0), product of:
             0.08216512 = queryWeight, product of:
               1.9650341 = boost
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.01433585 = queryNorm
             0.16112724 = fieldWeight in 2136, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.08663325 = weight(abstract_txt:truth in 2136) [ClassicSimilarity], result of:
           0.08663325 = score(doc=2136,freq=1.0), product of:
             0.3005409 = queryWeight, product of:
               2.8409207 = boost
               7.3793993 = idf(docFreq=74, maxDocs=44218)
               0.01433585 = queryNorm
             0.28825778 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.3793993 = idf(docFreq=74, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.16194673 = weight(abstract_txt:postmodern in 2136) [ClassicSimilarity], result of:
           0.16194673 = score(doc=2136,freq=1.0), product of:
             0.49128324 = queryWeight, product of:
               4.060956 = boost
               8.43879 = idf(docFreq=25, maxDocs=44218)
               0.01433585 = queryNorm
             0.32964024 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.43879 = idf(docFreq=25, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
         0.11243782 = weight(abstract_txt:mathematics in 2136) [ClassicSimilarity], result of:
           0.11243782 = score(doc=2136,freq=1.0), product of:
             0.43092477 = queryWeight, product of:
               4.5001507 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.01433585 = queryNorm
             0.26092216 = fieldWeight in 2136, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2136)
       0.44 = coord(11/25)
   

4. Cornelius, I.: Theorizing information for information science (2002) 0.19

   0.18918543 = sum of:
     0.18918543 = product of:
       0.36381814 = sum of:
         0.011634439 = weight(abstract_txt:between in 4244) [ClassicSimilarity], result of:
           0.011634439 = score(doc=4244,freq=3.0), product of:
             0.049650557 = queryWeight, product of:
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.01433585 = queryNorm
             0.23432645 = fieldWeight in 4244, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.015304347 = weight(abstract_txt:does in 4244) [ClassicSimilarity], result of:
           0.015304347 = score(doc=4244,freq=1.0), product of:
             0.07510123 = queryWeight, product of:
               1.0041898 = boost
               5.2168427 = idf(docFreq=651, maxDocs=44218)
               0.01433585 = queryNorm
             0.20378292 = fieldWeight in 4244, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2168427 = idf(docFreq=651, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.01585363 = weight(abstract_txt:attention in 4244) [ClassicSimilarity], result of:
           0.01585363 = score(doc=4244,freq=1.0), product of:
             0.0768876 = queryWeight, product of:
               1.0160626 = boost
               5.2785225 = idf(docFreq=612, maxDocs=44218)
               0.01433585 = queryNorm
             0.20619228 = fieldWeight in 4244, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2785225 = idf(docFreq=612, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.0102543 = weight(abstract_txt:knowledge in 4244) [ClassicSimilarity], result of:
           0.0102543 = score(doc=4244,freq=2.0), product of:
             0.05224703 = queryWeight, product of:
               1.0258143 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.01433585 = queryNorm
             0.19626571 = fieldWeight in 4244, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.0076548546 = weight(abstract_txt:been in 4244) [ClassicSimilarity], result of:
           0.0076548546 = score(doc=4244,freq=1.0), product of:
             0.05417001 = queryWeight, product of:
               1.0445216 = boost
               3.617579 = idf(docFreq=3226, maxDocs=44218)
               0.01433585 = queryNorm
             0.14131168 = fieldWeight in 4244, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.617579 = idf(docFreq=3226, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.02665815 = weight(abstract_txt:meaning in 4244) [ClassicSimilarity], result of:
           0.02665815 = score(doc=4244,freq=2.0), product of:
             0.08629398 = queryWeight, product of:
               1.076422 = boost
               5.592094 = idf(docFreq=447, maxDocs=44218)
               0.01433585 = queryNorm
             0.30892247 = fieldWeight in 4244, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.592094 = idf(docFreq=447, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.029866781 = weight(abstract_txt:attempts in 4244) [ClassicSimilarity], result of:
           0.029866781 = score(doc=4244,freq=2.0), product of:
             0.09308638 = queryWeight, product of:
               1.1179835 = boost
               5.808009 = idf(docFreq=360, maxDocs=44218)
               0.01433585 = queryNorm
             0.3208502 = fieldWeight in 4244, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.808009 = idf(docFreq=360, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.022013128 = weight(abstract_txt:discussion in 4244) [ClassicSimilarity], result of:
           0.022013128 = score(doc=4244,freq=1.0), product of:
             0.10954404 = queryWeight, product of:
               1.485362 = boost
               5.144379 = idf(docFreq=700, maxDocs=44218)
               0.01433585 = queryNorm
             0.2009523 = fieldWeight in 4244, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.144379 = idf(docFreq=700, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.032867387 = weight(abstract_txt:perspectives in 4244) [ClassicSimilarity], result of:
           0.032867387 = score(doc=4244,freq=1.0), product of:
             0.14310156 = queryWeight, product of:
               1.6976968 = boost
               5.879776 = idf(docFreq=335, maxDocs=44218)
               0.01433585 = queryNorm
             0.22967875 = fieldWeight in 4244, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.879776 = idf(docFreq=335, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.019870035 = weight(abstract_txt:that in 4244) [ClassicSimilarity], result of:
           0.019870035 = score(doc=4244,freq=12.0), product of:
             0.061972048 = queryWeight, product of:
               1.8244008 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.01433585 = queryNorm
             0.320629 = fieldWeight in 4244, product of:
               3.4641016 = tf(freq=12.0), with freq of:
                 12.0 = termFreq=12.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.016214447 = weight(abstract_txt:which in 4244) [ClassicSimilarity], result of:
           0.016214447 = score(doc=4244,freq=3.0), product of:
             0.08216512 = queryWeight, product of:
               1.9650341 = boost
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.01433585 = queryNorm
             0.19733977 = fieldWeight in 4244, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.9167147 = idf(docFreq=6503, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.08663325 = weight(abstract_txt:truth in 4244) [ClassicSimilarity], result of:
           0.08663325 = score(doc=4244,freq=1.0), product of:
             0.3005409 = queryWeight, product of:
               2.8409207 = boost
               7.3793993 = idf(docFreq=74, maxDocs=44218)
               0.01433585 = queryNorm
             0.28825778 = fieldWeight in 4244, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.3793993 = idf(docFreq=74, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
         0.0689934 = weight(abstract_txt:mathematical in 4244) [ClassicSimilarity], result of:
           0.0689934 = score(doc=4244,freq=1.0), product of:
             0.27815628 = queryWeight, product of:
               3.0556722 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.01433585 = queryNorm
             0.24803826 = fieldWeight in 4244, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.0390625 = fieldNorm(doc=4244)
       0.52 = coord(13/25)
   

5. Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011) 0.18

   0.18318608 = sum of:
     0.18318608 = product of:
       0.7632754 = sum of:
         0.024865355 = weight(abstract_txt:knowledge in 135) [ClassicSimilarity], result of:
           0.024865355 = score(doc=135,freq=6.0), product of:
             0.05224703 = queryWeight, product of:
               1.0258143 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.01433585 = queryNorm
             0.47591904 = fieldWeight in 135, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.01515584 = weight(abstract_txt:been in 135) [ClassicSimilarity], result of:
           0.01515584 = score(doc=135,freq=2.0), product of:
             0.05417001 = queryWeight, product of:
               1.0445216 = boost
               3.617579 = idf(docFreq=3226, maxDocs=44218)
               0.01433585 = queryNorm
             0.27978286 = fieldWeight in 135, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.617579 = idf(docFreq=3226, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.084159166 = weight(abstract_txt:mathematicians in 135) [ClassicSimilarity], result of:
           0.084159166 = score(doc=135,freq=1.0), product of:
             0.18696174 = queryWeight, product of:
               1.5844141 = boost
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.01433585 = queryNorm
             0.4501411 = fieldWeight in 135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.013909024 = weight(abstract_txt:that in 135) [ClassicSimilarity], result of:
           0.013909024 = score(doc=135,freq=3.0), product of:
             0.061972048 = queryWeight, product of:
               1.8244008 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.01433585 = queryNorm
             0.22444029 = fieldWeight in 135, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.27319995 = weight(abstract_txt:mathematical in 135) [ClassicSimilarity], result of:
           0.27319995 = score(doc=135,freq=8.0), product of:
             0.27815628 = queryWeight, product of:
               3.0556722 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.01433585 = queryNorm
             0.98218143 = fieldWeight in 135, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.35198605 = weight(abstract_txt:mathematics in 135) [ClassicSimilarity], result of:
           0.35198605 = score(doc=135,freq=5.0), product of:
             0.43092477 = queryWeight, product of:
               4.5001507 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.01433585 = queryNorm
             0.81681556 = fieldWeight in 135, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
       0.24 = coord(6/25)