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.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 2448) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 2448, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         0.625 = fieldNorm(doc=2448)
   

2. Chaitin, G.: ¬Die Grenzen der Gewissheit (2006) 6.01

   6.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 4479) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 4479, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         0.625 = fieldNorm(doc=4479)
   

3. Chaitin, G.J.: ¬The limits of mathematics (1997) 6.01

   6.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 974) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 974, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         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.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 2212) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 2212, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         0.625 = fieldNorm(doc=2212)
   

5. Chaitin, G.J.: Algorithmic information theory (1987) 6.01

   6.010904 = sum of:
     6.010904 = weight(author_txt:chaitin in 4175) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 4175, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         0.625 = fieldNorm(doc=4175)
   

Similar documents (content)

1. Chaitin, G.: ¬Die Grenzen der Gewissheit (2006) 0.40

   0.40023023 = sum of:
     0.40023023 = product of:
       1.4008057 = sum of:
         0.026241979 = weight(abstract_txt:sich in 4479) [ClassicSimilarity], result of:
           0.026241979 = score(doc=4479,freq=1.0), product of:
             0.04719496 = queryWeight, product of:
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.013262173 = queryNorm
             0.5560335 = fieldWeight in 4479, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.15625 = fieldNorm(doc=4479)
         0.14710812 = weight(abstract_txt:lässt in 4479) [ClassicSimilarity], result of:
           0.14710812 = score(doc=4479,freq=1.0), product of:
             0.14893234 = queryWeight, product of:
               1.7764243 = boost
               6.321609 = idf(docFreq=215, maxDocs=44218)
               0.013262173 = queryNorm
             0.9877514 = fieldWeight in 4479, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.321609 = idf(docFreq=215, maxDocs=44218)
               0.15625 = fieldNorm(doc=4479)
         0.19713263 = weight(abstract_txt:mathematik in 4479) [ClassicSimilarity], result of:
           0.19713263 = score(doc=4479,freq=1.0), product of:
             0.18102431 = queryWeight, product of:
               1.9584868 = boost
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.013262173 = queryNorm
             1.0889843 = fieldWeight in 4479, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.15625 = fieldNorm(doc=4479)
         0.23925324 = weight(abstract_txt:erkenntnis in 4479) [ClassicSimilarity], result of:
           0.23925324 = score(doc=4479,freq=1.0), product of:
             0.2059696 = queryWeight, product of:
               2.0890737 = boost
               7.4342074 = idf(docFreq=70, maxDocs=44218)
               0.013262173 = queryNorm
             1.1615949 = fieldWeight in 4479, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.4342074 = idf(docFreq=70, maxDocs=44218)
               0.15625 = fieldNorm(doc=4479)
         0.37718832 = weight(abstract_txt:wahre in 4479) [ClassicSimilarity], result of:
           0.37718832 = score(doc=4479,freq=1.0), product of:
             0.27899948 = queryWeight, product of:
               2.4313858 = boost
               8.652365 = idf(docFreq=20, maxDocs=44218)
               0.013262173 = queryNorm
             1.351932 = fieldWeight in 4479, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.652365 = idf(docFreq=20, maxDocs=44218)
               0.15625 = fieldNorm(doc=4479)
         0.41388148 = weight(abstract_txt:zufall in 4479) [ClassicSimilarity], result of:
           0.41388148 = score(doc=4479,freq=1.0), product of:
             0.2968123 = queryWeight, product of:
               2.5078013 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.013262173 = queryNorm
             1.3944216 = fieldWeight in 4479, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.15625 = fieldNorm(doc=4479)
       0.2857143 = coord(6/21)
   

2. Engel, A.K.: Im Takt des Bewusstseins (2018) 0.21

   0.20982897 = sum of:
     0.20982897 = product of:
       1.1016021 = sum of:
         0.042008337 = weight(abstract_txt:sind in 1181) [ClassicSimilarity], result of:
           0.042008337 = score(doc=1181,freq=1.0), product of:
             0.057191838 = queryWeight, product of:
               1.1008273 = boost
               3.9174201 = idf(docFreq=2390, maxDocs=44218)
               0.013262173 = queryNorm
             0.73451626 = fieldWeight in 1181, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9174201 = idf(docFreq=2390, maxDocs=44218)
               0.1875 = fieldNorm(doc=1181)
         0.2871039 = weight(abstract_txt:erkenntnis in 1181) [ClassicSimilarity], result of:
           0.2871039 = score(doc=1181,freq=1.0), product of:
             0.2059696 = queryWeight, product of:
               2.0890737 = boost
               7.4342074 = idf(docFreq=70, maxDocs=44218)
               0.013262173 = queryNorm
             1.3939139 = fieldWeight in 1181, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.4342074 = idf(docFreq=70, maxDocs=44218)
               0.1875 = fieldNorm(doc=1181)
         0.3644065 = weight(abstract_txt:unserer in 1181) [ClassicSimilarity], result of:
           0.3644065 = score(doc=1181,freq=1.0), product of:
             0.30421302 = queryWeight, product of:
               3.5905094 = boost
               6.3886194 = idf(docFreq=201, maxDocs=44218)
               0.013262173 = queryNorm
             1.1978662 = fieldWeight in 1181, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3886194 = idf(docFreq=201, maxDocs=44218)
               0.1875 = fieldNorm(doc=1181)
         0.40808326 = weight(abstract_txt:grenzen in 1181) [ClassicSimilarity], result of:
           0.40808326 = score(doc=1181,freq=1.0), product of:
             0.32805973 = queryWeight, product of:
               3.7285814 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.013262173 = queryNorm
             1.2439297 = fieldWeight in 1181, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.1875 = fieldNorm(doc=1181)
       0.1904762 = coord(4/21)
   

