Outer Web | Explore

Explore >> Select a destination

You are here		billwadge.com The complete story of Gödel incompleteness. [4100 views] \| Bill Wadge's Blog
\|	\|	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
\|	\|	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
\|	\|	rjlipton.com Proving Peano Arithmetic Partially Consistent? \| Gödel's Lost Letter and P=NP	4.3 parsecs away Travel
\|	\|	An approach to consistency that could work... Kurt Gödel is feeling bored. Not quite in our English sense of "bored": German has a word Weltschmerz meaning "world-weariness." In Kurt's case it's Überweltschmerz. We have tried for over a month to get him to do another interview like several times before, but he keeps saying there's...	4.3 parsecs away Travel
\|	\|	wargamecampaign.wordpress.com BRITANNIAcover-pic43828 - Wargame Campaign	15.5 parsecs away Travel
\|		[AI summary] The blog post discusses game design and related topics, with a focus on wargame rules and maps, and includes subscription details and privacy information.	15.5 parsecs away Travel