Explore >> Select a destination
|
You are here 
|
ryanbrewer.dev | ||
| | | | |
unstableontology.com
|
|
| | | | | (note: some readers may find the LaTeX more readable on LessWrong.) In this post I prove a variant of Gödel's completeness theorem. My intention has been to really understand the theorem, so that I am not simply shuffling symbols around, but am actually understanding why it is true. I hope it is helpful for at... | |
| | | | |
gowers.wordpress.com
|
|
| | | | | It's been a while since I have written a post in the "somewhat philosophical" category, which is where I put questions like "How can one statement be stronger than an another, equivalent, statement?" This post is about a question that I've intended for a long time to sort out in my mind but have found... | |
| | | | |
pavpanchekha.com
|
|
| | | | | ||
| | | | |
chicagoterrainfactory.wordpress.com
|
|
| | | More figures from the Ragnarok kickstarter, with a few leader figures from the Einherjar set and a couple of minis from Saxon Miniatures (also Patton sculpts). Banners are printed from files posted by Microbunker. Paper banners attached with white glue to heavy weight paper. The combined flag is folded over and attached to the pole... | ||
