Explore >> Select a destination
|
You are here 
|
blog.sigfpe.com | ||
| | | | |
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... | |
| | | | |
pavpanchekha.com
|
|
| | | | | ||
| | | | |
www.lesswrong.com
|
|
| | | | | A community blog devoted to refining the art of rationality | |
| | | | |
nicf.net
|
|
| | | A blog about math by Nic Ford | ||
