Document (#17976)

Author
Chaitin, G.J.
Title
¬The limits of mathematics
Imprint
New York : Springer
Year
1997
Pages
160 S
Isbn
981-3083-59-X
Series
Springer series in discrete mathematics and theoretical computer science
Abstract
This book is the final version of a course on algorithmic information theory and the epistemology of mathematics and physics. It discusses Einstein and Gödel views of the nature of mathematics in the light of information theory, and sustains the thesis that mathematics is quasi-empirical. There is a foreword by Cris Calude of the University of Auckland, and supplementary material is available at the autor web site

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.: 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)
    
  5. Chaitin, G.J.: Grenzen der Berechenbarkeit (2004) 5.99
    5.989656 = sum of:
      5.989656 = weight(author_txt:chaitin in 3423) [ClassicSimilarity], result of:
        5.989656 = fieldWeight in 3423, 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=3423)
    

Similar documents (content)

  1. Fife, E.D.; Husch, L.: ¬The Mathematics Archives : making mathematics easy to find on the Web (1999) 0.09
    0.09431281 = sum of:
      0.09431281 = product of:
        0.58945507 = sum of:
          0.0055729086 = weight(abstract_txt:information in 3240) [ClassicSimilarity], result of:
            0.0055729086 = score(doc=3240,freq=1.0), product of:
              0.036692478 = queryWeight, product of:
                1.0006258 = boost
                2.430104 = idf(docFreq=10226, maxDocs=42740)
                0.015089695 = queryNorm
              0.1518815 = fieldWeight in 3240, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.430104 = idf(docFreq=10226, maxDocs=42740)
                0.0625 = fieldNorm(doc=3240)
          0.029219303 = weight(abstract_txt:material in 3240) [ClassicSimilarity], result of:
            0.029219303 = score(doc=3240,freq=1.0), product of:
              0.087893955 = queryWeight, product of:
                1.0950847 = boost
                5.3190103 = idf(docFreq=568, maxDocs=42740)
                0.015089695 = queryNorm
              0.33243814 = fieldWeight in 3240, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.3190103 = idf(docFreq=568, maxDocs=42740)
                0.0625 = fieldNorm(doc=3240)
          0.035561692 = weight(abstract_txt:site in 3240) [ClassicSimilarity], result of:
            0.035561692 = score(doc=3240,freq=1.0), product of:
              0.10019223 = queryWeight, product of:
                1.1691903 = boost
                5.678954 = idf(docFreq=396, maxDocs=42740)
                0.015089695 = queryNorm
              0.35493463 = fieldWeight in 3240, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.678954 = idf(docFreq=396, maxDocs=42740)
                0.0625 = fieldNorm(doc=3240)
          0.51910114 = weight(abstract_txt:mathematics in 3240) [ClassicSimilarity], result of:
            0.51910114 = score(doc=3240,freq=5.0), product of:
              0.5555337 = queryWeight, product of:
                5.506218 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015089695 = queryNorm
              0.9344188 = fieldWeight in 3240, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3240)
        0.16 = coord(4/25)
    
  2. Líska, M.: Evaluation of mathematics retrieval (2013) 0.09
    0.09271946 = sum of:
      0.09271946 = product of:
        0.5794966 = sum of:
          0.006966136 = weight(abstract_txt:information in 3654) [ClassicSimilarity], result of:
            0.006966136 = score(doc=3654,freq=1.0), product of:
              0.036692478 = queryWeight, product of:
                1.0006258 = boost
                2.430104 = idf(docFreq=10226, maxDocs=42740)
                0.015089695 = queryNorm
              0.18985188 = fieldWeight in 3654, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.430104 = idf(docFreq=10226, maxDocs=42740)
                0.078125 = fieldNorm(doc=3654)
          0.03599072 = weight(abstract_txt:version in 3654) [ClassicSimilarity], result of:
            0.03599072 = score(doc=3654,freq=1.0), product of:
              0.0870361 = queryWeight, product of:
                1.0897275 = boost
                5.2929897 = idf(docFreq=583, maxDocs=42740)
                0.015089695 = queryNorm
              0.41351482 = fieldWeight in 3654, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.2929897 = idf(docFreq=583, maxDocs=42740)
                0.078125 = fieldNorm(doc=3654)
          0.12615426 = weight(abstract_txt:thesis in 3654) [ClassicSimilarity], result of:
            0.12615426 = score(doc=3654,freq=2.0), product of:
              0.1594032 = queryWeight, product of:
                1.4747442 = boost
                7.1630807 = idf(docFreq=89, maxDocs=42740)
                0.015089695 = queryNorm
              0.7914161 = fieldWeight in 3654, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.1630807 = idf(docFreq=89, maxDocs=42740)
                0.078125 = fieldNorm(doc=3654)
          0.4103855 = weight(abstract_txt:mathematics in 3654) [ClassicSimilarity], result of:
            0.4103855 = score(doc=3654,freq=2.0), product of:
              0.5555337 = queryWeight, product of:
                5.506218 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015089695 = queryNorm
              0.7387229 = fieldWeight in 3654, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.078125 = fieldNorm(doc=3654)
        0.16 = coord(4/25)
    
  3. Popescu, F.: ¬An approach to eponyms in mathematics (2009) 0.09
    0.08976779 = sum of:
      0.08976779 = product of:
        0.5610487 = sum of:
          0.029219303 = weight(abstract_txt:material in 3120) [ClassicSimilarity], result of:
            0.029219303 = score(doc=3120,freq=1.0), product of:
              0.087893955 = queryWeight, product of:
                1.0950847 = boost
                5.3190103 = idf(docFreq=568, maxDocs=42740)
                0.015089695 = queryNorm
              0.33243814 = fieldWeight in 3120, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.3190103 = idf(docFreq=568, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
          0.058037274 = weight(abstract_txt:physics in 3120) [ClassicSimilarity], result of:
            0.058037274 = score(doc=3120,freq=1.0), product of:
              0.13888343 = queryWeight, product of:
                1.3765545 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015089695 = queryNorm
              0.4178848 = fieldWeight in 3120, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
          0.07169809 = weight(abstract_txt:epistemology in 3120) [ClassicSimilarity], result of:
            0.07169809 = score(doc=3120,freq=1.0), product of:
              0.15990087 = queryWeight, product of:
                1.4770446 = boost
                7.174254 = idf(docFreq=88, maxDocs=42740)
                0.015089695 = queryNorm
              0.44839087 = fieldWeight in 3120, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.174254 = idf(docFreq=88, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
          0.402094 = weight(abstract_txt:mathematics in 3120) [ClassicSimilarity], result of:
            0.402094 = score(doc=3120,freq=3.0), product of:
              0.5555337 = queryWeight, product of:
                5.506218 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015089695 = queryNorm
              0.7237977 = fieldWeight in 3120, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3120)
        0.16 = coord(4/25)
    
  4. Chaitin, G.J.: Conversations with a mathematician : Math, art, science and the limits of reason (2002) 0.08
    0.07787207 = sum of:
      0.07787207 = product of:
        0.6489339 = sum of:
          0.022249833 = weight(abstract_txt:book in 3213) [ClassicSimilarity], result of:
            0.022249833 = score(doc=3213,freq=1.0), product of:
              0.07329319 = queryWeight, product of:
                4.857168 = idf(docFreq=902, maxDocs=42740)
                0.015089695 = queryNorm
              0.303573 = fieldWeight in 3213, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.857168 = idf(docFreq=902, maxDocs=42740)
                0.0625 = fieldNorm(doc=3213)
          0.058037274 = weight(abstract_txt:physics in 3213) [ClassicSimilarity], result of:
            0.058037274 = score(doc=3213,freq=1.0), product of:
              0.13888343 = queryWeight, product of:
                1.3765545 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015089695 = queryNorm
              0.4178848 = fieldWeight in 3213, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3213)
          0.5686468 = weight(abstract_txt:mathematics in 3213) [ClassicSimilarity], result of:
            0.5686468 = score(doc=3213,freq=6.0), product of:
              0.5555337 = queryWeight, product of:
                5.506218 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015089695 = queryNorm
              1.0236045 = fieldWeight in 3213, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.0625 = fieldNorm(doc=3213)
        0.12 = coord(3/25)
    
  5. Scheibe, E.: Calculemus! : The problem of the application of logic and mathematics (1996) 0.07
    0.07460489 = sum of:
      0.07460489 = product of:
        0.62170744 = sum of:
          0.07254659 = weight(abstract_txt:physics in 4510) [ClassicSimilarity], result of:
            0.07254659 = score(doc=4510,freq=1.0), product of:
              0.13888343 = queryWeight, product of:
                1.3765545 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015089695 = queryNorm
              0.522356 = fieldWeight in 4510, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
          0.04654328 = weight(abstract_txt:theory in 4510) [ClassicSimilarity], result of:
            0.04654328 = score(doc=4510,freq=1.0), product of:
              0.13016286 = queryWeight, product of:
                1.8846328 = boost
                4.576989 = idf(docFreq=1194, maxDocs=42740)
                0.015089695 = queryNorm
              0.35757726 = fieldWeight in 4510, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.576989 = idf(docFreq=1194, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
          0.50261754 = weight(abstract_txt:mathematics in 4510) [ClassicSimilarity], result of:
            0.50261754 = score(doc=4510,freq=3.0), product of:
              0.5555337 = queryWeight, product of:
                5.506218 = boost
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.015089695 = queryNorm
              0.9047471 = fieldWeight in 4510, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.6861567 = idf(docFreq=144, maxDocs=42740)
                0.078125 = fieldNorm(doc=4510)
        0.12 = coord(3/25)