Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I (1931)
0.04
0.03507781 = product of:
0.14031124 = sum of:
0.029737966 = weight(_text_:und in 5661) [ClassicSimilarity], result of:
0.029737966 = score(doc=5661,freq=4.0), product of:
0.05366975 = queryWeight, product of:
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.024215192 = queryNorm
0.55409175 = fieldWeight in 5661, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.125 = fieldNorm(doc=5661)
0.029737966 = weight(_text_:und in 5661) [ClassicSimilarity], result of:
0.029737966 = score(doc=5661,freq=4.0), product of:
0.05366975 = queryWeight, product of:
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.024215192 = queryNorm
0.55409175 = fieldWeight in 5661, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.125 = fieldNorm(doc=5661)
0.021359377 = weight(_text_:der in 5661) [ClassicSimilarity], result of:
0.021359377 = score(doc=5661,freq=2.0), product of:
0.054091092 = queryWeight, product of:
2.2337668 = idf(docFreq=12875, maxDocs=44218)
0.024215192 = queryNorm
0.3948779 = fieldWeight in 5661, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.2337668 = idf(docFreq=12875, maxDocs=44218)
0.125 = fieldNorm(doc=5661)
0.029737966 = weight(_text_:und in 5661) [ClassicSimilarity], result of:
0.029737966 = score(doc=5661,freq=4.0), product of:
0.05366975 = queryWeight, product of:
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.024215192 = queryNorm
0.55409175 = fieldWeight in 5661, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.125 = fieldNorm(doc=5661)
0.029737966 = weight(_text_:und in 5661) [ClassicSimilarity], result of:
0.029737966 = score(doc=5661,freq=4.0), product of:
0.05366975 = queryWeight, product of:
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.024215192 = queryNorm
0.55409175 = fieldWeight in 5661, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.125 = fieldNorm(doc=5661)
0.25 = coord(5/20)
- Source
- Monatshefte für Mathematik und Physik. 38(1931), S.173-198