In this post I prove a variant of Gödel's completeness theorem. My intention has been to really understand the theorem, so that I am not simply shuff…| www.lesswrong.com
(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