Document (#27214)

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.: Algorithmic information theory (1977) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 0) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 0, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=0)
    
  2. Chaitin, G.J.: Gödel's theorem and information (1982) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 2448) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 2448, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=2448)
    
  3. Chaitin, G.: ¬Die Grenzen der Gewissheit (2006) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 4479) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 4479, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=4479)
    
  4. Chaitin, G.J.: ¬The limits of mathematics (1997) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 975) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 975, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=975)
    
  5. Chaitin, G.J.: Grenzen der Berechenbarkeit (2004) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 3423) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 3423, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=3423)
    

Similar documents (content)

  1. Gardner, M.: Is mathematics "out there"? (2001) 0.25
    0.24879456 = sum of:
      0.24879456 = product of:
        0.777483 = sum of:
          0.10262417 = weight(abstract_txt:mathematician in 716) [ClassicSimilarity], result of:
            0.10262417 = score(doc=716,freq=1.0), product of:
              0.17722477 = queryWeight, product of:
                1.0808632 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.017697359 = queryNorm
              0.5790622 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.0625 = fieldNorm(doc=716)
          0.015848558 = weight(abstract_txt:that in 716) [ClassicSimilarity], result of:
            0.015848558 = score(doc=716,freq=5.0), product of:
              0.04735667 = queryWeight, product of:
                1.1174526 = boost
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.017697359 = queryNorm
              0.33466372 = fieldWeight in 716, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.0625 = fieldNorm(doc=716)
          0.008236557 = weight(abstract_txt:with in 716) [ClassicSimilarity], result of:
            0.008236557 = score(doc=716,freq=1.0), product of:
              0.052344993 = queryWeight, product of:
                1.1748329 = boost
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.017697359 = queryNorm
              0.15735139 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.0625 = fieldNorm(doc=716)
          0.05354074 = weight(abstract_txt:great in 716) [ClassicSimilarity], result of:
            0.05354074 = score(doc=716,freq=1.0), product of:
              0.14470746 = queryWeight, product of:
                1.3812395 = boost
                5.9198875 = idf(docFreq=311, maxDocs=42740)
                0.017697359 = queryNorm
              0.36999297 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.9198875 = idf(docFreq=311, maxDocs=42740)
                0.0625 = fieldNorm(doc=716)
          0.07690132 = weight(abstract_txt:true in 716) [ClassicSimilarity], result of:
            0.07690132 = score(doc=716,freq=1.0), product of:
              0.18421452 = queryWeight, product of:
                1.5584234 = boost
                6.679284 = idf(docFreq=145, maxDocs=42740)
                0.017697359 = queryNorm
              0.41745526 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.679284 = idf(docFreq=145, maxDocs=42740)
                0.0625 = fieldNorm(doc=716)
          0.09441308 = weight(abstract_txt:discovered in 716) [ClassicSimilarity], result of:
            0.09441308 = score(doc=716,freq=1.0), product of:
              0.21121404 = queryWeight, product of:
                1.6687256 = boost
                7.152031 = idf(docFreq=90, maxDocs=42740)
                0.017697359 = queryNorm
              0.44700193 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.152031 = idf(docFreq=90, maxDocs=42740)
                0.0625 = fieldNorm(doc=716)
          0.09864577 = weight(abstract_txt:mathematical in 716) [ClassicSimilarity], result of:
            0.09864577 = score(doc=716,freq=1.0), product of:
              0.24895301 = queryWeight, product of:
                2.2188497 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.017697359 = queryNorm
              0.39624253 = fieldWeight in 716, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0625 = fieldNorm(doc=716)
          0.32727277 = weight(abstract_txt:mathematics in 716) [ClassicSimilarity], result of:
            0.32727277 = score(doc=716,freq=2.0), product of:
              0.55378133 = queryWeight, product of:
                4.6800804 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.017697359 = queryNorm
              0.5909783 = fieldWeight in 716, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=716)
        0.32 = coord(8/25)
    
  2. Borwein, J.; Stanway, T.: Knowledge and community in mathematics (2005) 0.20
    0.1980134 = sum of:
      0.1980134 = product of:
        0.82505584 = sum of:
          0.10884936 = weight(abstract_txt:mathematician in 4663) [ClassicSimilarity], result of:
            0.10884936 = score(doc=4663,freq=2.0), product of:
              0.17722477 = queryWeight, product of:
                1.0808632 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.017697359 = queryNorm
              0.6141882 = fieldWeight in 4663, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.046875 = fieldNorm(doc=4663)
          0.015035262 = weight(abstract_txt:that in 4663) [ClassicSimilarity], result of:
            0.015035262 = score(doc=4663,freq=8.0), product of:
              0.04735667 = queryWeight, product of:
                1.1174526 = boost
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.017697359 = queryNorm
              0.31748986 = fieldWeight in 4663, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.046875 = fieldNorm(doc=4663)
          0.010699602 = weight(abstract_txt:with in 4663) [ClassicSimilarity], result of:
            0.010699602 = score(doc=4663,freq=3.0), product of:
              0.052344993 = queryWeight, product of:
                1.1748329 = boost
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.017697359 = queryNorm
              0.20440546 = fieldWeight in 4663, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.046875 = fieldNorm(doc=4663)
          0.09989774 = weight(abstract_txt:true in 4663) [ClassicSimilarity], result of:
            0.09989774 = score(doc=4663,freq=3.0), product of:
              0.18421452 = queryWeight, product of:
                1.5584234 = boost
                6.679284 = idf(docFreq=145, maxDocs=42740)
                0.017697359 = queryNorm
              0.5422903 = fieldWeight in 4663, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.679284 = idf(docFreq=145, maxDocs=42740)
                0.046875 = fieldNorm(doc=4663)
          0.165434 = weight(abstract_txt:mathematical in 4663) [ClassicSimilarity], result of:
            0.165434 = score(doc=4663,freq=5.0), product of:
              0.24895301 = queryWeight, product of:
                2.2188497 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.017697359 = queryNorm
              0.66451895 = fieldWeight in 4663, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.046875 = fieldNorm(doc=4663)
          0.4251398 = weight(abstract_txt:mathematics in 4663) [ClassicSimilarity], result of:
            0.4251398 = score(doc=4663,freq=6.0), product of:
              0.55378133 = queryWeight, product of:
                4.6800804 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.017697359 = queryNorm
              0.7677034 = fieldWeight in 4663, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.046875 = fieldNorm(doc=4663)
        0.24 = coord(6/25)
    
  3. Reyzin, L.: Unprovability comes to machine learning (2019) 0.13
    0.13384424 = sum of:
      0.13384424 = product of:
        0.66922116 = sum of:
          0.015035262 = weight(abstract_txt:that in 688) [ClassicSimilarity], result of:
            0.015035262 = score(doc=688,freq=2.0), product of:
              0.04735667 = queryWeight, product of:
                1.1174526 = boost
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.017697359 = queryNorm
              0.31748986 = fieldWeight in 688, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.09375 = fieldNorm(doc=688)
          0.017472377 = weight(abstract_txt:with in 688) [ClassicSimilarity], result of:
            0.017472377 = score(doc=688,freq=2.0), product of:
              0.052344993 = queryWeight, product of:
                1.1748329 = boost
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.017697359 = queryNorm
              0.33379272 = fieldWeight in 688, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.09375 = fieldNorm(doc=688)
          0.14161962 = weight(abstract_txt:discovered in 688) [ClassicSimilarity], result of:
            0.14161962 = score(doc=688,freq=1.0), product of:
              0.21121404 = queryWeight, product of:
                1.6687256 = boost
                7.152031 = idf(docFreq=90, maxDocs=42740)
                0.017697359 = queryNorm
              0.6705029 = fieldWeight in 688, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.152031 = idf(docFreq=90, maxDocs=42740)
                0.09375 = fieldNorm(doc=688)
          0.14796866 = weight(abstract_txt:mathematical in 688) [ClassicSimilarity], result of:
            0.14796866 = score(doc=688,freq=1.0), product of:
              0.24895301 = queryWeight, product of:
                2.2188497 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.017697359 = queryNorm
              0.5943638 = fieldWeight in 688, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.09375 = fieldNorm(doc=688)
          0.3471252 = weight(abstract_txt:mathematics in 688) [ClassicSimilarity], result of:
            0.3471252 = score(doc=688,freq=1.0), product of:
              0.55378133 = queryWeight, product of:
                4.6800804 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.017697359 = queryNorm
              0.6268272 = fieldWeight in 688, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.09375 = fieldNorm(doc=688)
        0.2 = coord(5/25)
    
  4. Scheibe, E.: Calculemus! : The problem of the application of logic and mathematics (1996) 0.13
    0.12545133 = sum of:
      0.12545133 = product of:
        0.78407085 = sum of:
          0.012529385 = weight(abstract_txt:that in 4510) [ClassicSimilarity], result of:
            0.012529385 = score(doc=4510,freq=2.0), product of:
              0.04735667 = queryWeight, product of:
                1.1174526 = boost
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.017697359 = queryNorm
              0.2645749 = fieldWeight in 4510, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
          0.096126646 = weight(abstract_txt:true in 4510) [ClassicSimilarity], result of:
            0.096126646 = score(doc=4510,freq=1.0), product of:
              0.18421452 = queryWeight, product of:
                1.5584234 = boost
                6.679284 = idf(docFreq=145, maxDocs=42740)
                0.017697359 = queryNorm
              0.52181906 = fieldWeight in 4510, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.679284 = idf(docFreq=145, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
          0.17438275 = weight(abstract_txt:mathematical in 4510) [ClassicSimilarity], result of:
            0.17438275 = score(doc=4510,freq=2.0), product of:
              0.24895301 = queryWeight, product of:
                2.2188497 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.017697359 = queryNorm
              0.7004645 = fieldWeight in 4510, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
          0.50103205 = weight(abstract_txt:mathematics in 4510) [ClassicSimilarity], result of:
            0.50103205 = score(doc=4510,freq=3.0), product of:
              0.55378133 = queryWeight, product of:
                4.6800804 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.017697359 = queryNorm
              0.9047471 = fieldWeight in 4510, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
        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.11681271 = sum of:
      0.11681271 = product of:
        0.7300795 = sum of:
          0.0070876908 = weight(abstract_txt:that in 3240) [ClassicSimilarity], result of:
            0.0070876908 = score(doc=3240,freq=1.0), product of:
              0.04735667 = queryWeight, product of:
                1.1174526 = boost
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.017697359 = queryNorm
              0.14966616 = fieldWeight in 3240, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.3946586 = idf(docFreq=10595, maxDocs=42740)
                0.0625 = fieldNorm(doc=3240)
          0.008236557 = weight(abstract_txt:with in 3240) [ClassicSimilarity], result of:
            0.008236557 = score(doc=3240,freq=1.0), product of:
              0.052344993 = queryWeight, product of:
                1.1748329 = boost
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.017697359 = queryNorm
              0.15735139 = fieldWeight in 3240, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.5176222 = idf(docFreq=9369, maxDocs=42740)
                0.0625 = fieldNorm(doc=3240)
          0.19729154 = weight(abstract_txt:mathematical in 3240) [ClassicSimilarity], result of:
            0.19729154 = score(doc=3240,freq=4.0), product of:
              0.24895301 = queryWeight, product of:
                2.2188497 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.017697359 = queryNorm
              0.79248506 = fieldWeight in 3240, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0625 = fieldNorm(doc=3240)
          0.5174637 = weight(abstract_txt:mathematics in 3240) [ClassicSimilarity], result of:
            0.5174637 = score(doc=3240,freq=5.0), product of:
              0.55378133 = queryWeight, product of:
                4.6800804 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.017697359 = queryNorm
              0.9344188 = fieldWeight in 3240, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3240)
        0.16 = coord(4/25)