Due to all this talk about logic I’ve decided to take a little closer look at Goedel’s theorems and related issues, and found this nice LW post that did a really good job dispelling confusion about completeness, incompleteness, SOL semantics etc.: Completeness, incompleteness, and what it all means: first versus second order logic
If there’s anything else along these lines to be found here on LW—or for that matter, anywhere, I’m all ears.
Due to all this talk about logic I’ve decided to take a little closer look at Goedel’s theorems and related issues, and found this nice LW post that did a really good job dispelling confusion about completeness, incompleteness, SOL semantics etc.: Completeness, incompleteness, and what it all means: first versus second order logic
If there’s anything else along these lines to be found here on LW—or for that matter, anywhere, I’m all ears.