/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.logicmatters.net
Book note: Halbeisen & Krapf, Gödel's Theorems and Zermelo's Axioms - Logic Matters
| | jdh.hamkins.org
Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford | Joel David Hamkins
2.8 parsecs away

Travel
| | Philosophy of Mathematics, Exam Paper 122, Oxford University Wednesdays 12-1 during term, Radcliffe Humanities Lecture Room Joel David Hamkins, Professor of Logic Lucy, Charles - Personifications o...
| | neilmadden.blog
Some incomplete thoughts about Gödel - Neil Madden
4.0 parsecs away

Travel
| | I saw another article on Gödel's incompleteness theorems linked from Reddit today. It's a topic I've wanted to write about for some time. Although many articles do a decent job in giving an idea of what the big deal is (and this one is pretty good), they can sometimes give a misleading impression of what...
| | xorshammer.com
Löb's Theorem: Santa Claus and Provability - XOR's Hammer
4.2 parsecs away

Travel
| | Consider the following argument for the existence of Santa Claus (which is called Curry's paradox): Let S be the sentence If S is true, then Santa Claus exists. Lemma: S is true. Proof. S is of the form ``If P, then Q.'' so to show S we just have to assume P and show Q....
| | billwadge.com
The complete story of Gödel incompleteness. [4100 views] | Bill Wadge's Blog
11.7 parsecs away

Travel
| 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...