Search (3 results, page 1 of 1)

  • × classification_ss:"31.10 / Mathematische Logik / Mengenlehre"
  1. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.03
    0.028101986 = product of:
      0.112407945 = sum of:
        0.112407945 = product of:
          0.22481589 = sum of:
            0.22481589 = weight(_text_:mathematik in 5989) [ClassicSimilarity], result of:
              0.22481589 = score(doc=5989,freq=12.0), product of:
                0.24768166 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.044309065 = queryNorm
                0.9076808 = fieldWeight in 5989, product of:
                  3.4641016 = tf(freq=12.0), with freq of:
                    12.0 = termFreq=12.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.046875 = fieldNorm(doc=5989)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    BK
    31.01 / Geschichte der Mathematik
    Classification
    SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
    31.01 / Geschichte der Mathematik
    RVK
    SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
  2. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.01
    0.007504083 = product of:
      0.030016333 = sum of:
        0.030016333 = product of:
          0.060032666 = sum of:
            0.060032666 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
              0.060032666 = score(doc=3142,freq=2.0), product of:
                0.1551628 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044309065 = queryNorm
                0.38690117 = fieldWeight in 3142, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.078125 = fieldNorm(doc=3142)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    Date
    26. 2.2008 15:58:22
  3. Hofstadter, D.R.: I am a strange loop (2007) 0.01
    0.006623702 = product of:
      0.026494808 = sum of:
        0.026494808 = product of:
          0.052989617 = sum of:
            0.052989617 = weight(_text_:mathematik in 666) [ClassicSimilarity], result of:
              0.052989617 = score(doc=666,freq=6.0), product of:
                0.24768166 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.044309065 = queryNorm
                0.21394244 = fieldWeight in 666, product of:
                  2.4494898 = tf(freq=6.0), with freq of:
                    6.0 = termFreq=6.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.015625 = fieldNorm(doc=666)
          0.5 = coord(1/2)
      0.25 = coord(1/4)
    
    BK
    31.02 / Philosophie und Wissenschaftstheorie der Mathematik
    Classification
    31.02 / Philosophie und Wissenschaftstheorie der Mathematik
    Footnote
    Die Murmel liefert das Hauptthema des Buchs. Die Seele, das Ich, ist eine Illusion. Es ist eine »seltsame Schleife« (a strange loop), die ihrerseits von einer Unzahl von Schleifen auf einem niedrigeren Niveau erzeugt wird. So kommt es, dass der Klumpen Materie innerhalb unseres Schädels nicht nur sich selbst beobachtet, sondern sich dessen auch bewusst ist. Seltsame, genauer: selbstbezügliche Schleifen faszinieren Hofstadter seit jeher. Er sieht sie überall. Sie sind das Herzstück von Gödels berühmtem Unbeweisbarkeitssatz. Sie lauern in den »Principia Mathematica« von Russell und Whitehead, stets bereit, die Fundamente der Mathematik zu untergraben. Ihre kürzeste Form sind logische Paradoxa wie »Dieser Satz ist falsch« oder die Karte, auf deren einer Seite steht »Der Satz auf der Rückseite ist wahr« und auf der anderen »Der Satz auf der Rückseite ist falsch«. In Kapitel 21 führt er ein verstörendes Gedankenexperiment ein, das auch Thema zahlreicher Sciencefiction-Geschichten ist: Ein Mann wird, wie in »Raumschiff Enterprise«, auf einen fremden Planeten und zurück gebeamt, indem eine Maschine ihn Molekül für Molekül abscannt und die Information an den Zielort übermittelt, wo sie zur Herstellung einer exakten Kopie dieses Menschen dient. Wenn dabei das Original zerstört wird, entsteht kein philosophisches Problem. Wenn es aber erhalten bleibt - oder mit derselben Information zwei Kopien hergestellt werden -, entsteht ein Paar identischer Zwillinge mit identischen Erinnerungen. Ist der so gebeamte Mensch derselbe wie das Original oder ein anderer?