| 书目名称 | Unvollständigkeit und Unentscheidbarkeit | | 副标题 | Die metamathematisch | | 编辑 | Wolfgang Stegmüller | | 视频video | | | 图书封面 |  | | 描述 | Der heutige Erkenntnistheoretiker kann an den Resultaten der logischen und mathematischen Grundlagenforschung nicht mehr vorbei gehen. Insbesondere sind viele der innerhalb der Metamathematik gewonnenen Ergebnisse von einer so außerordentlichen theoretischen Bedeutung und Tragweite, daß deren genaues Studium für jeden, der erkenntnistheoretische Untersuchungen betreiben will, welche auf der Höhe der Zeit stehen, ganz unerläßlich ist. Durch jene Ergebnisse ge winnen wir tiefste Einblicke in die Endlichkeit unseres Denkvermögens, in die Reichweite und die Grenzen des axiomatisch-deduktiven Vor gehens, in das Verhältnis zwischen formalen, kalkülmäßig aufgebauten logischen sowie mathematischen Systemen und dem nichtformalisierten intuitiven Schließen, in die Beziehung zwischen logischer und mathe matischer Wahrheit einerseits und Beweisbarkeit andererseits, in die Relation zwischen anfechtbaren, "bedenklichen" Schlußweisen der klassischen Logik und für unbedenklich gehaltenen Operationen, durch welche die ersteren nachträglich gerechtfertigt werden sollen. Bei ver schiedenen dieser Resultate wird von Überlegungen ausgegangen, die eine große Ähnlichkeit besitzen mit bereits von frü | | 出版日期 | Book 19591st edition | | 关键词 | Beweis; Endlichkeit; Entscheidbarkeit; Erkenntnis; Funktion; Funktionentheorie; Gleichung; Lehrsatz; Logik; M | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-7091-3524-2 | | isbn_ebook | 978-3-7091-3524-2 | | copyright | Springer-Verlag Wien 1959 |
The information of publication is updating
|
|
发表于 2025-3-21 19:40:27
