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 What Happens When You Iterate Gödel's Theorem? - XOR's Hammer
\|	\|	jdh.hamkins.org Every function can be computable! \| Joel David Hamkins	3.7 parsecs away Travel
\|	\|	I'd like to share a simple proof I've discovered recently of a surprising fact: there is a universal algorithm, capable of computing any given function! Wait, what? What on earth do I ...	3.7 parsecs away Travel
\|	\|	billwadge.com The complete story of Gödel incompleteness. [4100 views] \| Bill Wadge's Blog	3.2 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...	3.2 parsecs away Travel
\|	\|	www.logicmatters.net Book note: Halbeisen & Krapf, Gödel's Theorems and Zermelo's Axioms - Logic Matters	3.0 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 [...]	3.0 parsecs away Travel
\|	\|	ianwrightsite.wordpress.com Materialism and Cantor's higher infinities (transcript of talk) -	28.0 parsecs away Travel
\|		Are Cantor's higher infinities really real?	28.0 parsecs away Travel