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		billwadge.com The complete story of Gödel incompleteness. [4100 views] \| Bill Wadge's Blog
\|	\|	jdh.hamkins.org Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford \| Joel David Hamkins 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...	3.7 parsecs Travel
\|	\|
\|	\|	nickdrozd.github.io Proving the Second Incompleteness Theorem from the First \| Something Something Programming Goedel's first incompleteness theorem is the claim that any sound, consistent formal system of sufficient power is incomplete; that is, there are statements in the language of the system that can neither be proved nor disproved. Traditionally the theorem is proved by exhbiting a statement g which is provably equivalent to a statement encoding its own disprovability in the system S.	3.4 parsecs Travel
\|	\|
\|	\|	blog.sigfpe.com A Neighborhood of Infinity: Self-referential logic via self-referential circuits	3.4 parsecs Travel
\|	\|
\|	\|	xorshammer.com Löb's Theorem: Santa Claus and Provability - XOR's Hammer 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....	10.9 parsecs Travel
\|