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

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

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

   0.24639861 = sum of:
     0.24639861 = product of:
       0.7699957 = sum of:
         0.1036215 = weight(abstract_txt:mathematician in 6800) [ClassicSimilarity], result of:
           0.1036215 = score(doc=6800,freq=1.0), product of:
             0.17820509 = queryWeight, product of:
               1.0915313 = boost
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.017548263 = queryNorm
             0.5814733 = fieldWeight in 6800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.0625 = fieldNorm(doc=6800)
         0.015223106 = weight(abstract_txt:that in 6800) [ClassicSimilarity], result of:
           0.015223106 = score(doc=6800,freq=5.0), product of:
             0.046059478 = queryWeight, product of:
               1.1098535 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017548263 = queryNorm
             0.33050975 = fieldWeight in 6800, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.0625 = fieldNorm(doc=6800)
         0.008005109 = weight(abstract_txt:with in 6800) [ClassicSimilarity], result of:
           0.008005109 = score(doc=6800,freq=1.0), product of:
             0.05131193 = queryWeight, product of:
               1.1714272 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017548263 = queryNorm
             0.15600874 = fieldWeight in 6800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.0625 = fieldNorm(doc=6800)
         0.053330638 = weight(abstract_txt:great in 6800) [ClassicSimilarity], result of:
           0.053330638 = score(doc=6800,freq=1.0), product of:
             0.14419428 = queryWeight, product of:
               1.3885616 = boost
               5.9176426 = idf(docFreq=324, maxDocs=44421)
               0.017548263 = queryNorm
             0.36985266 = fieldWeight in 6800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9176426 = idf(docFreq=324, maxDocs=44421)
               0.0625 = fieldNorm(doc=6800)
         0.07487599 = weight(abstract_txt:true in 6800) [ClassicSimilarity], result of:
           0.07487599 = score(doc=6800,freq=1.0), product of:
             0.18079728 = queryWeight, product of:
               1.554845 = boost
               6.6262937 = idf(docFreq=159, maxDocs=44421)
               0.017548263 = queryNorm
             0.41414335 = fieldWeight in 6800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6262937 = idf(docFreq=159, maxDocs=44421)
               0.0625 = fieldNorm(doc=6800)
         0.09196573 = weight(abstract_txt:discovered in 6800) [ClassicSimilarity], result of:
           0.09196573 = score(doc=6800,freq=1.0), product of:
             0.20735484 = queryWeight, product of:
               1.6651304 = boost
               7.0962973 = idf(docFreq=99, maxDocs=44421)
               0.017548263 = queryNorm
             0.44351858 = fieldWeight in 6800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0962973 = idf(docFreq=99, maxDocs=44421)
               0.0625 = fieldNorm(doc=6800)
         0.098824106 = weight(abstract_txt:mathematical in 6800) [ClassicSimilarity], result of:
           0.098824106 = score(doc=6800,freq=1.0), product of:
             0.24902093 = queryWeight, product of:
               2.2348826 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.017548263 = queryNorm
             0.3968506 = fieldWeight in 6800, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0625 = fieldNorm(doc=6800)
         0.32414952 = weight(abstract_txt:mathematics in 6800) [ClassicSimilarity], result of:
           0.32414952 = score(doc=6800,freq=2.0), product of:
             0.5497402 = queryWeight, product of:
               4.6960263 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.017548263 = queryNorm
             0.5896413 = fieldWeight in 6800, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.0625 = fieldNorm(doc=6800)
       0.32 = coord(8/25)
   

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

   0.19651932 = sum of:
     0.19651932 = product of:
       0.8188305 = sum of:
         0.109907195 = weight(abstract_txt:mathematician in 4662) [ClassicSimilarity], result of:
           0.109907195 = score(doc=4662,freq=2.0), product of:
             0.17820509 = queryWeight, product of:
               1.0915313 = boost
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.017548263 = queryNorm
             0.61674553 = fieldWeight in 4662, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
         0.0144419065 = weight(abstract_txt:that in 4662) [ClassicSimilarity], result of:
           0.0144419065 = score(doc=4662,freq=8.0), product of:
             0.046059478 = queryWeight, product of:
               1.1098535 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017548263 = queryNorm
             0.31354907 = fieldWeight in 4662, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
         0.010398942 = weight(abstract_txt:with in 4662) [ClassicSimilarity], result of:
           0.010398942 = score(doc=4662,freq=3.0), product of:
             0.05131193 = queryWeight, product of:
               1.1714272 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017548263 = queryNorm
             0.2026613 = fieldWeight in 4662, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
         0.09726677 = weight(abstract_txt:true in 4662) [ClassicSimilarity], result of:
           0.09726677 = score(doc=4662,freq=3.0), product of:
             0.18079728 = queryWeight, product of:
               1.554845 = boost
               6.6262937 = idf(docFreq=159, maxDocs=44421)
               0.017548263 = queryNorm
             0.537988 = fieldWeight in 4662, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6262937 = idf(docFreq=159, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
         0.16573305 = weight(abstract_txt:mathematical in 4662) [ClassicSimilarity], result of:
           0.16573305 = score(doc=4662,freq=5.0), product of:
             0.24902093 = queryWeight, product of:
               2.2348826 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.017548263 = queryNorm
             0.66553867 = fieldWeight in 4662, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
         0.4210826 = weight(abstract_txt:mathematics in 4662) [ClassicSimilarity], result of:
           0.4210826 = score(doc=4662,freq=6.0), product of:
             0.5497402 = queryWeight, product of:
               4.6960263 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.017548263 = queryNorm
             0.76596653 = fieldWeight in 4662, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
       0.24 = coord(6/25)
   

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

   0.1322841 = sum of:
     0.1322841 = product of:
       0.6614205 = sum of:
         0.0144419065 = weight(abstract_txt:that in 687) [ClassicSimilarity], result of:
           0.0144419065 = score(doc=687,freq=2.0), product of:
             0.046059478 = queryWeight, product of:
               1.1098535 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017548263 = queryNorm
             0.31354907 = fieldWeight in 687, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.09375 = fieldNorm(doc=687)
         0.016981399 = weight(abstract_txt:with in 687) [ClassicSimilarity], result of:
           0.016981399 = score(doc=687,freq=2.0), product of:
             0.05131193 = queryWeight, product of:
               1.1714272 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017548263 = queryNorm
             0.33094448 = fieldWeight in 687, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.09375 = fieldNorm(doc=687)
         0.13794859 = weight(abstract_txt:discovered in 687) [ClassicSimilarity], result of:
           0.13794859 = score(doc=687,freq=1.0), product of:
             0.20735484 = queryWeight, product of:
               1.6651304 = boost
               7.0962973 = idf(docFreq=99, maxDocs=44421)
               0.017548263 = queryNorm
             0.66527784 = fieldWeight in 687, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0962973 = idf(docFreq=99, maxDocs=44421)
               0.09375 = fieldNorm(doc=687)
         0.14823616 = weight(abstract_txt:mathematical in 687) [ClassicSimilarity], result of:
           0.14823616 = score(doc=687,freq=1.0), product of:
             0.24902093 = queryWeight, product of:
               2.2348826 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.017548263 = queryNorm
             0.5952759 = fieldWeight in 687, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.09375 = fieldNorm(doc=687)
         0.34381247 = weight(abstract_txt:mathematics in 687) [ClassicSimilarity], result of:
           0.34381247 = score(doc=687,freq=1.0), product of:
             0.5497402 = queryWeight, product of:
               4.6960263 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.017548263 = queryNorm
             0.625409 = fieldWeight in 687, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.09375 = fieldNorm(doc=687)
       0.2 = coord(5/25)
   

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

   0.12425254 = sum of:
     0.12425254 = product of:
       0.7765784 = sum of:
         0.012034923 = weight(abstract_txt:that in 4509) [ClassicSimilarity], result of:
           0.012034923 = score(doc=4509,freq=2.0), product of:
             0.046059478 = queryWeight, product of:
               1.1098535 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017548263 = queryNorm
             0.2612909 = fieldWeight in 4509, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.078125 = fieldNorm(doc=4509)
         0.09359499 = weight(abstract_txt:true in 4509) [ClassicSimilarity], result of:
           0.09359499 = score(doc=4509,freq=1.0), product of:
             0.18079728 = queryWeight, product of:
               1.554845 = boost
               6.6262937 = idf(docFreq=159, maxDocs=44421)
               0.017548263 = queryNorm
             0.5176792 = fieldWeight in 4509, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6262937 = idf(docFreq=159, maxDocs=44421)
               0.078125 = fieldNorm(doc=4509)
         0.174698 = weight(abstract_txt:mathematical in 4509) [ClassicSimilarity], result of:
           0.174698 = score(doc=4509,freq=2.0), product of:
             0.24902093 = queryWeight, product of:
               2.2348826 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.017548263 = queryNorm
             0.7015394 = fieldWeight in 4509, 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=4509)
         0.49625054 = weight(abstract_txt:mathematics in 4509) [ClassicSimilarity], result of:
           0.49625054 = score(doc=4509,freq=3.0), product of:
             0.5497402 = queryWeight, product of:
               4.6960263 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.017548263 = 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.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.115997866 = sum of:
     0.115997866 = product of:
       0.7249867 = sum of:
         0.00680798 = weight(abstract_txt:that in 2239) [ClassicSimilarity], result of:
           0.00680798 = score(doc=2239,freq=1.0), product of:
             0.046059478 = queryWeight, product of:
               1.1098535 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.017548263 = queryNorm
             0.14780845 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.008005109 = weight(abstract_txt:with in 2239) [ClassicSimilarity], result of:
           0.008005109 = score(doc=2239,freq=1.0), product of:
             0.05131193 = queryWeight, product of:
               1.1714272 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.017548263 = queryNorm
             0.15600874 = fieldWeight in 2239, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.0625 = fieldNorm(doc=2239)
         0.19764821 = weight(abstract_txt:mathematical in 2239) [ClassicSimilarity], result of:
           0.19764821 = score(doc=2239,freq=4.0), product of:
             0.24902093 = queryWeight, product of:
               2.2348826 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.017548263 = 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.5125254 = weight(abstract_txt:mathematics in 2239) [ClassicSimilarity], result of:
           0.5125254 = score(doc=2239,freq=5.0), product of:
             0.5497402 = queryWeight, product of:
               4.6960263 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.017548263 = 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)