Search (2 results, page 1 of 1)

  • × classification_ss:"SK 130"
  • × year_i:[1980 TO 1990}
  1. Chaitin, G.J.: Algorithmic information theory (1987) 0.00
    0.0025686787 = product of:
      0.01926509 = sum of:
        0.013345163 = weight(_text_:und in 4175) [ClassicSimilarity], result of:
          0.013345163 = score(doc=4175,freq=4.0), product of:
            0.06422601 = queryWeight, product of:
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.028978055 = queryNorm
            0.20778441 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
        0.005919926 = product of:
          0.011839852 = sum of:
            0.011839852 = weight(_text_:information in 4175) [ClassicSimilarity], result of:
              0.011839852 = score(doc=4175,freq=8.0), product of:
                0.050870337 = queryWeight, product of:
                  1.7554779 = idf(docFreq=20772, maxDocs=44218)
                  0.028978055 = 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.5 = coord(1/2)
      0.13333334 = coord(2/15)
    
    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.
    BK
    31.02 (Philosophie und Wissenschaftstheorie der Mathematik)
    Classification
    31.02 (Philosophie und Wissenschaftstheorie der Mathematik)
    Theme
    Information
  2. Davis, P.J.; Hersh, R.: Descartes' Traum : über die Mathematisierung von Zeit und Raum ; von denkenden Computern, Politik und Liebe (1988) 0.00
    0.0018160468 = product of:
      0.027240701 = sum of:
        0.027240701 = weight(_text_:und in 3941) [ClassicSimilarity], result of:
          0.027240701 = score(doc=3941,freq=24.0), product of:
            0.06422601 = queryWeight, product of:
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.028978055 = queryNorm
            0.42413816 = fieldWeight in 3941, product of:
              4.8989797 = tf(freq=24.0), with freq of:
                24.0 = termFreq=24.0
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3941)
      0.06666667 = coord(1/15)
    
    Abstract
    Es war René Descartes, der die Welt im 17. Jahrhundert auf den Kurs steuerte, dessen Stationen bald seine kühnsten Träume übersteigen sollten: die Rationalisierung der Welt, ihre Erkundung und Beherrschung durch die Methoden der Messung, des Zählens, Quantifizierens und Analysierens. Philip J. Davis und Reuben Hersh fahren diese Route erneut ab und stellen in ihrem »Kursbuch«, das erstmals 1986 erschien, eine Reihe wichtiger Fragen: Wie beeinflußt die Computerisierung der Welt die materiellen und intellektuellen Bausteine unserer Zivilisation? Wie verändert der Computer unsere Vorstellungen von der Realität, vom Wissen und von der Zeit? Hat er unser alltägliches Leben tatsächlich erleichtert?
    BK
    31.02 Philosophie und Wissenschaftstheorie der Mathematik
    54.08 Informatik in Beziehung zu Mensch und Gesellschaft
    Classification
    31.02 Philosophie und Wissenschaftstheorie der Mathematik
    54.08 Informatik in Beziehung zu Mensch und Gesellschaft