|
You are here |
unstableontology.com | ||
| | | | |
www.lesswrong.com
|
|
| | | | | A community blog devoted to refining the art of rationality | |
| | | | |
xorshammer.com
|
|
| | | | | Let $latex \mathrm{PA}$ be Peano Arithmetic. Gödel's Second Incompleteness Theorem says that no consistent theory $latex T$ extending $latex \mathrm{PA}$ can prove its own consistency. (I'll write $latex \mathrm{Con}(T)$ for the statement asserting $latex T$'s consistency; more on this later.) In particular, $latex \mathrm{PA} + \mathrm{Con}(\mathrm{PA})$ is stronger than $latex \mathrm{PA}$. But certainly, given that... | |
| | | | |
www.lesswrong.com
|
|
| | | | | The Löwenheim-Skolem theorem implies, among other things, that any first-order theory whose symbols are countable, and which has an infinite model, h... | |
| | | | |
rationallyspeaking.blogspot.com
|
|
| | | by Massimo Pigliucci www.universaltheory.org For some time I have been noticing the emergence of a strange trinity of beliefs am... | ||