Document (#27213)

Author

Chaitin, G.J.

Title

Conversations with a mathematician : Math, art, science and the limits of reason

Imprint

London : Springer

Year

2002

Pages

VII,158 S

Isbn

1-85233-549-1

Abstract

G. J. Chaitin is at the IBM Thomas J. Watson Research Center in New York. He has shown that God plays dice not only in quantum mechanics, but even in the foundations of mathematics, where Chaitin discovered mathematical facts that are true for no reason, that are true by accident. This book collects his most wide-ranging and non-technical lectures and interviews, and it will be of interest to anyone concerned with the philosophy of mathematics, with the similarities and differences between physics and mathematics, or with the creative process and mathematics as an art. "Chaitin has put a scratch on the rock of eternity." Jacob T. Schwartz, Courant Institute, New York University, USA "(Chaitin is) one of the great ideas men of mathematics and computer science." Marcus Chown, author of The Magic Furnace, in NEW SCIENTIST "Finding the right formalization is a large component of the art of doing great mathematics." John Casti, author of Mathematical Mountaintops, on Godel, Turing and Chaitin in NATURE "What mathematicians over the centuries - from the ancients, through Pascal, Fermat, Bernoulli, and de Moivre, to Kolmogorov and Chaitin - have discovered, is that it ÄrandomnessÜ is a profoundly rich concept." Jerrold W. Grossman in the MATHEMATICAL INTELLIGENCER

Content

A Century of Controversy over the foundations of mathematics.- How to be a mathematician.- The creative life: science vs art.- Algorithmic information theory and the foundations of mathematics.- Randomness in arithmetic.- The reason for my life.- Undecidability and randomness in pure mathematics.- Math, science and fantasy.- Sensual mathematics.- Final thoughts.

Footnote

Rez. in: FAZ Nr.16 vom 19.1.2002, S.44 (D. Dath)

Field

Mathematik

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.: ¬The limits of mathematics (1997) 6.01

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

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. Gardner, M.: Is mathematics "out there"? (2001) 0.25

   0.24622859 = sum of:
     0.24622859 = product of:
       0.7694644 = sum of:
         0.10316174 = weight(abstract_txt:mathematician in 5800) [ClassicSimilarity], result of:
           0.10316174 = score(doc=5800,freq=1.0), product of:
             0.1775018 = queryWeight, product of:
               1.0915805 = boost
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.017486831 = 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.01526555 = weight(abstract_txt:that in 5800) [ClassicSimilarity], result of:
           0.01526555 = score(doc=5800,freq=5.0), product of:
             0.046099402 = queryWeight, product of:
               1.112582 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017486831 = 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.008015897 = weight(abstract_txt:with in 5800) [ClassicSimilarity], result of:
           0.008015897 = score(doc=5800,freq=1.0), product of:
             0.051307213 = queryWeight, product of:
               1.1737446 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.017486831 = queryNorm
             0.15623334 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.05321544 = weight(abstract_txt:great in 5800) [ClassicSimilarity], result of:
           0.05321544 = score(doc=5800,freq=1.0), product of:
             0.14384411 = queryWeight, product of:
               1.389682 = boost
               5.9192348 = idf(docFreq=322, maxDocs=44218)
               0.017486831 = queryNorm
             0.36995217 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9192348 = idf(docFreq=322, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.07492466 = weight(abstract_txt:true in 5800) [ClassicSimilarity], result of:
           0.07492466 = score(doc=5800,freq=1.0), product of:
             0.18069668 = queryWeight, product of:
               1.5575589 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.017486831 = 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.09190526 = weight(abstract_txt:discovered in 5800) [ClassicSimilarity], result of:
           0.09190526 = score(doc=5800,freq=1.0), product of:
             0.20705889 = queryWeight, product of:
               1.6673099 = boost
               7.1017675 = idf(docFreq=98, maxDocs=44218)
               0.017486831 = queryNorm
             0.44386047 = fieldWeight in 5800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.1017675 = idf(docFreq=98, maxDocs=44218)
               0.0625 = fieldNorm(doc=5800)
         0.098539025 = weight(abstract_txt:mathematical in 5800) [ClassicSimilarity], result of:
           0.098539025 = score(doc=5800,freq=1.0), product of:
             0.24829592 = queryWeight, product of:
               2.2361443 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.017486831 = 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.32443678 = weight(abstract_txt:mathematics in 5800) [ClassicSimilarity], result of:
           0.32443678 = score(doc=5800,freq=2.0), product of:
             0.5495208 = queryWeight, product of:
               4.704593 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.017486831 = 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.32 = coord(8/25)
   

2. Borwein, J.; Stanway, T.: Knowledge and community in mathematics (2005) 0.20

   0.19640529 = sum of:
     0.19640529 = product of:
       0.8183554 = sum of:
         0.10941955 = weight(abstract_txt:mathematician in 3662) [ClassicSimilarity], result of:
           0.10941955 = score(doc=3662,freq=2.0), product of:
             0.1775018 = queryWeight, product of:
               1.0915805 = boost
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.017486831 = queryNorm
             0.6164419 = fieldWeight in 3662, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.298992 = idf(docFreq=10, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
         0.014482173 = weight(abstract_txt:that in 3662) [ClassicSimilarity], result of:
           0.014482173 = score(doc=3662,freq=8.0), product of:
             0.046099402 = queryWeight, product of:
               1.112582 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017486831 = queryNorm
             0.314151 = fieldWeight in 3662, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
         0.010412956 = weight(abstract_txt:with in 3662) [ClassicSimilarity], result of:
           0.010412956 = score(doc=3662,freq=3.0), product of:
             0.051307213 = queryWeight, product of:
               1.1737446 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.017486831 = queryNorm
             0.20295306 = fieldWeight in 3662, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
         0.09732999 = weight(abstract_txt:true in 3662) [ClassicSimilarity], result of:
           0.09732999 = score(doc=3662,freq=3.0), product of:
             0.18069668 = queryWeight, product of:
               1.5575589 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.017486831 = queryNorm
             0.5386374 = fieldWeight in 3662, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
         0.16525497 = weight(abstract_txt:mathematical in 3662) [ClassicSimilarity], result of:
           0.16525497 = score(doc=3662,freq=5.0), product of:
             0.24829592 = queryWeight, product of:
               2.2361443 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.017486831 = queryNorm
             0.6655565 = fieldWeight in 3662, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
         0.42145574 = weight(abstract_txt:mathematics in 3662) [ClassicSimilarity], result of:
           0.42145574 = score(doc=3662,freq=6.0), product of:
             0.5495208 = queryWeight, product of:
               4.704593 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.017486831 = queryNorm
             0.7669514 = fieldWeight in 3662, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
       0.24 = coord(6/25)
   

3. Reyzin, L.: Unprovability comes to machine learning (2019) 0.13

   0.132254 = sum of:
     0.132254 = product of:
       0.66127 = sum of:
         0.014482173 = weight(abstract_txt:that in 4687) [ClassicSimilarity], result of:
           0.014482173 = score(doc=4687,freq=2.0), product of:
             0.046099402 = queryWeight, product of:
               1.112582 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017486831 = queryNorm
             0.314151 = fieldWeight in 4687, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.09375 = fieldNorm(doc=4687)
         0.017004285 = weight(abstract_txt:with in 4687) [ClassicSimilarity], result of:
           0.017004285 = score(doc=4687,freq=2.0), product of:
             0.051307213 = queryWeight, product of:
               1.1737446 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.017486831 = queryNorm
             0.33142096 = fieldWeight in 4687, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.09375 = fieldNorm(doc=4687)
         0.13785788 = weight(abstract_txt:discovered in 4687) [ClassicSimilarity], result of:
           0.13785788 = score(doc=4687,freq=1.0), product of:
             0.20705889 = queryWeight, product of:
               1.6673099 = boost
               7.1017675 = idf(docFreq=98, maxDocs=44218)
               0.017486831 = queryNorm
             0.6657907 = fieldWeight in 4687, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.1017675 = idf(docFreq=98, maxDocs=44218)
               0.09375 = fieldNorm(doc=4687)
         0.14780854 = weight(abstract_txt:mathematical in 4687) [ClassicSimilarity], result of:
           0.14780854 = score(doc=4687,freq=1.0), product of:
             0.24829592 = queryWeight, product of:
               2.2361443 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.017486831 = queryNorm
             0.59529185 = fieldWeight in 4687, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.09375 = fieldNorm(doc=4687)
         0.34411716 = weight(abstract_txt:mathematics in 4687) [ClassicSimilarity], result of:
           0.34411716 = score(doc=4687,freq=1.0), product of:
             0.5495208 = queryWeight, product of:
               4.704593 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.017486831 = queryNorm
             0.6262132 = fieldWeight in 4687, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.09375 = fieldNorm(doc=4687)
       0.2 = coord(5/25)
   

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

   0.12425738 = sum of:
     0.12425738 = product of:
       0.77660865 = sum of:
         0.0120684765 = weight(abstract_txt:that in 4441) [ClassicSimilarity], result of:
           0.0120684765 = score(doc=4441,freq=2.0), product of:
             0.046099402 = queryWeight, product of:
               1.112582 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017486831 = queryNorm
             0.26179248 = fieldWeight in 4441, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.078125 = fieldNorm(doc=4441)
         0.093655825 = weight(abstract_txt:true in 4441) [ClassicSimilarity], result of:
           0.093655825 = score(doc=4441,freq=1.0), product of:
             0.18069668 = queryWeight, product of:
               1.5575589 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.017486831 = queryNorm
             0.51830405 = fieldWeight in 4441, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.078125 = fieldNorm(doc=4441)
         0.17419402 = weight(abstract_txt:mathematical in 4441) [ClassicSimilarity], result of:
           0.17419402 = score(doc=4441,freq=2.0), product of:
             0.24829592 = queryWeight, product of:
               2.2361443 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.017486831 = queryNorm
             0.7015581 = fieldWeight in 4441, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.078125 = fieldNorm(doc=4441)
         0.49669033 = weight(abstract_txt:mathematics in 4441) [ClassicSimilarity], result of:
           0.49669033 = score(doc=4441,freq=3.0), product of:
             0.5495208 = queryWeight, product of:
               4.704593 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.017486831 = 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.16 = coord(4/25)
   

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

   0.115984075 = sum of:
     0.115984075 = product of:
       0.7249005 = sum of:
         0.006826962 = weight(abstract_txt:that in 1239) [ClassicSimilarity], result of:
           0.006826962 = score(doc=1239,freq=1.0), product of:
             0.046099402 = queryWeight, product of:
               1.112582 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.017486831 = queryNorm
             0.1480922 = fieldWeight in 1239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0625 = fieldNorm(doc=1239)
         0.008015897 = weight(abstract_txt:with in 1239) [ClassicSimilarity], result of:
           0.008015897 = score(doc=1239,freq=1.0), product of:
             0.051307213 = queryWeight, product of:
               1.1737446 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.017486831 = queryNorm
             0.15623334 = fieldWeight in 1239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.0625 = fieldNorm(doc=1239)
         0.19707805 = weight(abstract_txt:mathematical in 1239) [ClassicSimilarity], result of:
           0.19707805 = score(doc=1239,freq=4.0), product of:
             0.24829592 = queryWeight, product of:
               2.2361443 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.017486831 = queryNorm
             0.79372245 = fieldWeight in 1239, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.0625 = fieldNorm(doc=1239)
         0.51297957 = weight(abstract_txt:mathematics in 1239) [ClassicSimilarity], result of:
           0.51297957 = score(doc=1239,freq=5.0), product of:
             0.5495208 = queryWeight, product of:
               4.704593 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.017486831 = 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)