3. Engel, A.K.: ¬Das Netz des Bewusstseins (2017) 0.21

   0.20982897 = sum of:
     0.20982897 = product of:
       1.1016021 = sum of:
         0.042008337 = weight(abstract_txt:sind in 4416) [ClassicSimilarity], result of:
           0.042008337 = score(doc=4416,freq=1.0), product of:
             0.057191838 = queryWeight, product of:
               1.1008273 = boost
               3.9174201 = idf(docFreq=2390, maxDocs=44218)
               0.013262173 = queryNorm
             0.73451626 = fieldWeight in 4416, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9174201 = idf(docFreq=2390, maxDocs=44218)
               0.1875 = fieldNorm(doc=4416)
         0.2871039 = weight(abstract_txt:erkenntnis in 4416) [ClassicSimilarity], result of:
           0.2871039 = score(doc=4416,freq=1.0), product of:
             0.2059696 = queryWeight, product of:
               2.0890737 = boost
               7.4342074 = idf(docFreq=70, maxDocs=44218)
               0.013262173 = queryNorm
             1.3939139 = fieldWeight in 4416, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.4342074 = idf(docFreq=70, maxDocs=44218)
               0.1875 = fieldNorm(doc=4416)
         0.3644065 = weight(abstract_txt:unserer in 4416) [ClassicSimilarity], result of:
           0.3644065 = score(doc=4416,freq=1.0), product of:
             0.30421302 = queryWeight, product of:
               3.5905094 = boost
               6.3886194 = idf(docFreq=201, maxDocs=44218)
               0.013262173 = queryNorm
             1.1978662 = fieldWeight in 4416, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3886194 = idf(docFreq=201, maxDocs=44218)
               0.1875 = fieldNorm(doc=4416)
         0.40808326 = weight(abstract_txt:grenzen in 4416) [ClassicSimilarity], result of:
           0.40808326 = score(doc=4416,freq=1.0), product of:
             0.32805973 = queryWeight, product of:
               3.7285814 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.013262173 = queryNorm
             1.2439297 = fieldWeight in 4416, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.1875 = fieldNorm(doc=4416)
       0.1904762 = coord(4/21)
   

