Login
From:
Unstable Ontology
(Uncensored)
subscribe
Understanding Gödel’s completeness theorem – Unstable Ontology
https://unstableontology.com/2024/05/27/understanding-godels-completeness-theorem/
links
backlinks
Roast topics
Find topics
Find it!
(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 …
