Search (2 results, page 1 of 1)

  • × subject_ss:"Computational complexity"
  1. Chaitin, G.J.: Algorithmic information theory (1987) 0.01
    0.0074585797 = product of:
      0.044751476 = sum of:
        0.044751476 = product of:
          0.08950295 = sum of:
            0.08950295 = weight(_text_:theory in 4175) [ClassicSimilarity], result of:
              0.08950295 = score(doc=4175,freq=8.0), product of:
                0.16234003 = queryWeight, product of:
                  4.1583924 = idf(docFreq=1878, maxDocs=44218)
                  0.03903913 = queryNorm
                0.55133015 = fieldWeight in 4175, product of:
                  2.828427 = tf(freq=8.0), with freq of:
                    8.0 = termFreq=8.0
                  4.1583924 = idf(docFreq=1878, maxDocs=44218)
                  0.046875 = fieldNorm(doc=4175)
          0.5 = coord(1/2)
      0.16666667 = coord(1/6)
    
    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.
    LCSH
    Machine theory
    Subject
    Machine theory
  2. Wolfram, S.: ¬A new kind of science (2002) 0.00
    0.0021754191 = product of:
      0.013052514 = sum of:
        0.013052514 = product of:
          0.026105028 = sum of:
            0.026105028 = weight(_text_:theory in 1866) [ClassicSimilarity], result of:
              0.026105028 = score(doc=1866,freq=2.0), product of:
                0.16234003 = queryWeight, product of:
                  4.1583924 = idf(docFreq=1878, maxDocs=44218)
                  0.03903913 = queryNorm
                0.16080463 = fieldWeight in 1866, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  4.1583924 = idf(docFreq=1878, maxDocs=44218)
                  0.02734375 = fieldNorm(doc=1866)
          0.5 = coord(1/2)
      0.16666667 = coord(1/6)
    
    Abstract
    The long-awaited work from one of the world's most respected scientists presents a series of dramatic discoveries never before made public. Starting from a collection of simple computer experiments - illustrated in the book by striking computer graphics - Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe. Wolfram uses his approach to tackle a remarkable array of fundamental problems in science - from the origin of the Second Law of thermodynamics, to the development of complexity in biology, the computational limitations of mathematics, the possibility of a truly fundamental theory of physics, and the interplay between free will and determinism. Written with exceptional clarity, and illustrated with nearly 1,000 original pictures, this seminal book allows scientists and non-scientists alike to participate in what promises to be a major intellectual revolution.