/explore
|
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.cs.uic.edu
|
|
| | | | | ||
| | | | |
jkmsmkj.fyi
|
|
| | | 4gravitons has proposed a challenge: To explain scientific papers appearing on arXiv on a given day in a given (sub)field to a general audience. The challenge is directed towards fellow science communicators so that definitely excludes me. But one of my old year thoughts (turned to a new year resolution) for this blog was to... | ||
