Search (3 results, page 1 of 1)

  • × author_ss:"Chaitin, G.J."
  • × type_ss:"m"
  1. Chaitin, G.J.: Algorithmic information theory (1987) 0.00 
    0.0035694437 = product of:
  0.014277775 = sum of:
    0.014277775 = weight(_text_:information in 4175) [ClassicSimilarity], result of:
      0.014277775 = score(doc=4175,freq=8.0), product of:
        0.06134496 = queryWeight, product of:
          1.7554779 = idf(docFreq=20772, maxDocs=44218)
          0.034944877 = queryNorm
        0.23274569 = fieldWeight in 4175, product of:
          2.828427 = tf(freq=8.0), with freq of:
            8.0 = termFreq=8.0
          1.7554779 = idf(docFreq=20772, maxDocs=44218)
          0.046875 = fieldNorm(doc=4175)
  0.25 = coord(1/4)
    Abstract
    Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of a universal computer if its program is chosen by tossing a coin. The other half is concerned with encoding the halting probability as an algebraic equation in integers, a so-called exponential diophantine equation.
    Theme
    Information
  2. Chaitin, G.J.: ¬The limits of mathematics (1997) 0.00 
    0.0033653039 = product of:
  0.013461215 = sum of:
    0.013461215 = weight(_text_:information in 974) [ClassicSimilarity], result of:
      0.013461215 = score(doc=974,freq=4.0), product of:
        0.06134496 = queryWeight, product of:
          1.7554779 = idf(docFreq=20772, maxDocs=44218)
          0.034944877 = queryNorm
        0.21943474 = fieldWeight in 974, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          1.7554779 = idf(docFreq=20772, maxDocs=44218)
          0.0625 = fieldNorm(doc=974)
  0.25 = coord(1/4)
    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
  3. Chaitin, G.J.: Conversations with a mathematician : Math, art, science and the limits of reason (2002) 0.00 
    0.0014872681 = product of:
  0.0059490725 = sum of:
    0.0059490725 = weight(_text_:information in 2212) [ClassicSimilarity], result of:
      0.0059490725 = score(doc=2212,freq=2.0), product of:
        0.06134496 = queryWeight, product of:
          1.7554779 = idf(docFreq=20772, maxDocs=44218)
          0.034944877 = queryNorm
        0.09697737 = fieldWeight in 2212, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          1.7554779 = idf(docFreq=20772, maxDocs=44218)
          0.0390625 = fieldNorm(doc=2212)
  0.25 = coord(1/4)
    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.

Years

Subjects

Classifications