Search (3670 results, page 1 of 184)

  1. Basieux, P.: ¬Die Top Ten der schönsten mathematischen Sätze (2000) 0.12 
    0.122319154 = product of:
  0.61159575 = sum of:
    0.61159575 = weight(_text_:theorem in 6299) [ClassicSimilarity], result of:
      0.61159575 = score(doc=6299,freq=4.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        1.5375712 = fieldWeight in 6299, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.09375 = fieldNorm(doc=6299)
  0.2 = coord(1/5)
    RSWK
    Theorem / Beispielsammlung
    Subject
    Theorem / Beispielsammlung
  2. Fensel, D.: Ontologies : a silver bullet for knowledge management and electronic commerce (2004) 0.12 
    0.12052073 = product of:
  0.30130184 = sum of:
    0.25483155 = weight(_text_:theorem in 1949) [ClassicSimilarity], result of:
      0.25483155 = score(doc=1949,freq=4.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        0.6406546 = fieldWeight in 1949, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.0390625 = fieldNorm(doc=1949)
    0.046470284 = weight(_text_:22 in 1949) [ClassicSimilarity], result of:
      0.046470284 = score(doc=1949,freq=4.0), product of:
        0.16985968 = queryWeight, product of:
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.04850598 = queryNorm
        0.27358043 = fieldWeight in 1949, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.0390625 = fieldNorm(doc=1949)
  0.4 = coord(2/5)
    Classification
    004.67/8 22
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    DDC
    004.67/8 22
    RVK
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
  3. Chaitin, G.J.: Gödel's theorem and information (1982) 0.12 
    0.1153236 = product of:
  0.576618 = sum of:
    0.576618 = weight(_text_:theorem in 2448) [ClassicSimilarity], result of:
      0.576618 = score(doc=2448,freq=2.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        1.449636 = fieldWeight in 2448, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.125 = fieldNorm(doc=2448)
  0.2 = coord(1/5)
  4. Raan, A.F.J. van: Statistical properties of bibliometric indicators : research group indicator distributions and correlations (2006) 0.11 
    0.10879844 = product of:
  0.27199608 = sum of:
    0.21623175 = weight(_text_:theorem in 5275) [ClassicSimilarity], result of:
      0.21623175 = score(doc=5275,freq=2.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        0.5436135 = fieldWeight in 5275, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.046875 = fieldNorm(doc=5275)
    0.055764344 = weight(_text_:22 in 5275) [ClassicSimilarity], result of:
      0.055764344 = score(doc=5275,freq=4.0), product of:
        0.16985968 = queryWeight, product of:
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.04850598 = queryNorm
        0.32829654 = fieldWeight in 5275, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.046875 = fieldNorm(doc=5275)
  0.4 = coord(2/5)
    Abstract
    In this article we present an empirical approach to the study of the statistical properties of bibliometric indicators on a very relevant but not simply available aggregation level: the research group. We focus on the distribution functions of a coherent set of indicators that are used frequently in the analysis of research performance. In this sense, the coherent set of indicators acts as a measuring instrument. Better insight into the statistical properties of a measuring instrument is necessary to enable assessment of the instrument itself. The most basic distribution in bibliometric analysis is the distribution of citations over publications, and this distribution is very skewed. Nevertheless, we clearly observe the working of the central limit theorem and find that at the level of research groups the distribution functions of the main indicators, particularly the journal- normalized and the field-normalized indicators, approach normal distributions. The results of our study underline the importance of the idea of group oeuvre, that is, the role of sets of related publications as a unit of analysis.
    Date
    22. 7.2006 16:20:22
  5. Hotho, A.; Bloehdorn, S.: Data Mining 2004 : Text classification by boosting weak learners based on terms and concepts (2004) 0.11 
    0.10822096 = product of:
  0.2705524 = sum of:
    0.23112105 = weight(_text_:3a in 562) [ClassicSimilarity], result of:
      0.23112105 = score(doc=562,freq=2.0), product of:
        0.41123423 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.04850598 = queryNorm
        0.56201804 = fieldWeight in 562, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.046875 = fieldNorm(doc=562)
    0.03943134 = weight(_text_:22 in 562) [ClassicSimilarity], result of:
      0.03943134 = score(doc=562,freq=2.0), product of:
        0.16985968 = queryWeight, product of:
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.04850598 = queryNorm
        0.23214069 = fieldWeight in 562, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.046875 = fieldNorm(doc=562)
  0.4 = coord(2/5)
    Content
    Vgl.: http://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&ved=0CEAQFjAA&url=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.91.4940%26rep%3Drep1%26type%3Dpdf&ei=dOXrUMeIDYHDtQahsIGACg&usg=AFQjCNHFWVh6gNPvnOrOS9R3rkrXCNVD-A&sig2=5I2F5evRfMnsttSgFF9g7Q&bvm=bv.1357316858,d.Yms.
    Date
    8. 1.2013 10:22:32
  6. Akerele, O.; David, A.; Osofisan, A.: Using the concepts of Case Based Reasoning and Basic Categories for enhancing adaptation to the user's level of knowledge in Decision Support System (2014) 0.10 
    0.10226524 = product of:
  0.2556631 = sum of:
    0.21623175 = weight(_text_:theorem in 1449) [ClassicSimilarity], result of:
      0.21623175 = score(doc=1449,freq=2.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        0.5436135 = fieldWeight in 1449, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.046875 = fieldNorm(doc=1449)
    0.03943134 = weight(_text_:22 in 1449) [ClassicSimilarity], result of:
      0.03943134 = score(doc=1449,freq=2.0), product of:
        0.16985968 = queryWeight, product of:
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.04850598 = queryNorm
        0.23214069 = fieldWeight in 1449, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.046875 = fieldNorm(doc=1449)
  0.4 = coord(2/5)
    Abstract
    In most search systems, mapping queries with documents employs techniques such as vector space model, naïve Bayes, Bayesian theorem etc. to classify resulting documents. In this research studies, we are proposing the use of the concept of basic categories to representing the user's level of knowledge based on the concepts he employed during his search activities, so that the system could propose adapted results based on the observed user's level of knowledge. Our hypothesis is that this approach will enhance the decision support system for solving decisional problems in which information retrieval constitutes the backbone technical problem.
    Source
    Knowledge organization in the 21st century: between historical patterns and future prospects. Proceedings of the Thirteenth International ISKO Conference 19-22 May 2014, Kraków, Poland. Ed.: Wieslaw Babik
  7. Falkowski, B.-J.: On certain generalizations of inner product similarity measures (1998) 0.10 
    0.09987318 = product of:
  0.49936587 = sum of:
    0.49936587 = weight(_text_:theorem in 3555) [ClassicSimilarity], result of:
      0.49936587 = score(doc=3555,freq=6.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        1.2554216 = fieldWeight in 3555, product of:
          2.4494898 = tf(freq=6.0), with freq of:
            6.0 = termFreq=6.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.0625 = fieldNorm(doc=3555)
  0.2 = coord(1/5)
    Abstract
    Introduces linear similarity measures and defines an acceptable ranking function. Proves the existence theorem for acceptable ranking functions in the case of a linear measure. Defines an asymptotic inner product measure. Obtains an existence theorem for acceptable ranking functions. Exhibits contour sets for large query vectors in 2 cases of interest. Includes a brief proof of the theorem of the separating hyperplane
  8. Verwer, K.: Freiheit und Verantwortung bei Hans Jonas (2011) 0.09 
    0.09244842 = product of:
  0.4622421 = sum of:
    0.4622421 = weight(_text_:3a in 973) [ClassicSimilarity], result of:
      0.4622421 = score(doc=973,freq=2.0), product of:
        0.41123423 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.04850598 = queryNorm
        1.1240361 = fieldWeight in 973, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.09375 = fieldNorm(doc=973)
  0.2 = coord(1/5)
    Content
    Vgl.: http%3A%2F%2Fcreativechoice.org%2Fdoc%2FHansJonas.pdf&usg=AOvVaw1TM3teaYKgABL5H9yoIifA&opi=89978449.
  9. Fachsystematik Bremen nebst Schlüssel 1970 ff. (1970 ff) 0.09 
    0.090184145 = product of:
  0.22546035 = sum of:
    0.19260089 = weight(_text_:3a in 3577) [ClassicSimilarity], result of:
      0.19260089 = score(doc=3577,freq=2.0), product of:
        0.41123423 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.04850598 = queryNorm
        0.46834838 = fieldWeight in 3577, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.0390625 = fieldNorm(doc=3577)
    0.032859456 = weight(_text_:22 in 3577) [ClassicSimilarity], result of:
      0.032859456 = score(doc=3577,freq=2.0), product of:
        0.16985968 = queryWeight, product of:
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.04850598 = queryNorm
        0.19345059 = fieldWeight in 3577, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.0390625 = fieldNorm(doc=3577)
  0.4 = coord(2/5)
    Content
    1. Agrarwissenschaften 1981. - 3. Allgemeine Geographie 2.1972. - 3a. Allgemeine Naturwissenschaften 1.1973. - 4. Allgemeine Sprachwissenschaft, Allgemeine Literaturwissenschaft 2.1971. - 6. Allgemeines. 5.1983. - 7. Anglistik 3.1976. - 8. Astronomie, Geodäsie 4.1977. - 12. bio Biologie, bcp Biochemie-Biophysik, bot Botanik, zoo Zoologie 1981. - 13. Bremensien 3.1983. - 13a. Buch- und Bibliothekswesen 3.1975. - 14. Chemie 4.1977. - 14a. Elektrotechnik 1974. - 15 Ethnologie 2.1976. - 16,1. Geowissenschaften. Sachteil 3.1977. - 16,2. Geowissenschaften. Regionaler Teil 3.1977. - 17. Germanistik 6.1984. - 17a,1. Geschichte. Teilsystematik hil. - 17a,2. Geschichte. Teilsystematik his Neuere Geschichte. - 17a,3. Geschichte. Teilsystematik hit Neueste Geschichte. - 18. Humanbiologie 2.1983. - 19. Ingenieurwissenschaften 1974. - 20. siehe 14a. - 21. klassische Philologie 3.1977. - 22. Klinische Medizin 1975. - 23. Kunstgeschichte 2.1971. - 24. Kybernetik. 2.1975. - 25. Mathematik 3.1974. - 26. Medizin 1976. - 26a. Militärwissenschaft 1985. - 27. Musikwissenschaft 1978. - 27a. Noten 2.1974. - 28. Ozeanographie 3.1977. -29. Pädagogik 8.1985. - 30. Philosphie 3.1974. - 31. Physik 3.1974. - 33. Politik, Politische Wissenschaft, Sozialwissenschaft. Soziologie. Länderschlüssel. Register 1981. - 34. Psychologie 2.1972. - 35. Publizistik und Kommunikationswissenschaft 1985. - 36. Rechtswissenschaften 1986. - 37. Regionale Geograpgie 3.1975. - 37a. Religionswissenschaft 1970. - 38. Romanistik 3.1976. - 39. Skandinavistik 4.1985. - 40. Slavistik 1977. - 40a. Sonstige Sprachen und Literaturen 1973. - 43. Sport 4.1983. - 44. Theaterwissenschaft 1985. - 45. Theologie 2.1976. - 45a. Ur- und Frühgeschichte, Archäologie 1970. - 47. Volkskunde 1976. - 47a. Wirtschaftswissenschaften 1971 // Schlüssel: 1. Länderschlüssel 1971. - 2. Formenschlüssel (Kurzform) 1974. - 3. Personenschlüssel Literatur 5. Fassung 1968
  10. Egghe, L.: ¬A new short proof of Naranan's theorem, explaining Lotka's law and Zipf's law (2010) 0.09 
    0.08738903 = product of:
  0.43694514 = sum of:
    0.43694514 = weight(_text_:theorem in 3432) [ClassicSimilarity], result of:
      0.43694514 = score(doc=3432,freq=6.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        1.0984939 = fieldWeight in 3432, product of:
          2.4494898 = tf(freq=6.0), with freq of:
            6.0 = termFreq=6.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.0546875 = fieldNorm(doc=3432)
  0.2 = coord(1/5)
    Abstract
    Naranan's important theorem, published in Nature in 1970, states that if the number of journals grows exponentially and if the number of articles in each journal grows exponentially (at the same rate for each journal), then the system satisfies Lotka's law and a formula for the Lotka's exponent is given in function of the growth rates of the journals and the articles. This brief communication re-proves this result by showing that the system satisfies Zipf's law, which is equivalent with Lotka's law. The proof is short and algebraic and does not use infinitesimal arguments.
    Object
    Naranan-Theorem
  11. Octavio, A.: ¬The '¬indexed' theorem (1996) 0.09 
    0.0864927 = product of:
  0.4324635 = sum of:
    0.4324635 = weight(_text_:theorem in 377) [ClassicSimilarity], result of:
      0.4324635 = score(doc=377,freq=2.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        1.087227 = fieldWeight in 377, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.09375 = fieldNorm(doc=377)
  0.2 = coord(1/5)
  12. Velleman, D.J.: Fermat's last theorem and Hilbert's program (1997) 0.08 
    0.0815461 = product of:
  0.4077305 = sum of:
    0.4077305 = weight(_text_:theorem in 6443) [ClassicSimilarity], result of:
      0.4077305 = score(doc=6443,freq=4.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        1.0250474 = fieldWeight in 6443, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.0625 = fieldNorm(doc=6443)
  0.2 = coord(1/5)
    Abstract
    Most mathematicians are aware of the controversies in the foundations of mathematics that ocurred earlier in this century: the debate between logicists and the intuitionists, and Hilbert's proposal of a prgram that he hoped would resolve the issue. But the controversies have died down since then, and few mathematicians worry about these issues anymore. The recent excitement over the proof of Fermat's Last Theorem provides an opportunity to reexamnine these issues, because Wiles's proof is an excellent example of precisely the kind of mathematics that Hilbert hopes to justify with his program
  13. Kleineberg, M.: Context analysis and context indexing : formal pragmatics in knowledge organization (2014) 0.08 
    0.07704036 = product of:
  0.38520178 = sum of:
    0.38520178 = weight(_text_:3a in 1826) [ClassicSimilarity], result of:
      0.38520178 = score(doc=1826,freq=2.0), product of:
        0.41123423 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.04850598 = queryNorm
        0.93669677 = fieldWeight in 1826, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.078125 = fieldNorm(doc=1826)
  0.2 = coord(1/5)
    Source
    http://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=5&ved=0CDQQFjAE&url=http%3A%2F%2Fdigbib.ubka.uni-karlsruhe.de%2Fvolltexte%2Fdocuments%2F3131107&ei=HzFWVYvGMsiNsgGTyoFI&usg=AFQjCNE2FHUeR9oQTQlNC4TPedv4Mo3DaQ&sig2=Rlzpr7a3BLZZkqZCXXN_IA&bvm=bv.93564037,d.bGg&cad=rja
  14. Bruss, F.T.: 250 years of "An essay towards solving a problem in the doctrine of chances. By the late Rev. Mr. Bayes, F.R.S. communicated by Mr. Proce, in a letter to John Canton, A.M.F.R.S." (2014) 0.07 
    0.07207725 = product of:
  0.36038625 = sum of:
    0.36038625 = weight(_text_:theorem in 808) [ClassicSimilarity], result of:
      0.36038625 = score(doc=808,freq=2.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        0.9060225 = fieldWeight in 808, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.078125 = fieldNorm(doc=808)
  0.2 = coord(1/5)
    Abstract
    Historischer Beitrag zum Bayes-Theorem über bedingte Wahrscheinlichkeiten.
  15. Reimer, U.: Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate (1991) 0.07 
    0.07135284 = product of:
  0.3567642 = sum of:
    0.3567642 = weight(_text_:theorem in 1566) [ClassicSimilarity], result of:
      0.3567642 = score(doc=1566,freq=4.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        0.8969165 = fieldWeight in 1566, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.0546875 = fieldNorm(doc=1566)
  0.2 = coord(1/5)
    Classification
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
    RVK
    ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
  16. Springer, M.: Was hier steht, ist nicht wahr (2006) 0.07 
    0.06817683 = product of:
  0.17044207 = sum of:
    0.1441545 = weight(_text_:theorem in 5309) [ClassicSimilarity], result of:
      0.1441545 = score(doc=5309,freq=2.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        0.362409 = fieldWeight in 5309, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.03125 = fieldNorm(doc=5309)
    0.026287563 = weight(_text_:22 in 5309) [ClassicSimilarity], result of:
      0.026287563 = score(doc=5309,freq=2.0), product of:
        0.16985968 = queryWeight, product of:
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.04850598 = queryNorm
        0.15476047 = fieldWeight in 5309, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.5018296 = idf(docFreq=3622, maxDocs=44218)
          0.03125 = fieldNorm(doc=5309)
  0.4 = coord(2/5)
    Content
    "Was halten Sie von diesem Satz, der von sich aussagt, dass er falsch sei? Wenn er, wie behauptet, nicht wahr ist, stimmt nicht, was er aussagt, und das bedeutet, dass er wahr ist - im Widerspruch zu dem, was er behauptet. Als Urform solcher sich selbst torpedierenden Aussagen gilt die Paradoxie des kretischen Priesters Epimenides, der alle Kreter als Lügner bezeichnete. Auch dies führt zu einer Antinomie: einem unauflöslichen Selbstwiderspruch. Vor hundert Jahren, am 28. April 1906, wurde im heutigen Tschechien, damals Teil der österreichischen Monarchie, Kurt Gödel geboren, den die Fachwelt zu diesem Jubiläum als den größten Logiker seit Aristoteles feiert. Sein Ruhm beruht im Wesentlichen auf einem einzigen Theorem, dem Gödel'schen Unvollständigkeitssatz, der auf raffinierte Weise die Antinomie des Lügners nutzt. Damit zeigte Gödel 1931, dass die damalige Erwartung, die gesamte Mathematik lasse sich nach dem Vorbild der Euklidischen Geometrie aus einigen Axiomen und Ableitungsregeln entwickeln, trügerisch war. In jedem formalen System, das es erlaubt, die Theoreme der Arithmetik herzuleiten, können systemsprengende Sätze von der Art des Lügnerparadoxons konstruiert werden, die sich weder beweisen noch widerlegen lassen. Gödel selbst sah in seiner - für die Zeitgenossen völlig überraschenden - Entdeckung nichts Negatives, obwohl sie die Hoffnung, die Mathematik könne letztlich komplett auf Logik zurückgeführt werden, gründlich zerstörte. Hätte jene Hoffnung sich bewahrheitet, so gäbe es zumindest theoretisch ein Computerprogramm, das automatisch sämtliche Sätze der Mathematik zu produzieren vermöchte. Gödel hingegen meinte als überzeugter Anhänger der Platon'schen Ideenlehre, die Tätigkeit der Mathematiker gleiche der Entdeckungsreise in eine unbekannte Welt geistiger Objekte und nicht der freien Erfindung von Spielregeln, Formalismen und Rechenprogrammen. Dafür schien ihm sein Unvollständigkeitssatz ein klares Indiz (siehe »Kurt Gödel«, Spektrum-Biografie 1/2002). Wie groß der denkerische Ehrgeiz des großen Logikers war, offenbaren erst Gödels postum edierte Notizen. Schon der Halbwüchsige betitelte ein Schulheft mit »Fehler der Bibel« - nicht einmal das Buch der Bücher war vor seinem kritischen Misstrauen sicher. In reifen Jahren arbeitete er an einem Beweis für die Existenz Gottes auf rein logischer Basis - nach dem Vorbild des mittelalterlichen Scholastikers Anselm von Canterbury. Gödels ontologischer Gottesbeweis geht kurz gesagt so: Gott ist nur denkbar als Wesen, das alle positiven Eigenschaften in sich vereint, und da Existenz eine solche positive Eigenschaft ist, muss Gott existieren. Was zu beweisen war. In gewisser Weise erscheint mir dieses Argument als logische Umkehrung der Antinomie des Lügners. Der Satz »Ich bin falsch« sprengt die Konsistenz des Systems, in dem er formuliert wird; die Behauptung »Ich bin wahr« macht das Gegenteil: Eigenmächtig, kühn und herausfordernd stellt sie sich selbst im logischen Raum auf. Um dieser Behauptung blindlings zu vertrauen, ja sie als Selbstaussage des höchsten Wesens zu verstehen - etwa im Sinne des Jesu-Worts »Ich bin die Wahrheit und das Leben« -, dazu muss man freilich wie Gödel bedingungslos an die reale Existenz logisch-mathematischer Objekte glauben."
    Date
    22. 7.2006 19:56:41
  17. Schrodt, R.: Tiefen und Untiefen im wissenschaftlichen Sprachgebrauch (2008) 0.06 
    0.061632283 = product of:
  0.3081614 = sum of:
    0.3081614 = weight(_text_:3a in 140) [ClassicSimilarity], result of:
      0.3081614 = score(doc=140,freq=2.0), product of:
        0.41123423 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.04850598 = queryNorm
        0.7493574 = fieldWeight in 140, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.0625 = fieldNorm(doc=140)
  0.2 = coord(1/5)
    Content
    Vgl. auch: https://studylibde.com/doc/13053640/richard-schrodt. Vgl. auch: http%3A%2F%2Fwww.univie.ac.at%2FGermanistik%2Fschrodt%2Fvorlesung%2Fwissenschaftssprache.doc&usg=AOvVaw1lDLDR6NFf1W0-oC9mEUJf.
  18. Popper, K.R.: Three worlds : the Tanner lecture on human values. Deliverd at the University of Michigan, April 7, 1978 (1978) 0.06 
    0.061632283 = product of:
  0.3081614 = sum of:
    0.3081614 = weight(_text_:3a in 230) [ClassicSimilarity], result of:
      0.3081614 = score(doc=230,freq=2.0), product of:
        0.41123423 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.04850598 = queryNorm
        0.7493574 = fieldWeight in 230, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.0625 = fieldNorm(doc=230)
  0.2 = coord(1/5)
    Source
    https%3A%2F%2Ftannerlectures.utah.edu%2F_documents%2Fa-to-z%2Fp%2Fpopper80.pdf&usg=AOvVaw3f4QRTEH-OEBmoYr2J_c7H
  19. Duff, A.: ¬The Rawls-Tawney theorem and the digital divide in postindustrial society (2011) 0.06 
    0.061159577 = product of:
  0.30579787 = sum of:
    0.30579787 = weight(_text_:theorem in 4352) [ClassicSimilarity], result of:
      0.30579787 = score(doc=4352,freq=4.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        0.7687856 = fieldWeight in 4352, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.046875 = fieldNorm(doc=4352)
  0.2 = coord(1/5)
    Abstract
    The digital divide continues to challenge political and academic circles worldwide. A range of policy solutions is briefly evaluated, from laissez-faire on the right to "arithmetic" egalitarianism on the left. The article recasts the digital divide as a problem for the social distribution of presumptively important information (e.g., electoral data, news, science) within postindustrial society. Endorsing in general terms the left-liberal approach of differential or "geometric" egalitarianism, it seeks to invest this with greater precision, and therefore utility, by means of a possibly original synthesis of the ideas of John Rawls and R. H. Tawney. It is argued that, once certain categories of information are accorded the status of "primary goods," their distribution must then comply with principles of justice as articulated by those major 20th century exponents of ethical social democracy. The resultant Rawls-Tawney theorem, if valid, might augment the portfolio of options for interventionist information policy in the 21st century.
  20. Zadeh, L.A.: Fuzzy sets (1965) 0.06 
    0.0576618 = product of:
  0.288309 = sum of:
    0.288309 = weight(_text_:theorem in 5460) [ClassicSimilarity], result of:
      0.288309 = score(doc=5460,freq=2.0), product of:
        0.39776745 = queryWeight, product of:
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.04850598 = queryNorm
        0.724818 = fieldWeight in 5460, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.200379 = idf(docFreq=32, maxDocs=44218)
          0.0625 = fieldNorm(doc=5460)
  0.2 = coord(1/5)
    Abstract
    A fuzzy set is a class of objects with a continuum of grades of membership. Such a set is characterized by a membership (characteristic) function which assigns to each object a grade of membership ranging between zero and one. The notions of inclusion, union, intersection, complement, relation, convexity, etc., are extended to such sets, and various properties of theses notions in the context of fuzzy sets are established. In particular, a separation theorem for convex fuzzy sets is proved without requiring that the fuzzy sets be disjoint

Authors

Years

Languages

Types

  • a 3057
  • m 356
  • el 162
  • s 141
  • b 39
  • x 35
  • i 23
  • r 17
  • ? 8
  • p 4
  • d 3
  • n 3
  • u 2
  • z 2
  • au 1
  • h 1
  • More… Less…

Themes

Subjects

Classifications