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
\|	\|	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
\|	\|	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
\|	\|	blog.sigfpe.com A Neighborhood of Infinity: Self-referential logic via self-referential circuits	8.8 parsecs away Travel
\|	\|		8.8 parsecs away Travel
\|	\|	thatsmaths.com Contents - ThatsMaths	39.6 parsecs away Travel
\|		[AI summary] A blog archive listing titled 'ThatsMaths' containing over 600 posts from 2002 to 2025 covering mathematical history, problems, applications, and scientific concepts.	39.6 parsecs away Travel