Micah’s Reviews > Simply Gödel > Status Update

End in sight

“Understanding the idea of strict formalization and it’s correlation with computation is crucial to Gödel’s work in logic and mathematics.”