December 2021 Issue [Annotation] Divine Logic Adjust Share Kurt Gödel’s last proof by Stephen Budiansky , View Fullscreen Stephen Budiansky is the author of Journey to the Edge of Reason: The Life of Kurt Gödel. Tags Gödel’s theorem Incompleteness theorems Kurt Gödel Mathematics Ontological proof of God Symbolic and mathematical logic Adjust Share