Search (3 results, page 1 of 1)
-
×
classification_ss:"31.10 / Mathematische Logik / Mengenlehre"
-
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
-
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
-
Hofstadter, D.R.: I am a strange loop (2007)
1.00
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm
Authors
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…