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.664006 = sum of:
     5.664006 = weight(author_txt:dawson in 4571) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 4571, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=4571)
   

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

   5.664006 = sum of:
     5.664006 = weight(author_txt:dawson in 1199) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 1199, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=1199)
   

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

   5.664006 = sum of:
     5.664006 = weight(author_txt:dawson in 1840) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 1840, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=1840)
   

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

   5.664006 = sum of:
     5.664006 = weight(author_txt:dawson in 4728) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 4728, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=4728)
   

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

   5.664006 = sum of:
     5.664006 = weight(author_txt:dawson in 5511) [ClassicSimilarity], result of:
       5.664006 = fieldWeight in 5511, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.06241 = idf(docFreq=13, maxDocs=44421)
         0.625 = fieldNorm(doc=5511)
   

Similar documents (content)

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

   0.61900204 = sum of:
     0.61900204 = product of:
       2.5791752 = sum of:
         0.047610216 = weight(abstract_txt:kulturellen in 595) [ClassicSimilarity], result of:
           0.047610216 = score(doc=595,freq=1.0), product of:
             0.08128972 = queryWeight, product of:
               1.0957546 = boost
               7.496775 = idf(docFreq=66, maxDocs=44421)
               0.00989573 = queryNorm
             0.58568555 = fieldWeight in 595, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.496775 = idf(docFreq=66, maxDocs=44421)
               0.078125 = fieldNorm(doc=595)
         0.028060324 = weight(abstract_txt:einer in 595) [ClassicSimilarity], result of:
           0.028060324 = score(doc=595,freq=2.0), product of:
             0.06541255 = queryWeight, product of:
               1.7024982 = boost
               3.882635 = idf(docFreq=2486, maxDocs=44421)
               0.00989573 = queryNorm
             0.42897463 = fieldWeight in 595, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.882635 = idf(docFreq=2486, maxDocs=44421)
               0.078125 = fieldNorm(doc=595)
         0.98941034 = weight(subject_txt:biographie in 595) [ClassicSimilarity], result of:
           0.98941034 = score(doc=595,freq=1.0), product of:
             0.2245828 = queryWeight, product of:
               2.5757205 = boost
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.00989573 = queryNorm
             4.405548 = fieldWeight in 595, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.5 = fieldNorm(doc=595)
         0.21993242 = weight(abstract_txt:gödels in 595) [ClassicSimilarity], result of:
           0.21993242 = score(doc=595,freq=1.0), product of:
             0.2840785 = queryWeight, product of:
               2.8968744 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.00989573 = queryNorm
             0.7741959 = fieldWeight in 595, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.078125 = fieldNorm(doc=595)
         0.3538697 = weight(abstract_txt:kurt in 595) [ClassicSimilarity], result of:
           0.3538697 = score(doc=595,freq=1.0), product of:
             0.4914558 = queryWeight, product of:
               5.388498 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.00989573 = queryNorm
             0.72004384 = fieldWeight in 595, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.078125 = fieldNorm(doc=595)
         0.94029224 = weight(abstract_txt:gödel in 595) [ClassicSimilarity], result of:
           0.94029224 = score(doc=595,freq=5.0), product of:
             0.59394205 = queryWeight, product of:
               6.622966 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.00989573 = queryNorm
             1.583138 = fieldWeight in 595, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.078125 = fieldNorm(doc=595)
       0.24 = coord(6/25)
   

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

   0.40446597 = sum of:
     0.40446597 = product of:
       2.0223298 = sum of:
         0.028060324 = weight(abstract_txt:einer in 1303) [ClassicSimilarity], result of:
           0.028060324 = score(doc=1303,freq=2.0), product of:
             0.06541255 = queryWeight, product of:
               1.7024982 = boost
               3.882635 = idf(docFreq=2486, maxDocs=44421)
               0.00989573 = queryNorm
             0.42897463 = fieldWeight in 1303, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.882635 = idf(docFreq=2486, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         0.43286702 = weight(subject_txt:biographie in 1303) [ClassicSimilarity], result of:
           0.43286702 = score(doc=1303,freq=1.0), product of:
             0.2245828 = queryWeight, product of:
               2.5757205 = boost
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.00989573 = queryNorm
             1.9274273 = fieldWeight in 1303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.21875 = fieldNorm(doc=1303)
         0.21993242 = weight(abstract_txt:gödels in 1303) [ClassicSimilarity], result of:
           0.21993242 = score(doc=1303,freq=1.0), product of:
             0.2840785 = queryWeight, product of:
               2.8968744 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.00989573 = queryNorm
             0.7741959 = fieldWeight in 1303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         0.50044733 = weight(abstract_txt:kurt in 1303) [ClassicSimilarity], result of:
           0.50044733 = score(doc=1303,freq=2.0), product of:
             0.4914558 = queryWeight, product of:
               5.388498 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.00989573 = queryNorm
             1.0182958 = fieldWeight in 1303, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         0.84102285 = weight(abstract_txt:gödel in 1303) [ClassicSimilarity], result of:
           0.84102285 = score(doc=1303,freq=4.0), product of:
             0.59394205 = queryWeight, product of:
               6.622966 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.00989573 = queryNorm
             1.4160016 = fieldWeight in 1303, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
       0.2 = coord(5/25)
   

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

   0.19824158 = sum of:
     0.19824158 = product of:
       2.4780197 = sum of:
         1.1323831 = weight(abstract_txt:kurt in 956) [ClassicSimilarity], result of:
           1.1323831 = score(doc=956,freq=1.0), product of:
             0.4914558 = queryWeight, product of:
               5.388498 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.00989573 = queryNorm
             2.3041403 = fieldWeight in 956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.25 = fieldNorm(doc=956)
         1.3456366 = weight(abstract_txt:gödel in 956) [ClassicSimilarity], result of:
           1.3456366 = score(doc=956,freq=1.0), product of:
             0.59394205 = queryWeight, product of:
               6.622966 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.00989573 = queryNorm
             2.2656026 = fieldWeight in 956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.25 = fieldNorm(doc=956)
       0.08 = coord(2/25)
   

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

   0.12390098 = sum of:
     0.12390098 = product of:
       1.5487623 = sum of:
         0.7077394 = weight(abstract_txt:kurt in 4571) [ClassicSimilarity], result of:
           0.7077394 = score(doc=4571,freq=1.0), product of:
             0.4914558 = queryWeight, product of:
               5.388498 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.00989573 = queryNorm
             1.4400877 = fieldWeight in 4571, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.15625 = fieldNorm(doc=4571)
         0.84102285 = weight(abstract_txt:gödel in 4571) [ClassicSimilarity], result of:
           0.84102285 = score(doc=4571,freq=1.0), product of:
             0.59394205 = queryWeight, product of:
               6.622966 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.00989573 = queryNorm
             1.4160016 = fieldWeight in 4571, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.15625 = fieldNorm(doc=4571)
       0.08 = coord(2/25)
   

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

   0.06195049 = sum of:
     0.06195049 = product of:
       0.77438116 = sum of:
         0.3538697 = weight(abstract_txt:kurt in 4213) [ClassicSimilarity], result of:
           0.3538697 = score(doc=4213,freq=1.0), product of:
             0.4914558 = queryWeight, product of:
               5.388498 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.00989573 = queryNorm
             0.72004384 = fieldWeight in 4213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.078125 = fieldNorm(doc=4213)
         0.42051142 = weight(abstract_txt:gödel in 4213) [ClassicSimilarity], result of:
           0.42051142 = score(doc=4213,freq=1.0), product of:
             0.59394205 = queryWeight, product of:
               6.622966 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.00989573 = queryNorm
             0.7080008 = fieldWeight in 4213, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.078125 = fieldNorm(doc=4213)
       0.08 = coord(2/25)