Skip to main content
Bird2
  • Search
  • Help

Search (3 results, page 1 of 1)

  • × classification_ss:"31.10 / Mathematische Logik / Mengenlehre"
  1. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 1.00
    1.0 = *:*, product of:
      1.0 = boost
      1.0 = queryNorm
    
  2. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 1.00
    1.0 = *:*, product of:
      1.0 = boost
      1.0 = queryNorm
    
  3. Hofstadter, D.R.: I am a strange loop (2007) 1.00
    1.0 = *:*, product of:
      1.0 = boost
      1.0 = queryNorm
    

Authors

  • Dawson, J. 1
  • Hofstadter, D.R. 1
  • Prediger, S. 1

Years

  • 2000–2009 1
  • 1990–1999 2

Themes

  • Biographische Darstellungen 1
  • Formale Begriffsanalyse 1

Subjects

  • Begriffsgraph / Formale Begriffsanalyse 1
  • Consciousness 1
  • Gödel, Kurt 1
  • Gödel, Kurt / Biographie (SBPK) 1
  • Gödel, Kurt / Mathematische Logik (GBV) 1
  • Künstliche Intelligenz / Kognitiver Prozess 1
  • Künstliche Intelligenz / Metamathematik 1
  • Logicians / Austria / Biography 1
  • Logicians / United States / Biography 1
  • Mathematische Logik 1
  • Selbsterkenntnis / Selbstbezüglichkeit 1
  • More… Less…

Classifications

  • 153 1
  • 193 B / dc21 1
  • 31.01 / Geschichte der Mathematik 1
  • 31.02 / Philosophie und Wissenschaftstheorie der Mathematik 1
  • 54.72 / Künstliche Intelligenz 1
  • Mat A 291 / Gödelscher Unvollständigkeitssatz 1
  • QA29.G58D39 1997 1
  • SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go 1
  • TASG (DU) 1
  • a a Gödel, Kurt / <66> 1
  • More… Less…

powered by Solr and Sinatra — Birds v0.0.2