2 posts published by Jessica Taylor during May 2024| 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
