Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
www.philipzucker.com
|
|
| | | | | ||
| | | | |
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... | |
| | | | |
www.logicmatters.net
|
|
| | | | | I have at last returned to finish reading Jeremy Avigad's Mathematical Logic and Computation, which was published last year by CUP. Here, now put together into one post, are some thoughts about the book (increasingly less per chapter, as I came to realise that - despite Avigad's intentions and despite the many virtues of the [...] | |
| | | | |
vesselinux.wordpress.com
|
|
| | | Visit the post for more. | ||
