Document (#13510)

Author

Scheibe, E.

Title

Calculemus! : The problem of the application of logic and mathematics

Source

Knowledge organization. 23(1996) no.2, S.67-76

Year

1996

Abstract

Starting out from Descartes' and Leibniz' idea of a mathesis universalis the achievements of modern mathematics are divided into three major parts: the creation of algortihms, the invention of proofs, and the application of mathematics to the description of nature. This applicability has repeatedly been viewed as being just a miracle. One major idea to diminish the miraculous impression was to view mathematics as exploring the vast area of all kinds of abstract structures, thus establishing a huge store og humanly possible thinking from which the physicists has only to chosose the structure appropriate for the case before him. There remains, however, the problem of mathematical overdetermination of physics: the structures suitable for application usually contain mathematical elements that remain without physical interpretation. The true miracle than seems to be that it is often very difficult, if not impossible, to eliminate those uninterpreted elements from physical theory

Similar documents (content)

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

   0.21697186 = sum of:
     0.21697186 = product of:
       0.90404946 = sum of:
         0.018354129 = weight(abstract_txt:from in 1135) [ClassicSimilarity], result of:
           0.018354129 = score(doc=1135,freq=4.0), product of:
             0.060813673 = queryWeight, product of:
               1.192945 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.018474229 = queryNorm
             0.30180925 = fieldWeight in 1135, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
         0.19116585 = weight(abstract_txt:proofs in 1135) [ClassicSimilarity], result of:
           0.19116585 = score(doc=1135,freq=2.0), product of:
             0.25337 = queryWeight, product of:
               1.4058429 = boost
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.018474229 = queryNorm
             0.7544929 = fieldWeight in 1135, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.755557 = idf(docFreq=6, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
         0.05525252 = weight(abstract_txt:structures in 1135) [ClassicSimilarity], result of:
           0.05525252 = score(doc=1135,freq=2.0), product of:
             0.13954888 = queryWeight, product of:
               1.4754938 = boost
               5.1194425 = idf(docFreq=721, maxDocs=44421)
               0.018474229 = queryNorm
             0.39593667 = fieldWeight in 1135, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.1194425 = idf(docFreq=721, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
         0.21084103 = weight(abstract_txt:mathematical in 1135) [ClassicSimilarity], result of:
           0.21084103 = score(doc=1135,freq=8.0), product of:
             0.21467184 = queryWeight, product of:
               1.8300449 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.018474229 = queryNorm
             0.9821551 = fieldWeight in 1135, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
         0.041835215 = weight(abstract_txt:application in 1135) [ClassicSimilarity], result of:
           0.041835215 = score(doc=1135,freq=1.0), product of:
             0.16719632 = queryWeight, product of:
               1.9780314 = boost
               4.5753803 = idf(docFreq=1243, maxDocs=44421)
               0.018474229 = queryNorm
             0.25021613 = fieldWeight in 1135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5753803 = idf(docFreq=1243, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
         0.38660073 = weight(abstract_txt:mathematics in 1135) [ClassicSimilarity], result of:
           0.38660073 = score(doc=1135,freq=5.0), product of:
             0.47391096 = queryWeight, product of:
               3.845365 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.018474229 = queryNorm
             0.81576663 = fieldWeight in 1135, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
       0.24 = coord(6/25)
   

2. Popescu, F.: ¬An approach to eponyms in mathematics (2009) 0.13

   0.13458176 = sum of:
     0.13458176 = product of:
       0.6729088 = sum of:
         0.010488074 = weight(abstract_txt:from in 2119) [ClassicSimilarity], result of:
           0.010488074 = score(doc=2119,freq=1.0), product of:
             0.060813673 = queryWeight, product of:
               1.192945 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.018474229 = queryNorm
             0.17246243 = fieldWeight in 2119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.0625 = fieldNorm(doc=2119)
         0.06314574 = weight(abstract_txt:structures in 2119) [ClassicSimilarity], result of:
           0.06314574 = score(doc=2119,freq=2.0), product of:
             0.13954888 = queryWeight, product of:
               1.4754938 = boost
               5.1194425 = idf(docFreq=721, maxDocs=44421)
               0.018474229 = queryNorm
             0.45249906 = fieldWeight in 2119, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.1194425 = idf(docFreq=721, maxDocs=44421)
               0.0625 = fieldNorm(doc=2119)
         0.048356883 = weight(abstract_txt:elements in 2119) [ClassicSimilarity], result of:
           0.048356883 = score(doc=2119,freq=1.0), product of:
             0.14716771 = queryWeight, product of:
               1.5152366 = boost
               5.257336 = idf(docFreq=628, maxDocs=44421)
               0.018474229 = queryNorm
             0.3285835 = fieldWeight in 2119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.257336 = idf(docFreq=628, maxDocs=44421)
               0.0625 = fieldNorm(doc=2119)
         0.20867851 = weight(abstract_txt:mathematical in 2119) [ClassicSimilarity], result of:
           0.20867851 = score(doc=2119,freq=6.0), product of:
             0.21467184 = queryWeight, product of:
               1.8300449 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.018474229 = queryNorm
             0.9720815 = fieldWeight in 2119, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0625 = fieldNorm(doc=2119)
         0.3422396 = weight(abstract_txt:mathematics in 2119) [ClassicSimilarity], result of:
           0.3422396 = score(doc=2119,freq=3.0), product of:
             0.47391096 = queryWeight, product of:
               3.845365 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.018474229 = queryNorm
             0.7221601 = fieldWeight in 2119, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.0625 = fieldNorm(doc=2119)
       0.2 = coord(5/25)
   

3. Brown, C.: Physical sciences and mathematics literatures and their users (2009) 0.13

   0.13077578 = sum of:
     0.13077578 = product of:
       0.8173486 = sum of:
         0.18487841 = weight(abstract_txt:physicists in 851) [ClassicSimilarity], result of:
           0.18487841 = score(doc=851,freq=2.0), product of:
             0.19534597 = queryWeight, product of:
               1.2344157 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.018474229 = queryNorm
             0.9464153 = fieldWeight in 851, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.078125 = fieldNorm(doc=851)
         0.13257258 = weight(abstract_txt:physical in 851) [ClassicSimilarity], result of:
           0.13257258 = score(doc=851,freq=3.0), product of:
             0.17225125 = queryWeight, product of:
               1.6392884 = boost
               5.6877522 = idf(docFreq=408, maxDocs=44421)
               0.018474229 = queryNorm
             0.7696465 = fieldWeight in 851, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.6877522 = idf(docFreq=408, maxDocs=44421)
               0.078125 = fieldNorm(doc=851)
         0.15060075 = weight(abstract_txt:mathematical in 851) [ClassicSimilarity], result of:
           0.15060075 = score(doc=851,freq=2.0), product of:
             0.21467184 = queryWeight, product of:
               1.8300449 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.018474229 = queryNorm
             0.7015394 = fieldWeight in 851, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.078125 = fieldNorm(doc=851)
         0.34929684 = weight(abstract_txt:mathematics in 851) [ClassicSimilarity], result of:
           0.34929684 = score(doc=851,freq=2.0), product of:
             0.47391096 = queryWeight, product of:
               3.845365 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.018474229 = queryNorm
             0.7370516 = fieldWeight in 851, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.078125 = fieldNorm(doc=851)
       0.16 = coord(4/25)
   

4. Grunwald, E.: Eponymphomania (2005) 0.11

   0.11042808 = sum of:
     0.11042808 = product of:
       0.69017553 = sum of:
         0.018354129 = weight(abstract_txt:from in 4331) [ClassicSimilarity], result of:
           0.018354129 = score(doc=4331,freq=1.0), product of:
             0.060813673 = queryWeight, product of:
               1.192945 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.018474229 = queryNorm
             0.30180925 = fieldWeight in 4331, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.109375 = fieldNorm(doc=4331)
         0.11519418 = weight(abstract_txt:idea in 4331) [ClassicSimilarity], result of:
           0.11519418 = score(doc=4331,freq=1.0), product of:
             0.18075986 = queryWeight, product of:
               1.679288 = boost
               5.8265367 = idf(docFreq=355, maxDocs=44421)
               0.018474229 = queryNorm
             0.6372774 = fieldWeight in 4331, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8265367 = idf(docFreq=355, maxDocs=44421)
               0.109375 = fieldNorm(doc=4331)
         0.21084103 = weight(abstract_txt:mathematical in 4331) [ClassicSimilarity], result of:
           0.21084103 = score(doc=4331,freq=2.0), product of:
             0.21467184 = queryWeight, product of:
               1.8300449 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.018474229 = queryNorm
             0.9821551 = fieldWeight in 4331, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.109375 = fieldNorm(doc=4331)
         0.34578624 = weight(abstract_txt:mathematics in 4331) [ClassicSimilarity], result of:
           0.34578624 = score(doc=4331,freq=1.0), product of:
             0.47391096 = queryWeight, product of:
               3.845365 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.018474229 = queryNorm
             0.7296439 = fieldWeight in 4331, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.109375 = fieldNorm(doc=4331)
       0.16 = coord(4/25)
   

5. Fife, E.D.; Husch, L.: ¬The Mathematics Archives : making mathematics easy to find on the Web (1999) 0.11

   0.10501169 = sum of:
     0.10501169 = product of:
       0.6563231 = sum of:
         0.010488074 = weight(abstract_txt:from in 2239) [ClassicSimilarity], result of:
           0.010488074 = score(doc=2239,freq=1.0), product of:
             0.060813673 = queryWeight, product of:
               1.192945 = boost
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.018474229 = queryNorm
             0.17246243 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.759399 = idf(docFreq=7646, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.03362029 = weight(abstract_txt:major in 2239) [ClassicSimilarity], result of:
           0.03362029 = score(doc=2239,freq=1.0), product of:
             0.11549804 = queryWeight, product of:
               1.3423369 = boost
               4.657435 = idf(docFreq=1145, maxDocs=44421)
               0.018474229 = queryNorm
             0.29108968 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.657435 = idf(docFreq=1145, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.17038529 = weight(abstract_txt:mathematical in 2239) [ClassicSimilarity], result of:
           0.17038529 = score(doc=2239,freq=4.0), product of:
             0.21467184 = queryWeight, product of:
               1.8300449 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.018474229 = queryNorm
             0.7937012 = fieldWeight in 2239, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.44182944 = weight(abstract_txt:mathematics in 2239) [ClassicSimilarity], result of:
           0.44182944 = score(doc=2239,freq=5.0), product of:
             0.47391096 = queryWeight, product of:
               3.845365 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.018474229 = queryNorm
             0.93230474 = fieldWeight in 2239, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
       0.16 = coord(4/25)