Document (#17975)

Author

Chaitin, G.J.

Title

¬The limits of mathematics

Imprint

New York : Springer

Year

1997

Pages

160 S

Isbn

981-3083-59-X

Series

Springer series in discrete mathematics and theoretical computer science

Abstract

This book is the final version of a course on algorithmic information theory and the epistemology of mathematics and physics. It discusses Einstein and Gödel views of the nature of mathematics in the light of information theory, and sustains the thesis that mathematics is quasi-empirical. There is a foreword by Cris Calude of the University of Auckland, and supplementary material is available at the autor web site

Similar documents (author)

1. Chaitin, G.J.: Gödel's theorem and information (1982) 6.01

   6.0137663 = sum of:
     6.0137663 = weight(author_txt:chaitin in 2447) [ClassicSimilarity], result of:
       6.0137663 = fieldWeight in 2447, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.622026 = idf(docFreq=7, maxDocs=44421)
         0.625 = fieldNorm(doc=2447)
   

2. Chaitin, G.: ¬Die Grenzen der Gewissheit (2006) 6.01

   6.0137663 = sum of:
     6.0137663 = weight(author_txt:chaitin in 4478) [ClassicSimilarity], result of:
       6.0137663 = fieldWeight in 4478, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.622026 = idf(docFreq=7, maxDocs=44421)
         0.625 = fieldNorm(doc=4478)
   

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

   6.0137663 = sum of:
     6.0137663 = weight(author_txt:chaitin in 3212) [ClassicSimilarity], result of:
       6.0137663 = fieldWeight in 3212, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.622026 = idf(docFreq=7, maxDocs=44421)
         0.625 = fieldNorm(doc=3212)
   

4. Chaitin, G.J.: Grenzen der Berechenbarkeit (2004) 6.01

   6.0137663 = sum of:
     6.0137663 = weight(author_txt:chaitin in 3422) [ClassicSimilarity], result of:
       6.0137663 = fieldWeight in 3422, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.622026 = idf(docFreq=7, maxDocs=44421)
         0.625 = fieldNorm(doc=3422)
   

5. Chaitin, G.J.: Algorithmic information theory (1987) 6.01

   6.0137663 = sum of:
     6.0137663 = weight(author_txt:chaitin in 175) [ClassicSimilarity], result of:
       6.0137663 = fieldWeight in 175, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.622026 = idf(docFreq=7, maxDocs=44421)
         0.625 = fieldNorm(doc=175)
   

Similar documents (content)

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

   0.094494484 = sum of:
     0.094494484 = product of:
       0.59059054 = sum of:
         0.0055360533 = weight(abstract_txt:information in 2239) [ClassicSimilarity], result of:
           0.0055360533 = score(doc=2239,freq=1.0), product of:
             0.036618657 = queryWeight, product of:
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.015138561 = queryNorm
             0.15118122 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.029554836 = weight(abstract_txt:material in 2239) [ClassicSimilarity], result of:
           0.029554836 = score(doc=2239,freq=1.0), product of:
             0.08877921 = queryWeight, product of:
               1.1010053 = boost
               5.3264427 = idf(docFreq=586, maxDocs=44421)
               0.015138561 = queryNorm
             0.33290267 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3264427 = idf(docFreq=586, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.036173303 = weight(abstract_txt:site in 2239) [ClassicSimilarity], result of:
           0.036173303 = score(doc=2239,freq=1.0), product of:
             0.10158222 = queryWeight, product of:
               1.1777216 = boost
               5.6975803 = idf(docFreq=404, maxDocs=44421)
               0.015138561 = queryNorm
             0.35609877 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6975803 = idf(docFreq=404, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.5193263 = weight(abstract_txt:mathematics in 2239) [ClassicSimilarity], result of:
           0.5193263 = score(doc=2239,freq=5.0), product of:
             0.55703497 = queryWeight, product of:
               5.5157557 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015138561 = 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)
   

2. Líska, M.: Evaluation of mathematics retrieval (2013) 0.09

   0.09235444 = sum of:
     0.09235444 = product of:
       0.57721525 = sum of:
         0.0069200667 = weight(abstract_txt:information in 2653) [ClassicSimilarity], result of:
           0.0069200667 = score(doc=2653,freq=1.0), product of:
             0.036618657 = queryWeight, product of:
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.015138561 = queryNorm
             0.18897653 = fieldWeight in 2653, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4188995 = idf(docFreq=10748, maxDocs=44421)
               0.078125 = fieldNorm(doc=2653)
         0.03618324 = weight(abstract_txt:version in 2653) [ClassicSimilarity], result of:
           0.03618324 = score(doc=2653,freq=1.0), product of:
             0.087556936 = queryWeight, product of:
               1.0934 = boost
               5.2896495 = idf(docFreq=608, maxDocs=44421)
               0.015138561 = queryNorm
             0.41325387 = fieldWeight in 2653, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2896495 = idf(docFreq=608, maxDocs=44421)
               0.078125 = fieldNorm(doc=2653)
         0.12354842 = weight(abstract_txt:thesis in 2653) [ClassicSimilarity], result of:
           0.12354842 = score(doc=2653,freq=2.0), product of:
             0.15757973 = queryWeight, product of:
               1.4668442 = boost
               7.0962973 = idf(docFreq=99, maxDocs=44421)
               0.015138561 = queryNorm
             0.7840375 = fieldWeight in 2653, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.0962973 = idf(docFreq=99, maxDocs=44421)
               0.078125 = fieldNorm(doc=2653)
         0.41056353 = weight(abstract_txt:mathematics in 2653) [ClassicSimilarity], result of:
           0.41056353 = score(doc=2653,freq=2.0), product of:
             0.55703497 = queryWeight, product of:
               5.5157557 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015138561 = queryNorm
             0.7370516 = fieldWeight in 2653, 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=2653)
       0.16 = coord(4/25)
   

3. Popescu, F.: ¬An approach to eponyms in mathematics (2009) 0.09

   0.0896667 = sum of:
     0.0896667 = product of:
       0.5604169 = sum of:
         0.029554836 = weight(abstract_txt:material in 2119) [ClassicSimilarity], result of:
           0.029554836 = score(doc=2119,freq=1.0), product of:
             0.08877921 = queryWeight, product of:
               1.1010053 = boost
               5.3264427 = idf(docFreq=586, maxDocs=44421)
               0.015138561 = queryNorm
             0.33290267 = fieldWeight in 2119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3264427 = idf(docFreq=586, maxDocs=44421)
               0.0625 = fieldNorm(doc=2119)
         0.0584067 = weight(abstract_txt:physics in 2119) [ClassicSimilarity], result of:
           0.0584067 = score(doc=2119,freq=1.0), product of:
             0.13980864 = queryWeight, product of:
               1.3816588 = boost
               6.684188 = idf(docFreq=150, maxDocs=44421)
               0.015138561 = queryNorm
             0.41776174 = fieldWeight in 2119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.684188 = idf(docFreq=150, maxDocs=44421)
               0.0625 = fieldNorm(doc=2119)
         0.070186906 = weight(abstract_txt:epistemology in 2119) [ClassicSimilarity], result of:
           0.070186906 = score(doc=2119,freq=1.0), product of:
             0.1580264 = queryWeight, product of:
               1.4689215 = boost
               7.1063476 = idf(docFreq=98, maxDocs=44421)
               0.015138561 = queryNorm
             0.44414672 = fieldWeight in 2119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.1063476 = idf(docFreq=98, maxDocs=44421)
               0.0625 = fieldNorm(doc=2119)
         0.40226844 = weight(abstract_txt:mathematics in 2119) [ClassicSimilarity], result of:
           0.40226844 = score(doc=2119,freq=3.0), product of:
             0.55703497 = queryWeight, product of:
               5.5157557 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015138561 = 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.16 = coord(4/25)
   

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

   0.07796452 = sum of:
     0.07796452 = product of:
       0.64970434 = sum of:
         0.022404118 = weight(abstract_txt:book in 3212) [ClassicSimilarity], result of:
           0.022404118 = score(doc=3212,freq=1.0), product of:
             0.07380925 = queryWeight, product of:
               1.0038971 = boost
               4.8566523 = idf(docFreq=938, maxDocs=44421)
               0.015138561 = queryNorm
             0.30354077 = fieldWeight in 3212, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.8566523 = idf(docFreq=938, maxDocs=44421)
               0.0625 = fieldNorm(doc=3212)
         0.0584067 = weight(abstract_txt:physics in 3212) [ClassicSimilarity], result of:
           0.0584067 = score(doc=3212,freq=1.0), product of:
             0.13980864 = queryWeight, product of:
               1.3816588 = boost
               6.684188 = idf(docFreq=150, maxDocs=44421)
               0.015138561 = queryNorm
             0.41776174 = fieldWeight in 3212, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.684188 = idf(docFreq=150, maxDocs=44421)
               0.0625 = fieldNorm(doc=3212)
         0.56889355 = weight(abstract_txt:mathematics in 3212) [ClassicSimilarity], result of:
           0.56889355 = score(doc=3212,freq=6.0), product of:
             0.55703497 = queryWeight, product of:
               5.5157557 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015138561 = queryNorm
             1.0212888 = fieldWeight in 3212, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.0625 = fieldNorm(doc=3212)
       0.12 = coord(3/25)
   

5. Scheibe, E.: Calculemus! : The problem of the application of logic and mathematics (1996) 0.07

   0.0745548 = sum of:
     0.0745548 = product of:
       0.62129 = sum of:
         0.07300838 = weight(abstract_txt:physics in 4509) [ClassicSimilarity], result of:
           0.07300838 = score(doc=4509,freq=1.0), product of:
             0.13980864 = queryWeight, product of:
               1.3816588 = boost
               6.684188 = idf(docFreq=150, maxDocs=44421)
               0.015138561 = queryNorm
             0.5222022 = fieldWeight in 4509, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.684188 = idf(docFreq=150, maxDocs=44421)
               0.078125 = fieldNorm(doc=4509)
         0.045446143 = weight(abstract_txt:theory in 4509) [ClassicSimilarity], result of:
           0.045446143 = score(doc=4509,freq=1.0), product of:
             0.1284183 = queryWeight, product of:
               1.8726742 = boost
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.015138561 = queryNorm
             0.3538915 = fieldWeight in 4509, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.529811 = idf(docFreq=1301, maxDocs=44421)
               0.078125 = fieldNorm(doc=4509)
         0.5028355 = weight(abstract_txt:mathematics in 4509) [ClassicSimilarity], result of:
           0.5028355 = score(doc=4509,freq=3.0), product of:
             0.55703497 = queryWeight, product of:
               5.5157557 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015138561 = queryNorm
             0.9027001 = fieldWeight in 4509, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.078125 = fieldNorm(doc=4509)
       0.12 = coord(3/25)