Unvollständigkeit und Unentscheidbarkeit: "Die Metamathematischen Resultate Von Gödel, Church, Kleene, Rosser Und Ihre Erkenntnistheoretische Bedeutung"
Ein tiefes Werk, das Gödel, Church, Kleene und Rosser in einem neuen Licht präsentiert: ihre Metamathematik wird mit Erkenntnistheorie verknüpft un ...