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
\|	\|	blog.sigfpe.com A Neighborhood of Infinity: Self-referential logic via self-referential circuits	3.4 parsecs away Travel
\|	\|		3.4 parsecs away Travel
\|	\|	jdh.hamkins.org Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford \| Joel David Hamkins	3.7 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...	3.7 parsecs away Travel
\|	\|	xorshammer.com What Happens When You Iterate Gödel's Theorem? - XOR's Hammer	3.2 parsecs away Travel
\|	\|	Let $latex \mathrm{PA}$ be Peano Arithmetic. Gödel's Second Incompleteness Theorem says that no consistent theory $latex T$ extending $latex \mathrm{PA}$ can prove its own consistency. (I'll write $latex \mathrm{Con}(T)$ for the statement asserting $latex T$'s consistency; more on this later.) In particular, $latex \mathrm{PA} + \mathrm{Con}(\mathrm{PA})$ is stronger than $latex \mathrm{PA}$. But certainly, given that...	3.2 parsecs away Travel
\|	\|	infoproc.blogspot.com Information Processing: Keynes and Planck	23.4 parsecs away Travel
\|		Found in the comments on Economist's View : Professor Planck, of Berlin, the famous originator of the Quantum Theory, once remarked to me ...	23.4 parsecs away Travel