4. Basieux, P.: ¬Die Architektur der Mathematik : Denken in Strukturen (2000) 0.15

   0.1528787 = sum of:
     0.1528787 = product of:
       0.4586361 = sum of:
         0.009184693 = weight(abstract_txt:sich in 3491) [ClassicSimilarity], result of:
           0.009184693 = score(doc=3491,freq=1.0), product of:
             0.04719496 = queryWeight, product of:
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.013262173 = queryNorm
             0.19461173 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.012252431 = weight(abstract_txt:sind in 3491) [ClassicSimilarity], result of:
           0.012252431 = score(doc=3491,freq=1.0), product of:
             0.057191838 = queryWeight, product of:
               1.1008273 = boost
               3.9174201 = idf(docFreq=2390, maxDocs=44218)
               0.013262173 = queryNorm
             0.21423392 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9174201 = idf(docFreq=2390, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.027729083 = weight(abstract_txt:aber in 3491) [ClassicSimilarity], result of:
           0.027729083 = score(doc=3491,freq=2.0), product of:
             0.078246735 = queryWeight, product of:
               1.2876128 = boost
               4.5821176 = idf(docFreq=1229, maxDocs=44218)
               0.013262173 = queryNorm
             0.35438007 = fieldWeight in 3491, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.5821176 = idf(docFreq=1229, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.038289446 = weight(abstract_txt:gibt in 3491) [ClassicSimilarity], result of:
           0.038289446 = score(doc=3491,freq=2.0), product of:
             0.0970276 = queryWeight, product of:
               1.4338372 = boost
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.013262173 = queryNorm
             0.3946243 = fieldWeight in 3491, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.16900603 = weight(abstract_txt:mathematik in 3491) [ClassicSimilarity], result of:
           0.16900603 = score(doc=3491,freq=6.0), product of:
             0.18102431 = queryWeight, product of:
               1.9584868 = boost
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.013262173 = queryNorm
             0.9336096 = fieldWeight in 3491, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.9694996 = idf(docFreq=112, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.074278936 = weight(abstract_txt:bestimmt in 3491) [ClassicSimilarity], result of:
           0.074278936 = score(doc=3491,freq=1.0), product of:
             0.19015 = queryWeight, product of:
               2.0072448 = boost
               7.14301 = idf(docFreq=94, maxDocs=44218)
               0.013262173 = queryNorm
             0.39063337 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.14301 = idf(docFreq=94, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
         0.12789546 = weight(abstract_txt:sätze in 3491) [ClassicSimilarity], result of:
           0.12789546 = score(doc=3491,freq=1.0), product of:
             0.27316347 = queryWeight, product of:
               2.405822 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.013262173 = queryNorm
             0.46820116 = fieldWeight in 3491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3491)
       0.33333334 = coord(7/21)
   

5. Mengham, R.: Im Universum der Wörter : über Ursprung, Funktion und Vielfalt menschlicher Sprache (1995) 0.15

   0.1512862 = sum of:
     0.1512862 = product of:
       0.317701 = sum of:
         0.014844706 = weight(abstract_txt:sich in 2254) [ClassicSimilarity], result of:
           0.014844706 = score(doc=2254,freq=8.0), product of:
             0.04719496 = queryWeight, product of:
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.013262173 = queryNorm
             0.31454006 = fieldWeight in 2254, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               3.5586145 = idf(docFreq=3422, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
         0.009901459 = weight(abstract_txt:sind in 2254) [ClassicSimilarity], result of:
           0.009901459 = score(doc=2254,freq=2.0), product of:
             0.057191838 = queryWeight, product of:
               1.1008273 = boost
               3.9174201 = idf(docFreq=2390, maxDocs=44218)
               0.013262173 = queryNorm
             0.17312714 = fieldWeight in 2254, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.9174201 = idf(docFreq=2390, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
         0.008923803 = weight(abstract_txt:durch in 2254) [ClassicSimilarity], result of:
           0.008923803 = score(doc=2254,freq=1.0), product of:
             0.06723229 = queryWeight, product of:
               1.1935514 = boost
               4.2473893 = idf(docFreq=1718, maxDocs=44218)
               0.013262173 = queryNorm
             0.13273092 = fieldWeight in 2254, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.2473893 = idf(docFreq=1718, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
         0.01584519 = weight(abstract_txt:aber in 2254) [ClassicSimilarity], result of:
           0.01584519 = score(doc=2254,freq=2.0), product of:
             0.078246735 = queryWeight, product of:
               1.2876128 = boost
               4.5821176 = idf(docFreq=1229, maxDocs=44218)
               0.013262173 = queryNorm
             0.20250289 = fieldWeight in 2254, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.5821176 = idf(docFreq=1229, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
         0.015471274 = weight(abstract_txt:gibt in 2254) [ClassicSimilarity], result of:
           0.015471274 = score(doc=2254,freq=1.0), product of:
             0.0970276 = queryWeight, product of:
               1.4338372 = boost
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.013262173 = queryNorm
             0.1594523 = fieldWeight in 2254, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.1024737 = idf(docFreq=730, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
         0.03163816 = weight(abstract_txt:kein in 2254) [ClassicSimilarity], result of:
           0.03163816 = score(doc=2254,freq=1.0), product of:
             0.1563215 = queryWeight, product of:
               1.8199587 = boost
               6.4765315 = idf(docFreq=184, maxDocs=44218)
               0.013262173 = queryNorm
             0.20239161 = fieldWeight in 2254, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.4765315 = idf(docFreq=184, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
         0.042445105 = weight(abstract_txt:bestimmt in 2254) [ClassicSimilarity], result of:
           0.042445105 = score(doc=2254,freq=1.0), product of:
             0.19015 = queryWeight, product of:
               2.0072448 = boost
               7.14301 = idf(docFreq=94, maxDocs=44218)
               0.013262173 = queryNorm
             0.22321907 = fieldWeight in 2254, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.14301 = idf(docFreq=94, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
         0.04988303 = weight(abstract_txt:stets in 2254) [ClassicSimilarity], result of:
           0.04988303 = score(doc=2254,freq=1.0), product of:
             0.21176124 = queryWeight, product of:
               2.1182413 = boost
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.013262173 = queryNorm
             0.23556262 = fieldWeight in 2254, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
         0.060734414 = weight(abstract_txt:unserer in 2254) [ClassicSimilarity], result of:
           0.060734414 = score(doc=2254,freq=1.0), product of:
             0.30421302 = queryWeight, product of:
               3.5905094 = boost
               6.3886194 = idf(docFreq=201, maxDocs=44218)
               0.013262173 = queryNorm
             0.19964436 = fieldWeight in 2254, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3886194 = idf(docFreq=201, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
         0.06801388 = weight(abstract_txt:grenzen in 2254) [ClassicSimilarity], result of:
           0.06801388 = score(doc=2254,freq=1.0), product of:
             0.32805973 = queryWeight, product of:
               3.7285814 = boost
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.013262173 = queryNorm
             0.20732163 = fieldWeight in 2254, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.634292 = idf(docFreq=157, maxDocs=44218)
               0.03125 = fieldNorm(doc=2254)
       0.47619048 = coord(10/21)