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.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 2448) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 2448, 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=2448)
   

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

   6.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 4479) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 4479, 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=4479)
   

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

   6.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 2212) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 2212, 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=2212)
   

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

   6.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 2422) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 2422, 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=2422)
   

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

   6.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 4175) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 4175, 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=4175)
   

Similar documents (content)

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

   0.09457163 = sum of:
     0.09457163 = product of:
       0.5910727 = sum of:
         0.0055369777 = weight(abstract_txt:information in 1239) [ClassicSimilarity], result of:
           0.0055369777 = score(doc=1239,freq=1.0), product of:
             0.036593806 = queryWeight, product of:
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.015115497 = queryNorm
             0.15130915 = fieldWeight in 1239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.0625 = fieldNorm(doc=1239)
         0.029437134 = weight(abstract_txt:material in 1239) [ClassicSimilarity], result of:
           0.029437134 = score(doc=1239,freq=1.0), product of:
             0.08847341 = queryWeight, product of:
               1.0994806 = boost
               5.3235674 = idf(docFreq=585, maxDocs=44218)
               0.015115497 = queryNorm
             0.33272296 = fieldWeight in 1239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3235674 = idf(docFreq=585, maxDocs=44218)
               0.0625 = fieldNorm(doc=1239)
         0.036000695 = weight(abstract_txt:site in 1239) [ClassicSimilarity], result of:
           0.036000695 = score(doc=1239,freq=1.0), product of:
             0.10117883 = queryWeight, product of:
               1.1757799 = boost
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.015115497 = queryNorm
             0.35581252 = fieldWeight in 1239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6930003 = idf(docFreq=404, maxDocs=44218)
               0.0625 = fieldNorm(doc=1239)
         0.52009785 = weight(abstract_txt:mathematics in 1239) [ClassicSimilarity], result of:
           0.52009785 = score(doc=1239,freq=5.0), product of:
             0.55714613 = queryWeight, product of:
               5.518179 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.015115497 = queryNorm
             0.9335035 = fieldWeight in 1239, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0625 = fieldNorm(doc=1239)
       0.16 = coord(4/25)
   

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

   0.09234932 = sum of:
     0.09234932 = product of:
       0.57718325 = sum of:
         0.006921222 = weight(abstract_txt:information in 1653) [ClassicSimilarity], result of:
           0.006921222 = score(doc=1653,freq=1.0), product of:
             0.036593806 = queryWeight, product of:
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.015115497 = queryNorm
             0.18913643 = fieldWeight in 1653, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4209464 = idf(docFreq=10677, maxDocs=44218)
               0.078125 = fieldNorm(doc=1653)
         0.03607114 = weight(abstract_txt:version in 1653) [ClassicSimilarity], result of:
           0.03607114 = score(doc=1653,freq=1.0), product of:
             0.087306984 = queryWeight, product of:
               1.0922089 = boost
               5.288358 = idf(docFreq=606, maxDocs=44218)
               0.015115497 = queryNorm
             0.413153 = fieldWeight in 1653, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.288358 = idf(docFreq=606, maxDocs=44218)
               0.078125 = fieldNorm(doc=1653)
         0.12301739 = weight(abstract_txt:thesis in 1653) [ClassicSimilarity], result of:
           0.12301739 = score(doc=1653,freq=2.0), product of:
             0.15700378 = queryWeight, product of:
               1.464658 = boost
               7.0917172 = idf(docFreq=99, maxDocs=44218)
               0.015115497 = queryNorm
             0.7835314 = fieldWeight in 1653, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.0917172 = idf(docFreq=99, maxDocs=44218)
               0.078125 = fieldNorm(doc=1653)
         0.41117346 = weight(abstract_txt:mathematics in 1653) [ClassicSimilarity], result of:
           0.41117346 = score(doc=1653,freq=2.0), product of:
             0.55714613 = queryWeight, product of:
               5.518179 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.015115497 = queryNorm
             0.7379993 = fieldWeight in 1653, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.078125 = fieldNorm(doc=1653)
       0.16 = coord(4/25)
   

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

   0.08977844 = sum of:
     0.08977844 = product of:
       0.56111526 = sum of:
         0.029437134 = weight(abstract_txt:material in 1119) [ClassicSimilarity], result of:
           0.029437134 = score(doc=1119,freq=1.0), product of:
             0.08847341 = queryWeight, product of:
               1.0994806 = boost
               5.3235674 = idf(docFreq=585, maxDocs=44218)
               0.015115497 = queryNorm
             0.33272296 = fieldWeight in 1119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3235674 = idf(docFreq=585, maxDocs=44218)
               0.0625 = fieldNorm(doc=1119)
         0.058322422 = weight(abstract_txt:physics in 1119) [ClassicSimilarity], result of:
           0.058322422 = score(doc=1119,freq=1.0), product of:
             0.1395638 = queryWeight, product of:
               1.3809171 = boost
               6.686252 = idf(docFreq=149, maxDocs=44218)
               0.015115497 = queryNorm
             0.41789076 = fieldWeight in 1119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.686252 = idf(docFreq=149, maxDocs=44218)
               0.0625 = fieldNorm(doc=1119)
         0.07048966 = weight(abstract_txt:epistemology in 1119) [ClassicSimilarity], result of:
           0.07048966 = score(doc=1119,freq=1.0), product of:
             0.15835533 = queryWeight, product of:
               1.4709488 = boost
               7.122176 = idf(docFreq=96, maxDocs=44218)
               0.015115497 = queryNorm
             0.445136 = fieldWeight in 1119, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.122176 = idf(docFreq=96, maxDocs=44218)
               0.0625 = fieldNorm(doc=1119)
         0.40286607 = weight(abstract_txt:mathematics in 1119) [ClassicSimilarity], result of:
           0.40286607 = score(doc=1119,freq=3.0), product of:
             0.55714613 = queryWeight, product of:
               5.518179 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.015115497 = queryNorm
             0.7230887 = fieldWeight in 1119, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0625 = fieldNorm(doc=1119)
       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.078048944 = sum of:
     0.078048944 = product of:
       0.6504079 = sum of:
         0.022346772 = weight(abstract_txt:book in 2212) [ClassicSimilarity], result of:
           0.022346772 = score(doc=2212,freq=1.0), product of:
             0.07362505 = queryWeight, product of:
               1.002984 = boost
               4.856341 = idf(docFreq=934, maxDocs=44218)
               0.015115497 = queryNorm
             0.3035213 = fieldWeight in 2212, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.856341 = idf(docFreq=934, maxDocs=44218)
               0.0625 = fieldNorm(doc=2212)
         0.058322422 = weight(abstract_txt:physics in 2212) [ClassicSimilarity], result of:
           0.058322422 = score(doc=2212,freq=1.0), product of:
             0.1395638 = queryWeight, product of:
               1.3809171 = boost
               6.686252 = idf(docFreq=149, maxDocs=44218)
               0.015115497 = queryNorm
             0.41789076 = fieldWeight in 2212, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.686252 = idf(docFreq=149, maxDocs=44218)
               0.0625 = fieldNorm(doc=2212)
         0.5697387 = weight(abstract_txt:mathematics in 2212) [ClassicSimilarity], result of:
           0.5697387 = score(doc=2212,freq=6.0), product of:
             0.55714613 = queryWeight, product of:
               5.518179 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.015115497 = 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.12 = coord(3/25)
   

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

   0.07464138 = sum of:
     0.07464138 = product of:
       0.6220115 = sum of:
         0.07290302 = weight(abstract_txt:physics in 4441) [ClassicSimilarity], result of:
           0.07290302 = score(doc=4441,freq=1.0), product of:
             0.1395638 = queryWeight, product of:
               1.3809171 = boost
               6.686252 = idf(docFreq=149, maxDocs=44218)
               0.015115497 = queryNorm
             0.5223634 = fieldWeight in 4441, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.686252 = idf(docFreq=149, maxDocs=44218)
               0.078125 = fieldNorm(doc=4441)
         0.045525875 = weight(abstract_txt:theory in 4441) [ClassicSimilarity], result of:
           0.045525875 = score(doc=4441,freq=1.0), product of:
             0.1284669 = queryWeight, product of:
               1.8736645 = boost
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.015115497 = queryNorm
             0.35437822 = fieldWeight in 4441, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5360413 = idf(docFreq=1287, maxDocs=44218)
               0.078125 = fieldNorm(doc=4441)
         0.5035826 = weight(abstract_txt:mathematics in 4441) [ClassicSimilarity], result of:
           0.5035826 = score(doc=4441,freq=3.0), product of:
             0.55714613 = queryWeight, product of:
               5.518179 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.015115497 = queryNorm
             0.90386087 = fieldWeight in 4441, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.078125 = fieldNorm(doc=4441)
       0.12 = coord(3/25)