Document (#27423)

Author
Chaitin, G.J.
Title
Grenzen der Berechenbarkeit
Source
Spektrum der Wissenschaft. 2004, H.2, S.86-93
Year
2004
Series
Komplexitätstheorie
Abstract
Der Zufall gehört unvermeidlich zur Mathematik, und es gibt stets wahre, aber unbeweisbare Sätze. Kein Anlass zu Pessimismus: Die Grenzen unserer Erkenntnis sind bestimmt durch die begrenzte Größe unserer Erkenntniswerkzeuge; und die lässt sich aufstocken
Content
Mit Kapiteln zu: Russells Paradoxon - Hilberts Rettungsversuch - Die Gödel'sche Unvollständigkeit - Turings Maschine - Der Zufall in der Mathematik - Information und Entropie
Field
Mathematik
Wissenschaftstheorie

Similar documents (author)

  1. Chaitin, G.J.: Gödel's theorem and information (1982) 6.01 
    6.0137663 = sum of:
  6.0137663 = weight(author_txt:chaitin in 2447) [ClassicSimilarity], result of:
    6.0137663 = fieldWeight in 2447, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.622026 = idf(docFreq=7, maxDocs=44421)
      0.625 = fieldNorm(doc=2447)
  2. Chaitin, G.: ¬Die Grenzen der Gewissheit (2006) 6.01 
    6.0137663 = sum of:
  6.0137663 = weight(author_txt:chaitin in 4478) [ClassicSimilarity], result of:
    6.0137663 = fieldWeight in 4478, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.622026 = idf(docFreq=7, maxDocs=44421)
      0.625 = fieldNorm(doc=4478)
  3. Chaitin, G.J.: ¬The limits of mathematics (1997) 6.01 
    6.0137663 = sum of:
  6.0137663 = weight(author_txt:chaitin in 974) [ClassicSimilarity], result of:
    6.0137663 = fieldWeight in 974, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.622026 = idf(docFreq=7, maxDocs=44421)
      0.625 = fieldNorm(doc=974)
  4. Chaitin, G.J.: Conversations with a mathematician : Math, art, science and the limits of reason (2002) 6.01 
    6.0137663 = sum of:
  6.0137663 = weight(author_txt:chaitin in 3212) [ClassicSimilarity], result of:
    6.0137663 = fieldWeight in 3212, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.622026 = idf(docFreq=7, maxDocs=44421)
      0.625 = fieldNorm(doc=3212)
  5. Chaitin, G.J.: Algorithmic information theory (1987) 6.01 
    6.0137663 = sum of:
  6.0137663 = weight(author_txt:chaitin in 175) [ClassicSimilarity], result of:
    6.0137663 = fieldWeight in 175, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.622026 = idf(docFreq=7, maxDocs=44421)
      0.625 = fieldNorm(doc=175)

Similar documents (content)

  1. Chaitin, G.: ¬Die Grenzen der Gewissheit (2006) 0.40 
    0.40008023 = sum of:
  0.40008023 = product of:
    1.4002807 = sum of:
      0.026191669 = weight(abstract_txt:sich in 4478) [ClassicSimilarity], result of:
        0.026191669 = score(doc=4478,freq=1.0), product of:
          0.04712866 = queryWeight, product of:
            3.5567884 = idf(docFreq=3444, maxDocs=44421)
            0.013250341 = queryNorm
          0.5557482 = fieldWeight in 4478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.5567884 = idf(docFreq=3444, maxDocs=44421)
            0.15625 = fieldNorm(doc=4478)
      0.14577866 = weight(abstract_txt:lässt in 4478) [ClassicSimilarity], result of:
        0.14577866 = score(doc=4478,freq=1.0), product of:
          0.14801496 = queryWeight, product of:
            1.77219 = boost
            6.3033047 = idf(docFreq=220, maxDocs=44421)
            0.013250341 = queryNorm
          0.98489136 = fieldWeight in 4478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.3033047 = idf(docFreq=220, maxDocs=44421)
            0.15625 = fieldNorm(doc=4478)
      0.19669926 = weight(abstract_txt:mathematik in 4478) [ClassicSimilarity], result of:
        0.19669926 = score(doc=4478,freq=1.0), product of:
          0.18073605 = queryWeight, product of:
            1.9583029 = boost
            6.965269 = idf(docFreq=113, maxDocs=44421)
            0.013250341 = queryNorm
          1.0883234 = fieldWeight in 4478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.965269 = idf(docFreq=113, maxDocs=44421)
            0.15625 = fieldNorm(doc=4478)
      0.23960485 = weight(abstract_txt:erkenntnis in 4478) [ClassicSimilarity], result of:
        0.23960485 = score(doc=4478,freq=1.0), product of:
          0.20614529 = queryWeight, product of:
            2.091434 = boost
            7.438788 = idf(docFreq=70, maxDocs=44421)
            0.013250341 = queryNorm
          1.1623106 = fieldWeight in 4478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.438788 = idf(docFreq=70, maxDocs=44421)
            0.15625 = fieldNorm(doc=4478)
      0.3776444 = weight(abstract_txt:wahre in 4478) [ClassicSimilarity], result of:
        0.3776444 = score(doc=4478,freq=1.0), product of:
          0.27918902 = queryWeight, product of:
            2.4339218 = boost
            8.656945 = idf(docFreq=20, maxDocs=44421)
            0.013250341 = queryNorm
          1.3526477 = fieldWeight in 4478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.656945 = idf(docFreq=20, maxDocs=44421)
            0.15625 = fieldNorm(doc=4478)
      0.4143619 = weight(abstract_txt:zufall in 4478) [ClassicSimilarity], result of:
        0.4143619 = score(doc=4478,freq=1.0), product of:
          0.29700437 = queryWeight, product of:
            2.5103767 = boost
            8.928879 = idf(docFreq=15, maxDocs=44421)
            0.013250341 = queryNorm
          1.3951373 = fieldWeight in 4478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.928879 = idf(docFreq=15, maxDocs=44421)
            0.15625 = fieldNorm(doc=4478)
    0.2857143 = coord(6/21)
  2. Engel, A.K.: Im Takt des Bewusstseins (2018) 0.21 
    0.20978571 = sum of:
  0.20978571 = product of:
    1.101375 = sum of:
      0.0420323 = weight(abstract_txt:sind in 1249) [ClassicSimilarity], result of:
        0.0420323 = score(doc=1249,freq=1.0), product of:
          0.05720635 = queryWeight, product of:
            1.1017412 = boost
            3.9186604 = idf(docFreq=2398, maxDocs=44421)
            0.013250341 = queryNorm
          0.73474884 = fieldWeight in 1249, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9186604 = idf(docFreq=2398, maxDocs=44421)
            0.1875 = fieldNorm(doc=1249)
      0.28752583 = weight(abstract_txt:erkenntnis in 1249) [ClassicSimilarity], result of:
        0.28752583 = score(doc=1249,freq=1.0), product of:
          0.20614529 = queryWeight, product of:
            2.091434 = boost
            7.438788 = idf(docFreq=70, maxDocs=44421)
            0.013250341 = queryNorm
          1.3947728 = fieldWeight in 1249, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.438788 = idf(docFreq=70, maxDocs=44421)
            0.1875 = fieldNorm(doc=1249)
      0.3642071 = weight(abstract_txt:unserer in 1249) [ClassicSimilarity], result of:
        0.3642071 = score(doc=1249,freq=1.0), product of:
          0.3040636 = queryWeight, product of:
            3.5921516 = boost
            6.388262 = idf(docFreq=202, maxDocs=44421)
            0.013250341 = queryNorm
          1.1977991 = fieldWeight in 1249, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.388262 = idf(docFreq=202, maxDocs=44421)
            0.1875 = fieldNorm(doc=1249)
      0.40760976 = weight(abstract_txt:grenzen in 1249) [ClassicSimilarity], result of:
        0.40760976 = score(doc=1249,freq=1.0), product of:
          0.32776448 = queryWeight, product of:
            3.729524 = boost
            6.6325636 = idf(docFreq=158, maxDocs=44421)
            0.013250341 = queryNorm
          1.2436056 = fieldWeight in 1249, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6325636 = idf(docFreq=158, maxDocs=44421)
            0.1875 = fieldNorm(doc=1249)
    0.1904762 = coord(4/21)
  3. Engel, A.K.: ¬Das Netz des Bewusstseins (2017) 0.21 
    0.20978571 = sum of:
  0.20978571 = product of:
    1.101375 = sum of:
      0.0420323 = weight(abstract_txt:sind in 416) [ClassicSimilarity], result of:
        0.0420323 = score(doc=416,freq=1.0), product of:
          0.05720635 = queryWeight, product of:
            1.1017412 = boost
            3.9186604 = idf(docFreq=2398, maxDocs=44421)
            0.013250341 = queryNorm
          0.73474884 = fieldWeight in 416, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9186604 = idf(docFreq=2398, maxDocs=44421)
            0.1875 = fieldNorm(doc=416)
      0.28752583 = weight(abstract_txt:erkenntnis in 416) [ClassicSimilarity], result of:
        0.28752583 = score(doc=416,freq=1.0), product of:
          0.20614529 = queryWeight, product of:
            2.091434 = boost
            7.438788 = idf(docFreq=70, maxDocs=44421)
            0.013250341 = queryNorm
          1.3947728 = fieldWeight in 416, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.438788 = idf(docFreq=70, maxDocs=44421)
            0.1875 = fieldNorm(doc=416)
      0.3642071 = weight(abstract_txt:unserer in 416) [ClassicSimilarity], result of:
        0.3642071 = score(doc=416,freq=1.0), product of:
          0.3040636 = queryWeight, product of:
            3.5921516 = boost
            6.388262 = idf(docFreq=202, maxDocs=44421)
            0.013250341 = queryNorm
          1.1977991 = fieldWeight in 416, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.388262 = idf(docFreq=202, maxDocs=44421)
            0.1875 = fieldNorm(doc=416)
      0.40760976 = weight(abstract_txt:grenzen in 416) [ClassicSimilarity], result of:
        0.40760976 = score(doc=416,freq=1.0), product of:
          0.32776448 = queryWeight, product of:
            3.729524 = boost
            6.6325636 = idf(docFreq=158, maxDocs=44421)
            0.013250341 = queryNorm
          1.2436056 = fieldWeight in 416, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6325636 = idf(docFreq=158, maxDocs=44421)
            0.1875 = fieldNorm(doc=416)
    0.1904762 = coord(4/21)
  4. Basieux, P.: ¬Die Architektur der Mathematik : Denken in Strukturen (2000) 0.15 
    0.1528354 = sum of:
  0.1528354 = product of:
    0.45850617 = sum of:
      0.009167084 = weight(abstract_txt:sich in 478) [ClassicSimilarity], result of:
        0.009167084 = score(doc=478,freq=1.0), product of:
          0.04712866 = queryWeight, product of:
            3.5567884 = idf(docFreq=3444, maxDocs=44421)
            0.013250341 = queryNorm
          0.19451186 = fieldWeight in 478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.5567884 = idf(docFreq=3444, maxDocs=44421)
            0.0546875 = fieldNorm(doc=478)
      0.01225942 = weight(abstract_txt:sind in 478) [ClassicSimilarity], result of:
        0.01225942 = score(doc=478,freq=1.0), product of:
          0.05720635 = queryWeight, product of:
            1.1017412 = boost
            3.9186604 = idf(docFreq=2398, maxDocs=44421)
            0.013250341 = queryNorm
          0.21430174 = fieldWeight in 478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.9186604 = idf(docFreq=2398, maxDocs=44421)
            0.0546875 = fieldNorm(doc=478)
      0.02771338 = weight(abstract_txt:aber in 478) [ClassicSimilarity], result of:
        0.02771338 = score(doc=478,freq=2.0), product of:
          0.07820731 = queryWeight, product of:
            1.2881936 = boost
            4.581832 = idf(docFreq=1235, maxDocs=44421)
            0.013250341 = queryNorm
          0.35435796 = fieldWeight in 478, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.581832 = idf(docFreq=1235, maxDocs=44421)
            0.0546875 = fieldNorm(doc=478)
      0.038285848 = weight(abstract_txt:gibt in 478) [ClassicSimilarity], result of:
        0.038285848 = score(doc=478,freq=2.0), product of:
          0.09700925 = queryWeight, product of:
            1.4347097 = boost
            5.1029587 = idf(docFreq=733, maxDocs=44421)
            0.013250341 = queryNorm
          0.3946618 = fieldWeight in 478, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.1029587 = idf(docFreq=733, maxDocs=44421)
            0.0546875 = fieldNorm(doc=478)
      0.16863449 = weight(abstract_txt:mathematik in 478) [ClassicSimilarity], result of:
        0.16863449 = score(doc=478,freq=6.0), product of:
          0.18073605 = queryWeight, product of:
            1.9583029 = boost
            6.965269 = idf(docFreq=113, maxDocs=44421)
            0.013250341 = queryNorm
          0.9330429 = fieldWeight in 478, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            6.965269 = idf(docFreq=113, maxDocs=44421)
            0.0546875 = fieldNorm(doc=478)
      0.07439369 = weight(abstract_txt:bestimmt in 478) [ClassicSimilarity], result of:
        0.07439369 = score(doc=478,freq=1.0), product of:
          0.19032171 = queryWeight, product of:
            2.009563 = boost
            7.1475906 = idf(docFreq=94, maxDocs=44421)
            0.013250341 = queryNorm
          0.39088386 = fieldWeight in 478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.1475906 = idf(docFreq=94, maxDocs=44421)
            0.0546875 = fieldNorm(doc=478)
      0.12805226 = weight(abstract_txt:sätze in 478) [ClassicSimilarity], result of:
        0.12805226 = score(doc=478,freq=1.0), product of:
          0.27335212 = queryWeight, product of:
            2.408345 = boost
            8.565973 = idf(docFreq=22, maxDocs=44421)
            0.013250341 = queryNorm
          0.46845168 = fieldWeight in 478, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.565973 = idf(docFreq=22, maxDocs=44421)
            0.0546875 = fieldNorm(doc=478)
    0.33333334 = coord(7/21)
  5. Mengham, R.: Im Universum der Wörter : über Ursprung, Funktion und Vielfalt menschlicher Sprache (1995) 0.15 
    0.1511571 = sum of:
  0.1511571 = product of:
    0.3174299 = sum of:
      0.014816244 = weight(abstract_txt:sich in 3254) [ClassicSimilarity], result of:
        0.014816244 = score(doc=3254,freq=8.0), product of:
          0.04712866 = queryWeight, product of:
            3.5567884 = idf(docFreq=3444, maxDocs=44421)
            0.013250341 = queryNorm
          0.31437865 = fieldWeight in 3254, product of:
            2.828427 = tf(freq=8.0), with freq of:
              8.0 = termFreq=8.0
            3.5567884 = idf(docFreq=3444, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
      0.009907108 = weight(abstract_txt:sind in 3254) [ClassicSimilarity], result of:
        0.009907108 = score(doc=3254,freq=2.0), product of:
          0.05720635 = queryWeight, product of:
            1.1017412 = boost
            3.9186604 = idf(docFreq=2398, maxDocs=44421)
            0.013250341 = queryNorm
          0.17318195 = fieldWeight in 3254, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.9186604 = idf(docFreq=2398, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
      0.008912732 = weight(abstract_txt:durch in 3254) [ClassicSimilarity], result of:
        0.008912732 = score(doc=3254,freq=1.0), product of:
          0.067168176 = queryWeight, product of:
            1.1938211 = boost
            4.246169 = idf(docFreq=1728, maxDocs=44421)
            0.013250341 = queryNorm
          0.13269278 = fieldWeight in 3254, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.246169 = idf(docFreq=1728, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
      0.015836218 = weight(abstract_txt:aber in 3254) [ClassicSimilarity], result of:
        0.015836218 = score(doc=3254,freq=2.0), product of:
          0.07820731 = queryWeight, product of:
            1.2881936 = boost
            4.581832 = idf(docFreq=1235, maxDocs=44421)
            0.013250341 = queryNorm
          0.20249027 = fieldWeight in 3254, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.581832 = idf(docFreq=1235, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
      0.015469818 = weight(abstract_txt:gibt in 3254) [ClassicSimilarity], result of:
        0.015469818 = score(doc=3254,freq=1.0), product of:
          0.09700925 = queryWeight, product of:
            1.4347097 = boost
            5.1029587 = idf(docFreq=733, maxDocs=44421)
            0.013250341 = queryNorm
          0.15946746 = fieldWeight in 3254, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.1029587 = idf(docFreq=733, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
      0.03169331 = weight(abstract_txt:kein in 3254) [ClassicSimilarity], result of:
        0.03169331 = score(doc=3254,freq=1.0), product of:
          0.15648332 = queryWeight, product of:
            1.8221809 = boost
            6.481112 = idf(docFreq=184, maxDocs=44421)
            0.013250341 = queryNorm
          0.20253475 = fieldWeight in 3254, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.481112 = idf(docFreq=184, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
      0.042510677 = weight(abstract_txt:bestimmt in 3254) [ClassicSimilarity], result of:
        0.042510677 = score(doc=3254,freq=1.0), product of:
          0.19032171 = queryWeight, product of:
            2.009563 = boost
            7.1475906 = idf(docFreq=94, maxDocs=44421)
            0.013250341 = queryNorm
          0.2233622 = fieldWeight in 3254, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.1475906 = idf(docFreq=94, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
      0.049647655 = weight(abstract_txt:stets in 3254) [ClassicSimilarity], result of:
        0.049647655 = score(doc=3254,freq=1.0), product of:
          0.21106789 = queryWeight, product of:
            2.1162577 = boost
            7.5270805 = idf(docFreq=64, maxDocs=44421)
            0.013250341 = queryNorm
          0.23522127 = fieldWeight in 3254, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.5270805 = idf(docFreq=64, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
      0.06070118 = weight(abstract_txt:unserer in 3254) [ClassicSimilarity], result of:
        0.06070118 = score(doc=3254,freq=1.0), product of:
          0.3040636 = queryWeight, product of:
            3.5921516 = boost
            6.388262 = idf(docFreq=202, maxDocs=44421)
            0.013250341 = queryNorm
          0.19963318 = fieldWeight in 3254, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.388262 = idf(docFreq=202, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
      0.06793496 = weight(abstract_txt:grenzen in 3254) [ClassicSimilarity], result of:
        0.06793496 = score(doc=3254,freq=1.0), product of:
          0.32776448 = queryWeight, product of:
            3.729524 = boost
            6.6325636 = idf(docFreq=158, maxDocs=44421)
            0.013250341 = queryNorm
          0.20726761 = fieldWeight in 3254, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.6325636 = idf(docFreq=158, maxDocs=44421)
            0.03125 = fieldNorm(doc=3254)
    0.47619048 = coord(10/21)