Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

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 auBerordentlichen theoretischen Bedeutung und Tragweite, daB deren genaues Studium fur jeden, der erkenntnistheoretische Untersuchungen betreiben will, welche auf der Hohe der Zeit stehen, ganz unerlii. J3lich ist. Durch jene Ergebnisse ge- winnen wir tiefste Einblic...