Document (#30990)

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.66

   5.661144 = sum of:
     5.661144 = weight(author_txt:dawson in 4503) [ClassicSimilarity], result of:
       5.661144 = fieldWeight in 4503, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.05783 = idf(docFreq=13, maxDocs=44218)
         0.625 = fieldNorm(doc=4503)
   

2. Dawson, A.: BUBL bursts out of Bath (1997) 5.66

   5.661144 = sum of:
     5.661144 = weight(author_txt:dawson in 199) [ClassicSimilarity], result of:
       5.661144 = fieldWeight in 199, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.05783 = idf(docFreq=13, maxDocs=44218)
         0.625 = fieldNorm(doc=199)
   

3. Dawson, A.: ¬The Internet for library and information service professionals (1995) 5.66

   5.661144 = sum of:
     5.661144 = weight(author_txt:dawson in 840) [ClassicSimilarity], result of:
       5.661144 = fieldWeight in 840, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.05783 = idf(docFreq=13, maxDocs=44218)
         0.625 = fieldNorm(doc=840)
   

4. Dawson, H.: Know it all, find it fast for academic libraries (2012) 5.66

   5.661144 = sum of:
     5.661144 = weight(author_txt:dawson in 3728) [ClassicSimilarity], result of:
       5.661144 = fieldWeight in 3728, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.05783 = idf(docFreq=13, maxDocs=44218)
         0.625 = fieldNorm(doc=3728)
   

5. Dawson, H.: Using the Internet for political research : practical tips and hints (2003) 5.66

   5.661144 = sum of:
     5.661144 = weight(author_txt:dawson in 4511) [ClassicSimilarity], result of:
       5.661144 = fieldWeight in 4511, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.05783 = idf(docFreq=13, maxDocs=44218)
         0.625 = fieldNorm(doc=4511)
   

Similar documents (content)

1. Sigmund, K.; Dawson, J.; Mühlberger, K.: Kurt Gödel : Das Album - The Album (2006) 0.62

   0.61840147 = sum of:
     0.61840147 = product of:
       2.5766728 = sum of:
         0.047829676 = weight(abstract_txt:kulturellen in 470) [ClassicSimilarity], result of:
           0.047829676 = score(doc=470,freq=1.0), product of:
             0.08155067 = queryWeight, product of:
               1.0967699 = boost
               7.5072327 = idf(docFreq=65, maxDocs=44218)
               0.00990449 = queryNorm
             0.58650255 = fieldWeight in 470, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.5072327 = idf(docFreq=65, maxDocs=44218)
               0.078125 = fieldNorm(doc=470)
         0.028095132 = weight(abstract_txt:einer in 470) [ClassicSimilarity], result of:
           0.028095132 = score(doc=470,freq=2.0), product of:
             0.06547573 = queryWeight, product of:
               1.7021686 = boost
               3.8837 = idf(docFreq=2472, maxDocs=44218)
               0.00990449 = queryNorm
             0.4290923 = fieldWeight in 470, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.8837 = idf(docFreq=2472, maxDocs=44218)
               0.078125 = fieldNorm(doc=470)
         0.98828024 = weight(subject_txt:biographie in 470) [ClassicSimilarity], result of:
           0.98828024 = score(doc=470,freq=1.0), product of:
             0.22444296 = queryWeight, product of:
               2.5731776 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.00990449 = queryNorm
             4.403258 = fieldWeight in 470, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.5 = fieldNorm(doc=470)
         0.2197192 = weight(abstract_txt:gödels in 470) [ClassicSimilarity], result of:
           0.2197192 = score(doc=470,freq=1.0), product of:
             0.28393432 = queryWeight, product of:
               2.894181 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.00990449 = queryNorm
             0.7738381 = fieldWeight in 470, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.078125 = fieldNorm(doc=470)
         0.35348976 = weight(abstract_txt:kurt in 470) [ClassicSimilarity], result of:
           0.35348976 = score(doc=470,freq=1.0), product of:
             0.4911722 = queryWeight, product of:
               5.383301 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.00990449 = queryNorm
             0.71968603 = fieldWeight in 470, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.078125 = fieldNorm(doc=470)
         0.9392589 = weight(abstract_txt:gödel in 470) [ClassicSimilarity], result of:
           0.9392589 = score(doc=470,freq=5.0), product of:
             0.59358937 = queryWeight, product of:
               6.616523 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.00990449 = queryNorm
             1.5823377 = fieldWeight in 470, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.078125 = fieldNorm(doc=470)
       0.24 = coord(6/25)
   

2. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.40

   0.4040391 = sum of:
     0.4040391 = product of:
       2.0201955 = sum of:
         0.028095132 = weight(abstract_txt:einer in 303) [ClassicSimilarity], result of:
           0.028095132 = score(doc=303,freq=2.0), product of:
             0.06547573 = queryWeight, product of:
               1.7021686 = boost
               3.8837 = idf(docFreq=2472, maxDocs=44218)
               0.00990449 = queryNorm
             0.4290923 = fieldWeight in 303, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.8837 = idf(docFreq=2472, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         0.4323726 = weight(subject_txt:biographie in 303) [ClassicSimilarity], result of:
           0.4323726 = score(doc=303,freq=1.0), product of:
             0.22444296 = queryWeight, product of:
               2.5731776 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.00990449 = queryNorm
             1.9264253 = fieldWeight in 303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.21875 = fieldNorm(doc=303)
         0.2197192 = weight(abstract_txt:gödels in 303) [ClassicSimilarity], result of:
           0.2197192 = score(doc=303,freq=1.0), product of:
             0.28393432 = queryWeight, product of:
               2.894181 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.00990449 = queryNorm
             0.7738381 = fieldWeight in 303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         0.49991 = weight(abstract_txt:kurt in 303) [ClassicSimilarity], result of:
           0.49991 = score(doc=303,freq=2.0), product of:
             0.4911722 = queryWeight, product of:
               5.383301 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.00990449 = queryNorm
             1.0177897 = fieldWeight in 303, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         0.8400987 = weight(abstract_txt:gödel in 303) [ClassicSimilarity], result of:
           0.8400987 = score(doc=303,freq=4.0), product of:
             0.59358937 = queryWeight, product of:
               6.616523 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.00990449 = queryNorm
             1.415286 = fieldWeight in 303, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
       0.2 = coord(5/25)
   

3. Kuessner, T.: Logbuch Mathematik (2020) 0.20

   0.198026 = sum of:
     0.198026 = product of:
       2.475325 = sum of:
         1.1311672 = weight(abstract_txt:kurt in 5956) [ClassicSimilarity], result of:
           1.1311672 = score(doc=5956,freq=1.0), product of:
             0.4911722 = queryWeight, product of:
               5.383301 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.00990449 = queryNorm
             2.3029952 = fieldWeight in 5956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.25 = fieldNorm(doc=5956)
         1.3441578 = weight(abstract_txt:gödel in 5956) [ClassicSimilarity], result of:
           1.3441578 = score(doc=5956,freq=1.0), product of:
             0.59358937 = queryWeight, product of:
               6.616523 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.00990449 = queryNorm
             2.2644575 = fieldWeight in 5956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.25 = fieldNorm(doc=5956)
       0.08 = coord(2/25)
   

4. Dawson, J.W.: Kurt Gödel und die Grenzen der Logik (1999) 0.12

   0.12376625 = sum of:
     0.12376625 = product of:
       1.5470781 = sum of:
         0.7069795 = weight(abstract_txt:kurt in 4503) [ClassicSimilarity], result of:
           0.7069795 = score(doc=4503,freq=1.0), product of:
             0.4911722 = queryWeight, product of:
               5.383301 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.00990449 = queryNorm
             1.4393721 = fieldWeight in 4503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.15625 = fieldNorm(doc=4503)
         0.8400987 = weight(abstract_txt:gödel in 4503) [ClassicSimilarity], result of:
           0.8400987 = score(doc=4503,freq=1.0), product of:
             0.59358937 = queryWeight, product of:
               6.616523 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.00990449 = queryNorm
             1.415286 = fieldWeight in 4503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.15625 = fieldNorm(doc=4503)
       0.08 = coord(2/25)
   

5. Guerra-Pujol, E.: Gödel's loophole (2013) 0.06

   0.061883125 = sum of:
     0.061883125 = product of:
       0.77353907 = sum of:
         0.35348976 = weight(abstract_txt:kurt in 3213) [ClassicSimilarity], result of:
           0.35348976 = score(doc=3213,freq=1.0), product of:
             0.4911722 = queryWeight, product of:
               5.383301 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.00990449 = queryNorm
             0.71968603 = fieldWeight in 3213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.078125 = fieldNorm(doc=3213)
         0.42004934 = weight(abstract_txt:gödel in 3213) [ClassicSimilarity], result of:
           0.42004934 = score(doc=3213,freq=1.0), product of:
             0.59358937 = queryWeight, product of:
               6.616523 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.00990449 = queryNorm
             0.707643 = fieldWeight in 3213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.078125 = fieldNorm(doc=3213)
       0.08 = coord(2/25)