/explore
|
You are here 
|
rjlipton.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... | |
| | | | |
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... | |
| | | | |
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 [...] | |
| | | | |
www.logicmatters.net
|
|
| | | I didn't at all intend to return to my Introduction to Gödel's Theorems (which I've not really read for a dozen years, apart from correcting a small handful of typos in the PDF). But I had occasion to look something up, and - hey, ho! - I've found myself over the last week beginning to [...] | ||
