Document (#27424)

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.: Algorithmic information theory (1977) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 0) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 0, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=0)
    
  2. Chaitin, G.J.: Gödel's theorem and information (1982) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 2448) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 2448, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=2448)
    
  3. Chaitin, G.: ¬Die Grenzen der Gewissheit (2006) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 4479) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 4479, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=4479)
    
  4. Chaitin, G.J.: ¬The limits of mathematics (1997) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 975) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 975, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=975)
    
  5. Chaitin, G.J.: Conversations with a mathematician : Math, art, science and the limits of reason (2002) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 3213) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 3213, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.583449 = idf(docFreq=7, maxDocs=42740)
          0.625 = fieldNorm(doc=3213)
    

Similar documents (content)

  1. Chaitin, G.: ¬Die Grenzen der Gewissheit (2006) 0.40
    0.4022042 = sum of:
      0.4022042 = product of:
        1.4077146 = sum of:
          0.02668701 = weight(abstract_txt:sich in 4479) [ClassicSimilarity], result of:
            0.02668701 = score(doc=4479,freq=1.0), product of:
              0.047578383 = queryWeight, product of:
                3.5897994 = idf(docFreq=3206, maxDocs=42740)
                0.013253772 = queryNorm
              0.5609062 = fieldWeight in 4479, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.5897994 = idf(docFreq=3206, maxDocs=42740)
                0.15625 = fieldNorm(doc=4479)
          0.1494352 = weight(abstract_txt:lässt in 4479) [ClassicSimilarity], result of:
            0.1494352 = score(doc=4479,freq=1.0), product of:
              0.15003009 = queryWeight, product of:
                1.7757603 = boost
                6.3746233 = idf(docFreq=197, maxDocs=42740)
                0.013253772 = queryNorm
              0.99603486 = fieldWeight in 4479, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3746233 = idf(docFreq=197, maxDocs=42740)
                0.15625 = fieldNorm(doc=4479)
          0.19862986 = weight(abstract_txt:mathematik in 4479) [ClassicSimilarity], result of:
            0.19862986 = score(doc=4479,freq=1.0), product of:
              0.18137306 = queryWeight, product of:
                1.9524573 = boost
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.013253772 = queryNorm
              1.0951453 = fieldWeight in 4479, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.15625 = fieldNorm(doc=4479)
          0.2453017 = weight(abstract_txt:erkenntnis in 4479) [ClassicSimilarity], result of:
            0.2453017 = score(doc=4479,freq=1.0), product of:
              0.20877418 = queryWeight, product of:
                2.0947566 = boost
                7.519756 = idf(docFreq=62, maxDocs=42740)
                0.013253772 = queryNorm
              1.1749618 = fieldWeight in 4479, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.519756 = idf(docFreq=62, maxDocs=42740)
                0.15625 = fieldNorm(doc=4479)
          0.38230273 = weight(abstract_txt:wahre in 4479) [ClassicSimilarity], result of:
            0.38230273 = score(doc=4479,freq=1.0), product of:
              0.280639 = queryWeight, product of:
                2.4286737 = boost
                8.7184515 = idf(docFreq=18, maxDocs=42740)
                0.013253772 = queryNorm
              1.3622581 = fieldWeight in 4479, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.7184515 = idf(docFreq=18, maxDocs=42740)
                0.15625 = fieldNorm(doc=4479)
          0.40535808 = weight(abstract_txt:zufall in 4479) [ClassicSimilarity], result of:
            0.40535808 = score(doc=4479,freq=1.0), product of:
              0.29181144 = queryWeight, product of:
                2.4765456 = boost
                8.890302 = idf(docFreq=15, maxDocs=42740)
                0.013253772 = queryNorm
              1.3891096 = fieldWeight in 4479, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.890302 = idf(docFreq=15, maxDocs=42740)
                0.15625 = fieldNorm(doc=4479)
        0.2857143 = coord(6/21)
    
  2. Engel, A.K.: Im Takt des Bewusstseins (2018) 0.21
    0.21316324 = sum of:
      0.21316324 = product of:
        1.119107 = sum of:
          0.042447828 = weight(abstract_txt:sind in 1250) [ClassicSimilarity], result of:
            0.042447828 = score(doc=1250,freq=1.0), product of:
              0.057410665 = queryWeight, product of:
                1.0984782 = boost
                3.9433165 = idf(docFreq=2251, maxDocs=42740)
                0.013253772 = queryNorm
              0.73937184 = fieldWeight in 1250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9433165 = idf(docFreq=2251, maxDocs=42740)
                0.1875 = fieldNorm(doc=1250)
          0.29436204 = weight(abstract_txt:erkenntnis in 1250) [ClassicSimilarity], result of:
            0.29436204 = score(doc=1250,freq=1.0), product of:
              0.20877418 = queryWeight, product of:
                2.0947566 = boost
                7.519756 = idf(docFreq=62, maxDocs=42740)
                0.013253772 = queryNorm
              1.4099542 = fieldWeight in 1250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.519756 = idf(docFreq=62, maxDocs=42740)
                0.1875 = fieldNorm(doc=1250)
          0.3759425 = weight(abstract_txt:unserer in 1250) [ClassicSimilarity], result of:
            0.3759425 = score(doc=1250,freq=1.0), product of:
              0.3096325 = queryWeight, product of:
                3.6077251 = boost
                6.475505 = idf(docFreq=178, maxDocs=42740)
                0.013253772 = queryNorm
              1.2141571 = fieldWeight in 1250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.475505 = idf(docFreq=178, maxDocs=42740)
                0.1875 = fieldNorm(doc=1250)
          0.40635473 = weight(abstract_txt:grenzen in 1250) [ClassicSimilarity], result of:
            0.40635473 = score(doc=1250,freq=1.0), product of:
              0.32611376 = queryWeight, product of:
                3.702497 = boost
                6.645611 = idf(docFreq=150, maxDocs=42740)
                0.013253772 = queryNorm
              1.246052 = fieldWeight in 1250, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.645611 = idf(docFreq=150, maxDocs=42740)
                0.1875 = fieldNorm(doc=1250)
        0.1904762 = coord(4/21)
    
  3. Engel, A.K.: ¬Das Netz des Bewusstseins (2017) 0.21
    0.21316324 = sum of:
      0.21316324 = product of:
        1.119107 = sum of:
          0.042447828 = weight(abstract_txt:sind in 417) [ClassicSimilarity], result of:
            0.042447828 = score(doc=417,freq=1.0), product of:
              0.057410665 = queryWeight, product of:
                1.0984782 = boost
                3.9433165 = idf(docFreq=2251, maxDocs=42740)
                0.013253772 = queryNorm
              0.73937184 = fieldWeight in 417, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9433165 = idf(docFreq=2251, maxDocs=42740)
                0.1875 = fieldNorm(doc=417)
          0.29436204 = weight(abstract_txt:erkenntnis in 417) [ClassicSimilarity], result of:
            0.29436204 = score(doc=417,freq=1.0), product of:
              0.20877418 = queryWeight, product of:
                2.0947566 = boost
                7.519756 = idf(docFreq=62, maxDocs=42740)
                0.013253772 = queryNorm
              1.4099542 = fieldWeight in 417, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.519756 = idf(docFreq=62, maxDocs=42740)
                0.1875 = fieldNorm(doc=417)
          0.3759425 = weight(abstract_txt:unserer in 417) [ClassicSimilarity], result of:
            0.3759425 = score(doc=417,freq=1.0), product of:
              0.3096325 = queryWeight, product of:
                3.6077251 = boost
                6.475505 = idf(docFreq=178, maxDocs=42740)
                0.013253772 = queryNorm
              1.2141571 = fieldWeight in 417, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.475505 = idf(docFreq=178, maxDocs=42740)
                0.1875 = fieldNorm(doc=417)
          0.40635473 = weight(abstract_txt:grenzen in 417) [ClassicSimilarity], result of:
            0.40635473 = score(doc=417,freq=1.0), product of:
              0.32611376 = queryWeight, product of:
                3.702497 = boost
                6.645611 = idf(docFreq=150, maxDocs=42740)
                0.013253772 = queryNorm
              1.246052 = fieldWeight in 417, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.645611 = idf(docFreq=150, maxDocs=42740)
                0.1875 = fieldNorm(doc=417)
        0.1904762 = coord(4/21)
    
  4. Basieux, P.: ¬Die Architektur der Mathematik : Denken in Strukturen (2000) 0.16
    0.15579319 = sum of:
      0.15579319 = product of:
        0.46737957 = sum of:
          0.009340453 = weight(abstract_txt:sich in 492) [ClassicSimilarity], result of:
            0.009340453 = score(doc=492,freq=1.0), product of:
              0.047578383 = queryWeight, product of:
                3.5897994 = idf(docFreq=3206, maxDocs=42740)
                0.013253772 = queryNorm
              0.19631715 = fieldWeight in 492, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.5897994 = idf(docFreq=3206, maxDocs=42740)
                0.0546875 = fieldNorm(doc=492)
          0.012380617 = weight(abstract_txt:sind in 492) [ClassicSimilarity], result of:
            0.012380617 = score(doc=492,freq=1.0), product of:
              0.057410665 = queryWeight, product of:
                1.0984782 = boost
                3.9433165 = idf(docFreq=2251, maxDocs=42740)
                0.013253772 = queryNorm
              0.21565011 = fieldWeight in 492, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9433165 = idf(docFreq=2251, maxDocs=42740)
                0.0546875 = fieldNorm(doc=492)
          0.028009955 = weight(abstract_txt:aber in 492) [ClassicSimilarity], result of:
            0.028009955 = score(doc=492,freq=2.0), product of:
              0.078528866 = queryWeight, product of:
                1.284724 = boost
                4.6119013 = idf(docFreq=1153, maxDocs=42740)
                0.013253772 = queryNorm
              0.35668355 = fieldWeight in 492, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.6119013 = idf(docFreq=1153, maxDocs=42740)
                0.0546875 = fieldNorm(doc=492)
          0.03876068 = weight(abstract_txt:gibt in 492) [ClassicSimilarity], result of:
            0.03876068 = score(doc=492,freq=2.0), product of:
              0.09751737 = queryWeight, product of:
                1.4316477 = boost
                5.139328 = idf(docFreq=680, maxDocs=42740)
                0.013253772 = queryNorm
              0.39747462 = fieldWeight in 492, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.139328 = idf(docFreq=680, maxDocs=42740)
                0.0546875 = fieldNorm(doc=492)
          0.17028964 = weight(abstract_txt:mathematik in 492) [ClassicSimilarity], result of:
            0.17028964 = score(doc=492,freq=6.0), product of:
              0.18137306 = queryWeight, product of:
                1.9524573 = boost
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.013253772 = queryNorm
              0.93889153 = fieldWeight in 492, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.0546875 = fieldNorm(doc=492)
          0.077140056 = weight(abstract_txt:bestimmt in 492) [ClassicSimilarity], result of:
            0.077140056 = score(doc=492,freq=1.0), product of:
              0.19439468 = queryWeight, product of:
                2.0213306 = boost
                7.256171 = idf(docFreq=81, maxDocs=42740)
                0.013253772 = queryNorm
              0.39682186 = fieldWeight in 492, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.256171 = idf(docFreq=81, maxDocs=42740)
                0.0546875 = fieldNorm(doc=492)
          0.13145816 = weight(abstract_txt:sätze in 492) [ClassicSimilarity], result of:
            0.13145816 = score(doc=492,freq=1.0), product of:
              0.27734655 = queryWeight, product of:
                2.414385 = boost
                8.667158 = idf(docFreq=19, maxDocs=42740)
                0.013253772 = queryNorm
              0.4739852 = fieldWeight in 492, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.667158 = idf(docFreq=19, maxDocs=42740)
                0.0546875 = fieldNorm(doc=492)
        0.33333334 = coord(7/21)
    
  5. Mengham, R.: Im Universum der Wörter : über Ursprung, Funktion und Vielfalt menschlicher Sprache (1995) 0.15
    0.15323822 = sum of:
      0.15323822 = product of:
        0.32180026 = sum of:
          0.015096452 = weight(abstract_txt:sich in 3255) [ClassicSimilarity], result of:
            0.015096452 = score(doc=3255,freq=8.0), product of:
              0.047578383 = queryWeight, product of:
                3.5897994 = idf(docFreq=3206, maxDocs=42740)
                0.013253772 = queryNorm
              0.31729645 = fieldWeight in 3255, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                3.5897994 = idf(docFreq=3206, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
          0.010005049 = weight(abstract_txt:sind in 3255) [ClassicSimilarity], result of:
            0.010005049 = score(doc=3255,freq=2.0), product of:
              0.057410665 = queryWeight, product of:
                1.0984782 = boost
                3.9433165 = idf(docFreq=2251, maxDocs=42740)
                0.013253772 = queryNorm
              0.17427161 = fieldWeight in 3255, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.9433165 = idf(docFreq=2251, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
          0.008972508 = weight(abstract_txt:durch in 3255) [ClassicSimilarity], result of:
            0.008972508 = score(doc=3255,freq=1.0), product of:
              0.067266524 = queryWeight, product of:
                1.189035 = boost
                4.2683973 = idf(docFreq=1626, maxDocs=42740)
                0.013253772 = queryNorm
              0.13338742 = fieldWeight in 3255, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.2683973 = idf(docFreq=1626, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
          0.01600569 = weight(abstract_txt:aber in 3255) [ClassicSimilarity], result of:
            0.01600569 = score(doc=3255,freq=2.0), product of:
              0.078528866 = queryWeight, product of:
                1.284724 = boost
                4.6119013 = idf(docFreq=1153, maxDocs=42740)
                0.013253772 = queryNorm
              0.20381917 = fieldWeight in 3255, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.6119013 = idf(docFreq=1153, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
          0.01566168 = weight(abstract_txt:gibt in 3255) [ClassicSimilarity], result of:
            0.01566168 = score(doc=3255,freq=1.0), product of:
              0.09751737 = queryWeight, product of:
                1.4316477 = boost
                5.139328 = idf(docFreq=680, maxDocs=42740)
                0.013253772 = queryNorm
              0.160604 = fieldWeight in 3255, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.139328 = idf(docFreq=680, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
          0.03157449 = weight(abstract_txt:kein in 3255) [ClassicSimilarity], result of:
            0.03157449 = score(doc=3255,freq=1.0), product of:
              0.15562546 = queryWeight, product of:
                1.8085707 = boost
                6.4924064 = idf(docFreq=175, maxDocs=42740)
                0.013253772 = queryNorm
              0.2028877 = fieldWeight in 3255, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.4924064 = idf(docFreq=175, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
          0.044080034 = weight(abstract_txt:bestimmt in 3255) [ClassicSimilarity], result of:
            0.044080034 = score(doc=3255,freq=1.0), product of:
              0.19439468 = queryWeight, product of:
                2.0213306 = boost
                7.256171 = idf(docFreq=81, maxDocs=42740)
                0.013253772 = queryNorm
              0.22675535 = fieldWeight in 3255, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.256171 = idf(docFreq=81, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
          0.050021496 = weight(abstract_txt:stets in 3255) [ClassicSimilarity], result of:
            0.050021496 = score(doc=3255,freq=1.0), product of:
              0.21149212 = queryWeight, product of:
                2.108348 = boost
                7.568546 = idf(docFreq=59, maxDocs=42740)
                0.013253772 = queryNorm
              0.23651706 = fieldWeight in 3255, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.568546 = idf(docFreq=59, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
          0.06265709 = weight(abstract_txt:unserer in 3255) [ClassicSimilarity], result of:
            0.06265709 = score(doc=3255,freq=1.0), product of:
              0.3096325 = queryWeight, product of:
                3.6077251 = boost
                6.475505 = idf(docFreq=178, maxDocs=42740)
                0.013253772 = queryNorm
              0.20235953 = fieldWeight in 3255, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.475505 = idf(docFreq=178, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
          0.067725785 = weight(abstract_txt:grenzen in 3255) [ClassicSimilarity], result of:
            0.067725785 = score(doc=3255,freq=1.0), product of:
              0.32611376 = queryWeight, product of:
                3.702497 = boost
                6.645611 = idf(docFreq=150, maxDocs=42740)
                0.013253772 = queryNorm
              0.20767534 = fieldWeight in 3255, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.645611 = idf(docFreq=150, maxDocs=42740)
                0.03125 = fieldNorm(doc=3255)
        0.47619048 = coord(10/21)