Outer Web | Explore

/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		xorshammer.com Löb's Theorem: Santa Claus and Provability - XOR's Hammer
\|	\|	www.logicmatters.net Book note: Halbeisen & Krapf, Gödel's Theorems and Zermelo's Axioms - Logic Matters	4.2 parsecs away Travel
\|	\|	A standard menu for a first mathematical logic course might be something like this: (1) A treatment of the syntax and semantics of FOL, presenting a proof system or two, leading up to a proof of a Gödel's completeness theorem (and then a glance at e.g. the compactness theorem and some initial implications). (2) An [...]	4.2 parsecs away Travel
\|	\|	www.quantamagazine.org How Gödel's Proof Works \| Quanta Magazine	7.2 parsecs away Travel
\|	\|	His incompleteness theorems destroyed the search for a mathematical theory of everything. Nearly a century later, we're still coming to grips with the...	7.2 parsecs away Travel
\|	\|	billwadge.com The complete story of Gödel incompleteness. [4100 views] \| Bill Wadge's Blog	7.6 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...	7.6 parsecs away Travel
\|	\|	chava61photography.photo.blog Sunday Trees - 450 - This and That: The Continuation	18.6 parsecs away Travel
\|		Visit the post for more.	18.6 parsecs away Travel