/explore
|
You are here 
|
blog.sigfpe.com | ||
| | | | |
www.lesswrong.com
A community blog devoted to refining the art of rationality |
|
| | | | | ||
| | | | |
billwadge.com
The famous mathematician Kurt Gödel proved two "incompleteness" theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logic. Tarski described what exactly was an 'interpretation' and what it meant for a formula to be true in an interpretation. Briefly, an interpretation is a nonempty set (the... |
|
| | | | | ||
| | | | |
lawrencecpaulson.github.io
|
|
| | | | | ||
| | | | |
www.ralfj.de
In my previous blog post on pointer provenance, I have shown that not thinking carefully about pointers can lead to a compiler that is internally inconsistent: programs that are intended to... |
|
| | | |||
