Document (#31595)

Author
Grunwald, E.
Title
Evolution and design inside and outside mathematics
Source
Mathematical intelligencer. 27(2005) no.2, S.17-23
Year
2005
Abstract
Let me start with three dichotomies. Although the first one (at least) is very old, 1 will refer to them for convenience by the names of twentiethcentury mathematicians who have discussed them. Hardy's Dichotomy ... three is no sort of agreement about the nature of mathematical reality among either mathematicians or philosophers. Some hold that it is `mental' and that in some sense we construct it, ourselves, others that it, is outside and independent of us. Gowers's Dichotomy Loosely speaking ... the distinction between mathematicians who regard their central aim as being to solve Problems, and those who are more coneerned with building and understanding theories. Atiyah's Dichotomy Geometry and algebra are the two for-mal pillars of mathematies ... Geometry is, of course, about space ... Algebra, an the other hand ... is concerned essentially with time. Whatever kind of algebra you are doing, a sequence of operations is performed one after the other and 'one after the other' means you have got to have time. In a statie universe you cannot imagine algebra, but geometry is essentially static. My questions in this paper are these: are the three dichotomies related, and are they special Gases of a wider dichotomy that operates outside as well as inside mathematics? My answer to both questions is yes.
Field
Mathematik

Similar documents (author)

  1. Grunwald, W.: Einheitsklassifikation "Physik" (1978) 6.01 
    6.010904 = sum of:
  6.010904 = weight(author_txt:grunwald in 1666) [ClassicSimilarity], result of:
    6.010904 = fieldWeight in 1666, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.617446 = idf(docFreq=7, maxDocs=44218)
      0.625 = fieldNorm(doc=1666)
  2. Grunwald, W.: ¬Die naturwissenschaftliche und technische Fachbibliographie (1955) 6.01 
    6.010904 = sum of:
  6.010904 = weight(author_txt:grunwald in 5436) [ClassicSimilarity], result of:
    6.010904 = fieldWeight in 5436, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.617446 = idf(docFreq=7, maxDocs=44218)
      0.625 = fieldNorm(doc=5436)
  3. Grunwald, W.: Zur Sacherschließung im Bereich der Chemie (1959) 6.01 
    6.010904 = sum of:
  6.010904 = weight(author_txt:grunwald in 2619) [ClassicSimilarity], result of:
    6.010904 = fieldWeight in 2619, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.617446 = idf(docFreq=7, maxDocs=44218)
      0.625 = fieldNorm(doc=2619)
  4. Grunwald, W.: Klassifikationstheorie (1968) 6.01 
    6.010904 = sum of:
  6.010904 = weight(author_txt:grunwald in 5425) [ClassicSimilarity], result of:
    6.010904 = fieldWeight in 5425, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.617446 = idf(docFreq=7, maxDocs=44218)
      0.625 = fieldNorm(doc=5425)
  5. Grunwald, E.: Eponymphomania (2005) 6.01 
    6.010904 = sum of:
  6.010904 = weight(author_txt:grunwald in 3331) [ClassicSimilarity], result of:
    6.010904 = fieldWeight in 3331, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.617446 = idf(docFreq=7, maxDocs=44218)
      0.625 = fieldNorm(doc=3331)

Similar documents (content)

  1. Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011) 0.14 
    0.14228593 = sum of:
  0.14228593 = product of:
    0.50816405 = sum of:
      0.01029147 = weight(abstract_txt:about in 135) [ClassicSimilarity], result of:
        0.01029147 = score(doc=135,freq=1.0), product of:
          0.047992274 = queryWeight, product of:
            3.9211915 = idf(docFreq=2381, maxDocs=44218)
            0.0122392075 = queryNorm
          0.21444015 = fieldWeight in 135, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9211915 = idf(docFreq=2381, maxDocs=44218)
            0.0546875 = fieldNorm(doc=135)
      0.0135131525 = weight(abstract_txt:them in 135) [ClassicSimilarity], result of:
        0.0135131525 = score(doc=135,freq=1.0), product of:
          0.057547197 = queryWeight, product of:
            1.095031 = boost
            4.293826 = idf(docFreq=1640, maxDocs=44218)
            0.0122392075 = queryNorm
          0.23481861 = fieldWeight in 135, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.293826 = idf(docFreq=1640, maxDocs=44218)
            0.0546875 = fieldNorm(doc=135)
      0.007866298 = weight(abstract_txt:that in 135) [ClassicSimilarity], result of:
        0.007866298 = score(doc=135,freq=3.0), product of:
          0.03504851 = queryWeight, product of:
            1.2085485 = boost
            2.3694751 = idf(docFreq=11241, maxDocs=44218)
            0.0122392075 = 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.011916584 = weight(abstract_txt:have in 135) [ClassicSimilarity], result of:
        0.011916584 = score(doc=135,freq=2.0), product of:
          0.04808113 = queryWeight, product of:
            1.2258781 = boost
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.0122392075 = queryNorm
          0.24784327 = fieldWeight in 135, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.0546875 = fieldNorm(doc=135)
      0.113752544 = weight(abstract_txt:mathematics in 135) [ClassicSimilarity], result of:
        0.113752544 = score(doc=135,freq=5.0), product of:
          0.13926344 = queryWeight, product of:
            1.7034637 = boost
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.0122392075 = 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.14278954 = weight(abstract_txt:mathematicians in 135) [ClassicSimilarity], result of:
        0.14278954 = score(doc=135,freq=1.0), product of:
          0.3172106 = queryWeight, product of:
            3.1487184 = boost
            8.231152 = idf(docFreq=31, maxDocs=44218)
            0.0122392075 = 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.20803446 = weight(abstract_txt:algebra in 135) [ClassicSimilarity], result of:
        0.20803446 = score(doc=135,freq=1.0), product of:
          0.44869706 = queryWeight, product of:
            4.3242016 = boost
            8.478011 = idf(docFreq=24, maxDocs=44218)
            0.0122392075 = queryNorm
          0.46364123 = fieldWeight in 135, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.478011 = idf(docFreq=24, maxDocs=44218)
            0.0546875 = fieldNorm(doc=135)
    0.28 = coord(7/25)
  2. Grunwald, E.: Eponymphomania (2005) 0.13 
    0.13059792 = sum of:
  0.13059792 = product of:
    0.816237 = sum of:
      0.012845611 = weight(abstract_txt:that in 3331) [ClassicSimilarity], result of:
        0.012845611 = score(doc=3331,freq=2.0), product of:
          0.03504851 = queryWeight, product of:
            1.2085485 = boost
            2.3694751 = idf(docFreq=11241, maxDocs=44218)
            0.0122392075 = queryNorm
          0.36650947 = fieldWeight in 3331, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            2.3694751 = idf(docFreq=11241, maxDocs=44218)
            0.109375 = fieldNorm(doc=3331)
      0.10174337 = weight(abstract_txt:mathematics in 3331) [ClassicSimilarity], result of:
        0.10174337 = score(doc=3331,freq=1.0), product of:
          0.13926344 = queryWeight, product of:
            1.7034637 = boost
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.0122392075 = queryNorm
          0.73058206 = fieldWeight in 3331, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.109375 = fieldNorm(doc=3331)
      0.2855791 = weight(abstract_txt:mathematicians in 3331) [ClassicSimilarity], result of:
        0.2855791 = score(doc=3331,freq=1.0), product of:
          0.3172106 = queryWeight, product of:
            3.1487184 = boost
            8.231152 = idf(docFreq=31, maxDocs=44218)
            0.0122392075 = queryNorm
          0.9002822 = fieldWeight in 3331, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.231152 = idf(docFreq=31, maxDocs=44218)
            0.109375 = fieldNorm(doc=3331)
      0.4160689 = weight(abstract_txt:algebra in 3331) [ClassicSimilarity], result of:
        0.4160689 = score(doc=3331,freq=1.0), product of:
          0.44869706 = queryWeight, product of:
            4.3242016 = boost
            8.478011 = idf(docFreq=24, maxDocs=44218)
            0.0122392075 = queryNorm
          0.92728245 = fieldWeight in 3331, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.478011 = idf(docFreq=24, maxDocs=44218)
            0.109375 = fieldNorm(doc=3331)
    0.16 = coord(4/25)
  3. Balaguer, M.: ¬A guide for the perplexed : what mathematicians need to know to understand philosophers of mathematics (2014) 0.11 
    0.11149908 = sum of:
  0.11149908 = product of:
    0.69686925 = sum of:
      0.023523362 = weight(abstract_txt:about in 3661) [ClassicSimilarity], result of:
        0.023523362 = score(doc=3661,freq=1.0), product of:
          0.047992274 = queryWeight, product of:
            3.9211915 = idf(docFreq=2381, maxDocs=44218)
            0.0122392075 = queryNorm
          0.49014893 = fieldWeight in 3661, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9211915 = idf(docFreq=2381, maxDocs=44218)
            0.125 = fieldNorm(doc=3661)
      0.010380822 = weight(abstract_txt:that in 3661) [ClassicSimilarity], result of:
        0.010380822 = score(doc=3661,freq=1.0), product of:
          0.03504851 = queryWeight, product of:
            1.2085485 = boost
            2.3694751 = idf(docFreq=11241, maxDocs=44218)
            0.0122392075 = queryNorm
          0.2961844 = fieldWeight in 3661, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            2.3694751 = idf(docFreq=11241, maxDocs=44218)
            0.125 = fieldNorm(doc=3661)
      0.20139962 = weight(abstract_txt:mathematics in 3661) [ClassicSimilarity], result of:
        0.20139962 = score(doc=3661,freq=3.0), product of:
          0.13926344 = queryWeight, product of:
            1.7034637 = boost
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.0122392075 = queryNorm
          1.4461774 = fieldWeight in 3661, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.125 = fieldNorm(doc=3661)
      0.46156546 = weight(abstract_txt:mathematicians in 3661) [ClassicSimilarity], result of:
        0.46156546 = score(doc=3661,freq=2.0), product of:
          0.3172106 = queryWeight, product of:
            3.1487184 = boost
            8.231152 = idf(docFreq=31, maxDocs=44218)
            0.0122392075 = queryNorm
          1.4550757 = fieldWeight in 3661, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            8.231152 = idf(docFreq=31, maxDocs=44218)
            0.125 = fieldNorm(doc=3661)
    0.16 = coord(4/25)
  4. Computational information retrieval (2001) 0.11 
    0.106257275 = sum of:
  0.106257275 = product of:
    0.664108 = sum of:
      0.011237569 = weight(abstract_txt:that in 4167) [ClassicSimilarity], result of:
        0.011237569 = score(doc=4167,freq=3.0), product of:
          0.03504851 = queryWeight, product of:
            1.2085485 = boost
            2.3694751 = idf(docFreq=11241, maxDocs=44218)
            0.0122392075 = queryNorm
          0.320629 = fieldWeight in 4167, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            2.3694751 = idf(docFreq=11241, maxDocs=44218)
            0.078125 = fieldNorm(doc=4167)
      0.028592251 = weight(abstract_txt:questions in 4167) [ClassicSimilarity], result of:
        0.028592251 = score(doc=4167,freq=1.0), product of:
          0.074774005 = queryWeight, product of:
            1.2482157 = boost
            4.8944926 = idf(docFreq=899, maxDocs=44218)
            0.0122392075 = queryNorm
          0.38238224 = fieldWeight in 4167, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.8944926 = idf(docFreq=899, maxDocs=44218)
            0.078125 = fieldNorm(doc=4167)
      0.20398505 = weight(abstract_txt:mathematicians in 4167) [ClassicSimilarity], result of:
        0.20398505 = score(doc=4167,freq=1.0), product of:
          0.3172106 = queryWeight, product of:
            3.1487184 = boost
            8.231152 = idf(docFreq=31, maxDocs=44218)
            0.0122392075 = queryNorm
          0.6430587 = fieldWeight in 4167, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.231152 = idf(docFreq=31, maxDocs=44218)
            0.078125 = fieldNorm(doc=4167)
      0.4202931 = weight(abstract_txt:algebra in 4167) [ClassicSimilarity], result of:
        0.4202931 = score(doc=4167,freq=2.0), product of:
          0.44869706 = queryWeight, product of:
            4.3242016 = boost
            8.478011 = idf(docFreq=24, maxDocs=44218)
            0.0122392075 = queryNorm
          0.93669677 = fieldWeight in 4167, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            8.478011 = idf(docFreq=24, maxDocs=44218)
            0.078125 = fieldNorm(doc=4167)
    0.16 = coord(4/25)
  5. Velleman, D.J.: Fermat's last theorem and Hilbert's program (1997) 0.10 
    0.103015676 = sum of:
  0.103015676 = product of:
    0.51507837 = sum of:
      0.017642522 = weight(abstract_txt:about in 6443) [ClassicSimilarity], result of:
        0.017642522 = score(doc=6443,freq=1.0), product of:
          0.047992274 = queryWeight, product of:
            3.9211915 = idf(docFreq=2381, maxDocs=44218)
            0.0122392075 = queryNorm
          0.3676117 = fieldWeight in 6443, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9211915 = idf(docFreq=2381, maxDocs=44218)
            0.09375 = fieldNorm(doc=6443)
      0.013485082 = weight(abstract_txt:that in 6443) [ClassicSimilarity], result of:
        0.013485082 = score(doc=6443,freq=3.0), product of:
          0.03504851 = queryWeight, product of:
            1.2085485 = boost
            2.3694751 = idf(docFreq=11241, maxDocs=44218)
            0.0122392075 = queryNorm
          0.38475478 = fieldWeight in 6443, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            2.3694751 = idf(docFreq=11241, maxDocs=44218)
            0.09375 = fieldNorm(doc=6443)
      0.014445082 = weight(abstract_txt:have in 6443) [ClassicSimilarity], result of:
        0.014445082 = score(doc=6443,freq=1.0), product of:
          0.04808113 = queryWeight, product of:
            1.2258781 = boost
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.0122392075 = queryNorm
          0.30043143 = fieldWeight in 6443, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.2046018 = idf(docFreq=4876, maxDocs=44218)
            0.09375 = fieldNorm(doc=6443)
      0.12333158 = weight(abstract_txt:mathematics in 6443) [ClassicSimilarity], result of:
        0.12333158 = score(doc=6443,freq=2.0), product of:
          0.13926344 = queryWeight, product of:
            1.7034637 = boost
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.0122392075 = queryNorm
          0.88559914 = fieldWeight in 6443, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.6796074 = idf(docFreq=150, maxDocs=44218)
            0.09375 = fieldNorm(doc=6443)
      0.3461741 = weight(abstract_txt:mathematicians in 6443) [ClassicSimilarity], result of:
        0.3461741 = score(doc=6443,freq=2.0), product of:
          0.3172106 = queryWeight, product of:
            3.1487184 = boost
            8.231152 = idf(docFreq=31, maxDocs=44218)
            0.0122392075 = queryNorm
          1.0913068 = fieldWeight in 6443, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            8.231152 = idf(docFreq=31, maxDocs=44218)
            0.09375 = fieldNorm(doc=6443)
    0.2 = coord(5/25)