Document (#30991)

Author
Dawson, J.
Title
Logical dilemmas : the life and work of Kurt Gödel
Imprint
Wellesley, MA : Peters
Year
1996
Pages
XIV, 361 S
Isbn
1-56881-025-3
Abstract
Die Biographie von Dawson, einem der Mitherausgeber der Gesammelten Werke Gödels, stützt sich auf ein intensives Studium des Nachlasses und zahlreiche Interviews mit Experten und Zeitgenossen Gödels. Sie verbindet eine umfassende Darstellung des persönlichen und kulturellen Hintergrundes mit einer integrierten Geschichte der Logik im 20. Jahrhundert, einer Geschichte, in der Gödel einer der Hauptdarsteller war
Footnote
Rez. in: Mathematical intelligencer 20(1998) no.4, S.61-64 (C.N. Bach)
Theme
Biographische Darstellungen
LCSH
Gödel, Kurt
Logicians / United States / Biography
Logicians / Austria / Biography
RSWK
Gödel, Kurt / Biographie (SBPK)
Gödel, Kurt / Mathematische Logik (GBV)
BK
31.10 / Mathematische Logik / Mengenlehre
31.01 / Geschichte der Mathematik
DDC
193 B / dc21
SBB
Mat A 291 / Gödelscher Unvollständigkeitssatz
a a Gödel, Kurt / <66>
GHBS
TASG (DU)
LCC
QA29.G58D39 1997
RVK
SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go

Similar documents (author)

  1. Dawson, J.W.: Kurt Gödel und die Grenzen der Logik (1999) 5.64
    5.639896 = sum of:
      5.639896 = weight(author_txt:dawson in 4572) [ClassicSimilarity], result of:
        5.639896 = fieldWeight in 4572, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.023833 = idf(docFreq=13, maxDocs=42740)
          0.625 = fieldNorm(doc=4572)
    
  2. Dawson, A.: BUBL bursts out of Bath (1997) 5.64
    5.639896 = sum of:
      5.639896 = weight(author_txt:dawson in 1200) [ClassicSimilarity], result of:
        5.639896 = fieldWeight in 1200, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.023833 = idf(docFreq=13, maxDocs=42740)
          0.625 = fieldNorm(doc=1200)
    
  3. Dawson, A.: ¬The Internet for library and information service professionals (1995) 5.64
    5.639896 = sum of:
      5.639896 = weight(author_txt:dawson in 1841) [ClassicSimilarity], result of:
        5.639896 = fieldWeight in 1841, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.023833 = idf(docFreq=13, maxDocs=42740)
          0.625 = fieldNorm(doc=1841)
    
  4. Dawson, H.: Know it all, find it fast for academic libraries (2012) 5.64
    5.639896 = sum of:
      5.639896 = weight(author_txt:dawson in 4729) [ClassicSimilarity], result of:
        5.639896 = fieldWeight in 4729, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.023833 = idf(docFreq=13, maxDocs=42740)
          0.625 = fieldNorm(doc=4729)
    
  5. Dawson, H.: Using the Internet for political research : practical tips and hints (2003) 5.64
    5.639896 = sum of:
      5.639896 = weight(author_txt:dawson in 512) [ClassicSimilarity], result of:
        5.639896 = fieldWeight in 512, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.023833 = idf(docFreq=13, maxDocs=42740)
          0.625 = fieldNorm(doc=512)
    

Similar documents (content)

  1. Sigmund, K.; Dawson, J.; Mühlberger, K.: Kurt Gödel : Das Album - The Album (2006) 0.62
    0.61644924 = sum of:
      0.61644924 = product of:
        2.5685387 = sum of:
          0.047519393 = weight(abstract_txt:kulturellen in 1596) [ClassicSimilarity], result of:
            0.047519393 = score(doc=1596,freq=1.0), product of:
              0.08105646 = queryWeight, product of:
                1.0953627 = boost
                7.5040073 = idf(docFreq=63, maxDocs=42740)
                0.009861352 = queryNorm
              0.58625054 = fieldWeight in 1596, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.5040073 = idf(docFreq=63, maxDocs=42740)
                0.078125 = fieldNorm(doc=1596)
          0.028299421 = weight(abstract_txt:einer in 1596) [ClassicSimilarity], result of:
            0.028299421 = score(doc=1596,freq=2.0), product of:
              0.06567839 = queryWeight, product of:
                1.7077959 = boost
                3.8998692 = idf(docFreq=2351, maxDocs=42740)
                0.009861352 = queryNorm
              0.43087873 = fieldWeight in 1596, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.8998692 = idf(docFreq=2351, maxDocs=42740)
                0.078125 = fieldNorm(doc=1596)
          0.9717937 = weight(subject_txt:biographie in 1596) [ClassicSimilarity], result of:
            0.9717937 = score(doc=1596,freq=1.0), product of:
              0.22155409 = queryWeight, product of:
                2.5610554 = boost
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.009861352 = queryNorm
              4.3862596 = fieldWeight in 1596, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.5 = fieldNorm(doc=1596)
          0.21633255 = weight(abstract_txt:gödels in 1596) [ClassicSimilarity], result of:
            0.21633255 = score(doc=1596,freq=1.0), product of:
              0.2805207 = queryWeight, product of:
                2.881785 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.009861352 = queryNorm
              0.7711821 = fieldWeight in 1596, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.078125 = fieldNorm(doc=1596)
          0.3577559 = weight(abstract_txt:kurt in 1596) [ClassicSimilarity], result of:
            0.3577559 = score(doc=1596,freq=1.0), product of:
              0.49425554 = queryWeight, product of:
                5.409659 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.009861352 = queryNorm
              0.7238278 = fieldWeight in 1596, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.078125 = fieldNorm(doc=1596)
          0.9468377 = weight(abstract_txt:gödel in 1596) [ClassicSimilarity], result of:
            0.9468377 = score(doc=1596,freq=5.0), product of:
              0.59574085 = queryWeight, product of:
                6.6401486 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.009861352 = queryNorm
              1.589345 = fieldWeight in 1596, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.078125 = fieldNorm(doc=1596)
        0.24 = coord(6/25)
    
  2. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.40
    0.40452248 = sum of:
      0.40452248 = product of:
        2.0226123 = sum of:
          0.028299421 = weight(abstract_txt:einer in 2304) [ClassicSimilarity], result of:
            0.028299421 = score(doc=2304,freq=2.0), product of:
              0.06567839 = queryWeight, product of:
                1.7077959 = boost
                3.8998692 = idf(docFreq=2351, maxDocs=42740)
                0.009861352 = queryNorm
              0.43087873 = fieldWeight in 2304, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.8998692 = idf(docFreq=2351, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          0.42515975 = weight(subject_txt:biographie in 2304) [ClassicSimilarity], result of:
            0.42515975 = score(doc=2304,freq=1.0), product of:
              0.22155409 = queryWeight, product of:
                2.5610554 = boost
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.009861352 = queryNorm
              1.9189886 = fieldWeight in 2304, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.21875 = fieldNorm(doc=2304)
          0.21633255 = weight(abstract_txt:gödels in 2304) [ClassicSimilarity], result of:
            0.21633255 = score(doc=2304,freq=1.0), product of:
              0.2805207 = queryWeight, product of:
                2.881785 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.009861352 = queryNorm
              0.7711821 = fieldWeight in 2304, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          0.50594324 = weight(abstract_txt:kurt in 2304) [ClassicSimilarity], result of:
            0.50594324 = score(doc=2304,freq=2.0), product of:
              0.49425554 = queryWeight, product of:
                5.409659 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.009861352 = queryNorm
              1.0236471 = fieldWeight in 2304, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          0.8468774 = weight(abstract_txt:gödel in 2304) [ClassicSimilarity], result of:
            0.8468774 = score(doc=2304,freq=4.0), product of:
              0.59574085 = queryWeight, product of:
                6.6401486 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.009861352 = queryNorm
              1.4215534 = fieldWeight in 2304, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
        0.2 = coord(5/25)
    
  3. Dawson, J.W.: Kurt Gödel und die Grenzen der Logik (1999) 0.12
    0.12499113 = sum of:
      0.12499113 = product of:
        1.5623891 = sum of:
          0.7155118 = weight(abstract_txt:kurt in 4572) [ClassicSimilarity], result of:
            0.7155118 = score(doc=4572,freq=1.0), product of:
              0.49425554 = queryWeight, product of:
                5.409659 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.009861352 = queryNorm
              1.4476556 = fieldWeight in 4572, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.15625 = fieldNorm(doc=4572)
          0.8468774 = weight(abstract_txt:gödel in 4572) [ClassicSimilarity], result of:
            0.8468774 = score(doc=4572,freq=1.0), product of:
              0.59574085 = queryWeight, product of:
                6.6401486 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.009861352 = queryNorm
              1.4215534 = fieldWeight in 4572, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.15625 = fieldNorm(doc=4572)
        0.08 = coord(2/25)
    
  4. Guerra-Pujol, E.: Gödel's loophole (2013) 0.06
    0.062495563 = sum of:
      0.062495563 = product of:
        0.78119457 = sum of:
          0.3577559 = weight(abstract_txt:kurt in 5214) [ClassicSimilarity], result of:
            0.3577559 = score(doc=5214,freq=1.0), product of:
              0.49425554 = queryWeight, product of:
                5.409659 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.009861352 = queryNorm
              0.7238278 = fieldWeight in 5214, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.078125 = fieldNorm(doc=5214)
          0.4234387 = weight(abstract_txt:gödel in 5214) [ClassicSimilarity], result of:
            0.4234387 = score(doc=5214,freq=1.0), product of:
              0.59574085 = queryWeight, product of:
                6.6401486 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.009861352 = queryNorm
              0.7107767 = fieldWeight in 5214, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.078125 = fieldNorm(doc=5214)
        0.08 = coord(2/25)
    
  5. Engel, U.; Steierwald, U.: Gale's Online Resource Center in "German Public Libraries" : ein Projekt des K.G. Saur Verlages und der Münchner Stadtbibliothek Am Gasteig (2003) 0.06
    0.060742855 = sum of:
      0.060742855 = product of:
        0.30371428 = sum of:
          0.06333303 = weight(abstract_txt:studium in 2945) [ClassicSimilarity], result of:
            0.06333303 = score(doc=2945,freq=2.0), product of:
              0.090411544 = queryWeight, product of:
                1.1568474 = boost
                7.925221 = idf(docFreq=41, maxDocs=42740)
                0.009861352 = queryNorm
              0.70049715 = fieldWeight in 2945, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.925221 = idf(docFreq=41, maxDocs=42740)
                0.0625 = fieldNorm(doc=2945)
          0.046051294 = weight(abstract_txt:verbindet in 2945) [ClassicSimilarity], result of:
            0.046051294 = score(doc=2945,freq=1.0), product of:
              0.09211031 = queryWeight, product of:
                1.1676649 = boost
                7.999329 = idf(docFreq=38, maxDocs=42740)
                0.009861352 = queryNorm
              0.49995807 = fieldWeight in 2945, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.999329 = idf(docFreq=38, maxDocs=42740)
                0.0625 = fieldNorm(doc=2945)
          0.01600857 = weight(abstract_txt:einer in 2945) [ClassicSimilarity], result of:
            0.01600857 = score(doc=2945,freq=1.0), product of:
              0.06567839 = queryWeight, product of:
                1.7077959 = boost
                3.8998692 = idf(docFreq=2351, maxDocs=42740)
                0.009861352 = queryNorm
              0.24374183 = fieldWeight in 2945, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.8998692 = idf(docFreq=2351, maxDocs=42740)
                0.0625 = fieldNorm(doc=2945)
          0.0649941 = weight(abstract_txt:geschichte in 2945) [ClassicSimilarity], result of:
            0.0649941 = score(doc=2945,freq=2.0), product of:
              0.11589454 = queryWeight, product of:
                1.8522968 = boost
                6.3447704 = idf(docFreq=203, maxDocs=42740)
                0.009861352 = queryNorm
              0.5608038 = fieldWeight in 2945, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.3447704 = idf(docFreq=203, maxDocs=42740)
                0.0625 = fieldNorm(doc=2945)
          0.11332729 = weight(abstract_txt:biography in 2945) [ClassicSimilarity], result of:
            0.11332729 = score(doc=2945,freq=1.0), product of:
              0.21153392 = queryWeight, product of:
                2.5024714 = boost
                8.571848 = idf(docFreq=21, maxDocs=42740)
                0.009861352 = queryNorm
              0.5357405 = fieldWeight in 2945, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.571848 = idf(docFreq=21, maxDocs=42740)
                0.0625 = fieldNorm(doc=2945)
        0.2 = coord(5/25)