| 書目名稱 | Unvollst?ndigkeit und Unentscheidbarkeit | | 副標(biāo)題 | Die metamathematisch | | 編輯 | Wolfgang Stegmüller | | 視頻video | http://file.papertrans.cn/944/943750/943750.mp4 | | 圖書封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 05:27
發(fā)表于 2025-3-21 19:40:27
