Document (#41176)

Author
Chaitin, G.J.
Title
Algorithmic information theory
Imprint
Cambridge : Cambridge University Press
Year
1987
Pages
X, 175 S
Isbn
0-521-34306-2
Series
Cambridge tracts in theoretical computer science ; 1
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
Field
Informatik
LCSH
Machine theory
Computational complexity
LISP (Computer program language)
RSWK
Algorithmus / Informatik
Gödelscher Unvollständigkeitssatz
Metamathematik / LISP
BK
54.10 (Theoretische Informatik)
31.02 (Philosophie und Wissenschaftstheorie der Mathematik)
DDC
006.31
SBB
Mat T 1068 / Informationstheorie
GHBS
TVB (E)
TVI (HA)
LCC
QA267
RVK
SK 130

Similar documents (author)

  1. Chaitin, G.J.: Algorithmic information theory (1977) 5.97
    5.972007 = sum of:
      5.972007 = weight(author_txt:chaitin in 0) [ClassicSimilarity], result of:
        5.972007 = fieldWeight in 0, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.555211 = idf(docFreq=7, maxDocs=41550)
          0.625 = fieldNorm(doc=0)
    
  2. Chaitin, G.J.: Gödel's theorem and information (1982) 5.97
    5.972007 = sum of:
      5.972007 = weight(author_txt:chaitin in 2448) [ClassicSimilarity], result of:
        5.972007 = fieldWeight in 2448, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.555211 = idf(docFreq=7, maxDocs=41550)
          0.625 = fieldNorm(doc=2448)
    
  3. Chaitin, G.: ¬Die Grenzen der Gewissheit (2006) 5.97
    5.972007 = sum of:
      5.972007 = weight(author_txt:chaitin in 4479) [ClassicSimilarity], result of:
        5.972007 = fieldWeight in 4479, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.555211 = idf(docFreq=7, maxDocs=41550)
          0.625 = fieldNorm(doc=4479)
    
  4. Chaitin, G.J.: ¬The limits of mathematics (1997) 5.97
    5.972007 = sum of:
      5.972007 = weight(author_txt:chaitin in 1452) [ClassicSimilarity], result of:
        5.972007 = fieldWeight in 1452, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.555211 = idf(docFreq=7, maxDocs=41550)
          0.625 = fieldNorm(doc=1452)
    
  5. Chaitin, G.J.: Conversations with a mathematician : Math, art, science and the limits of reason (2002) 5.97
    5.972007 = sum of:
      5.972007 = weight(author_txt:chaitin in 3212) [ClassicSimilarity], result of:
        5.972007 = fieldWeight in 3212, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.555211 = idf(docFreq=7, maxDocs=41550)
          0.625 = fieldNorm(doc=3212)
    

Similar documents (content)

  1. Klir, G.I.; Wierman, M.J.: Uncertainty-based information : Elements of generalized information theory (1998) 0.09
    0.08585518 = sum of:
      0.08585518 = product of:
        0.53659487 = sum of:
          0.014572902 = weight(abstract_txt:information in 1447) [ClassicSimilarity], result of:
            0.014572902 = score(doc=1447,freq=1.0), product of:
              0.047912505 = queryWeight, product of:
                1.1302552 = boost
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.017421486 = queryNorm
              0.30415654 = fieldWeight in 1447, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.125 = fieldNorm(doc=1447)
          0.078093246 = weight(abstract_txt:book in 1447) [ClassicSimilarity], result of:
            0.078093246 = score(doc=1447,freq=1.0), product of:
              0.12817305 = queryWeight, product of:
                1.5094017 = boost
                4.874238 = idf(docFreq=862, maxDocs=41550)
                0.017421486 = queryNorm
              0.60927975 = fieldWeight in 1447, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.874238 = idf(docFreq=862, maxDocs=41550)
                0.125 = fieldNorm(doc=1447)
          0.22083504 = weight(abstract_txt:theory in 1447) [ClassicSimilarity], result of:
            0.22083504 = score(doc=1447,freq=5.0), product of:
              0.1715827 = queryWeight, product of:
                2.138892 = boost
                4.60468 = idf(docFreq=1129, maxDocs=41550)
                0.017421486 = queryNorm
              1.2870473 = fieldWeight in 1447, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                4.60468 = idf(docFreq=1129, maxDocs=41550)
                0.125 = fieldNorm(doc=1447)
          0.22309367 = weight(abstract_txt:probability in 1447) [ClassicSimilarity], result of:
            0.22309367 = score(doc=1447,freq=1.0), product of:
              0.25805518 = queryWeight, product of:
                2.1417203 = boost
                6.916154 = idf(docFreq=111, maxDocs=41550)
                0.017421486 = queryNorm
              0.86451924 = fieldWeight in 1447, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.916154 = idf(docFreq=111, maxDocs=41550)
                0.125 = fieldNorm(doc=1447)
        0.16 = coord(4/25)
    
  2. Chaitin, G.J.: ¬The limits of mathematics (1997) 0.08
    0.07827837 = sum of:
      0.07827837 = product of:
        0.48923984 = sum of:
          0.018033046 = weight(abstract_txt:information in 1452) [ClassicSimilarity], result of:
            0.018033046 = score(doc=1452,freq=2.0), product of:
              0.047912505 = queryWeight, product of:
                1.1302552 = boost
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.017421486 = queryNorm
              0.3763745 = fieldWeight in 1452, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.109375 = fieldNorm(doc=1452)
          0.06833159 = weight(abstract_txt:book in 1452) [ClassicSimilarity], result of:
            0.06833159 = score(doc=1452,freq=1.0), product of:
              0.12817305 = queryWeight, product of:
                1.5094017 = boost
                4.874238 = idf(docFreq=862, maxDocs=41550)
                0.017421486 = queryNorm
              0.5331198 = fieldWeight in 1452, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.874238 = idf(docFreq=862, maxDocs=41550)
                0.109375 = fieldNorm(doc=1452)
          0.122209795 = weight(abstract_txt:theory in 1452) [ClassicSimilarity], result of:
            0.122209795 = score(doc=1452,freq=2.0), product of:
              0.1715827 = queryWeight, product of:
                2.138892 = boost
                4.60468 = idf(docFreq=1129, maxDocs=41550)
                0.017421486 = queryNorm
              0.7122501 = fieldWeight in 1452, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.60468 = idf(docFreq=1129, maxDocs=41550)
                0.109375 = fieldNorm(doc=1452)
          0.2806654 = weight(abstract_txt:algorithmic in 1452) [ClassicSimilarity], result of:
            0.2806654 = score(doc=1452,freq=1.0), product of:
              0.32873175 = queryWeight, product of:
                2.4172819 = boost
                7.806011 = idf(docFreq=45, maxDocs=41550)
                0.017421486 = queryNorm
              0.8537825 = fieldWeight in 1452, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.806011 = idf(docFreq=45, maxDocs=41550)
                0.109375 = fieldNorm(doc=1452)
        0.16 = coord(4/25)
    
  3. Bremer, M.; Cohnitz, D.: Information and information flow : an introduction (2004) 0.08
    0.07753049 = sum of:
      0.07753049 = product of:
        0.4845656 = sum of:
          0.037861507 = weight(abstract_txt:information in 217) [ClassicSimilarity], result of:
            0.037861507 = score(doc=217,freq=12.0), product of:
              0.047912505 = queryWeight, product of:
                1.1302552 = boost
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.017421486 = queryNorm
              0.79022187 = fieldWeight in 217, product of:
                3.4641016 = tf(freq=12.0), with freq of:
                  12.0 = termFreq=12.0
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.09375 = fieldNorm(doc=217)
          0.058569934 = weight(abstract_txt:book in 217) [ClassicSimilarity], result of:
            0.058569934 = score(doc=217,freq=1.0), product of:
              0.12817305 = queryWeight, product of:
                1.5094017 = boost
                4.874238 = idf(docFreq=862, maxDocs=41550)
                0.017421486 = queryNorm
              0.4569598 = fieldWeight in 217, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.874238 = idf(docFreq=862, maxDocs=41550)
                0.09375 = fieldNorm(doc=217)
          0.20669965 = weight(abstract_txt:concerned in 217) [ClassicSimilarity], result of:
            0.20669965 = score(doc=217,freq=3.0), product of:
              0.20599958 = queryWeight, product of:
                1.9135492 = boost
                6.179332 = idf(docFreq=233, maxDocs=41550)
                0.017421486 = queryNorm
              1.0033984 = fieldWeight in 217, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.179332 = idf(docFreq=233, maxDocs=41550)
                0.09375 = fieldNorm(doc=217)
          0.18143448 = weight(abstract_txt:theory in 217) [ClassicSimilarity], result of:
            0.18143448 = score(doc=217,freq=6.0), product of:
              0.1715827 = queryWeight, product of:
                2.138892 = boost
                4.60468 = idf(docFreq=1129, maxDocs=41550)
                0.017421486 = queryNorm
              1.0574172 = fieldWeight in 217, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                4.60468 = idf(docFreq=1129, maxDocs=41550)
                0.09375 = fieldNorm(doc=217)
        0.16 = coord(4/25)
    
  4. Buckland, M.: ¬The landscape of information science : the American Society for Information Science at 62 (1999) 0.07
    0.071983196 = sum of:
      0.071983196 = product of:
        0.44989496 = sum of:
          0.06812715 = weight(abstract_txt:computational in 5822) [ClassicSimilarity], result of:
            0.06812715 = score(doc=5822,freq=1.0), product of:
              0.11251672 = queryWeight, product of:
                6.4585032 = idf(docFreq=176, maxDocs=41550)
                0.017421486 = queryNorm
              0.60548466 = fieldWeight in 5822, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.4585032 = idf(docFreq=176, maxDocs=41550)
                0.09375 = fieldNorm(doc=5822)
          0.021859353 = weight(abstract_txt:information in 5822) [ClassicSimilarity], result of:
            0.021859353 = score(doc=5822,freq=4.0), product of:
              0.047912505 = queryWeight, product of:
                1.1302552 = boost
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.017421486 = queryNorm
              0.4562348 = fieldWeight in 5822, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.09375 = fieldNorm(doc=5822)
          0.119338095 = weight(abstract_txt:concerned in 5822) [ClassicSimilarity], result of:
            0.119338095 = score(doc=5822,freq=1.0), product of:
              0.20599958 = queryWeight, product of:
                1.9135492 = boost
                6.179332 = idf(docFreq=233, maxDocs=41550)
                0.017421486 = queryNorm
              0.5793123 = fieldWeight in 5822, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.179332 = idf(docFreq=233, maxDocs=41550)
                0.09375 = fieldNorm(doc=5822)
          0.24057035 = weight(abstract_txt:algorithmic in 5822) [ClassicSimilarity], result of:
            0.24057035 = score(doc=5822,freq=1.0), product of:
              0.32873175 = queryWeight, product of:
                2.4172819 = boost
                7.806011 = idf(docFreq=45, maxDocs=41550)
                0.017421486 = queryNorm
              0.73181355 = fieldWeight in 5822, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.806011 = idf(docFreq=45, maxDocs=41550)
                0.09375 = fieldNorm(doc=5822)
        0.16 = coord(4/25)
    
  5. Buckland, M.K.: Emanuel Goldberg and his knowledge machine : information, invention, and political forces (2006) 0.06
    0.06131103 = sum of:
      0.06131103 = product of:
        0.38319394 = sum of:
          0.010929677 = weight(abstract_txt:information in 3991) [ClassicSimilarity], result of:
            0.010929677 = score(doc=3991,freq=1.0), product of:
              0.047912505 = queryWeight, product of:
                1.1302552 = boost
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.017421486 = queryNorm
              0.2281174 = fieldWeight in 3991, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.4332523 = idf(docFreq=9910, maxDocs=41550)
                0.09375 = fieldNorm(doc=3991)
          0.17988011 = weight(abstract_txt:inventor in 3991) [ClassicSimilarity], result of:
            0.17988011 = score(doc=3991,freq=1.0), product of:
              0.21494417 = queryWeight, product of:
                1.3821472 = boost
                8.926602 = idf(docFreq=14, maxDocs=41550)
                0.017421486 = queryNorm
              0.836869 = fieldWeight in 3991, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.926602 = idf(docFreq=14, maxDocs=41550)
                0.09375 = fieldNorm(doc=3991)
          0.058569934 = weight(abstract_txt:book in 3991) [ClassicSimilarity], result of:
            0.058569934 = score(doc=3991,freq=1.0), product of:
              0.12817305 = queryWeight, product of:
                1.5094017 = boost
                4.874238 = idf(docFreq=862, maxDocs=41550)
                0.017421486 = queryNorm
              0.4569598 = fieldWeight in 3991, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.874238 = idf(docFreq=862, maxDocs=41550)
                0.09375 = fieldNorm(doc=3991)
          0.13381422 = weight(abstract_txt:half in 3991) [ClassicSimilarity], result of:
            0.13381422 = score(doc=3991,freq=1.0), product of:
              0.2223387 = queryWeight, product of:
                1.9879891 = boost
                6.419717 = idf(docFreq=183, maxDocs=41550)
                0.017421486 = queryNorm
              0.6018485 = fieldWeight in 3991, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.419717 = idf(docFreq=183, maxDocs=41550)
                0.09375 = fieldNorm(doc=3991)
        0.16 = coord(4/25)