Understanding Gödel’s completeness theorem – Unstable Ontology
(note: some readers may find the LaTeX more readable on LessWrong.) In this post I prove a variant of Gödel’s completeness theorem. My intention has been to really understand the theorem, so …| Unstable Ontology
