Explore >> Select a destination


You are here

www.logicmatters.net
| | neilmadden.blog
4.0 parsecs away

Travel
| | I saw another article on Gödel's incompleteness theorems linked from Reddit today. It's a topic I've wanted to write about for some time. Although many articles do a decent job in giving an idea of what the big deal is (and this one is pretty good), they can sometimes give a misleading impression of what...
| | www.umsu.de
4.2 parsecs away

Travel
| |
| | xorshammer.com
3.0 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...
| | ncatlab.org
29.7 parsecs away

Travel
| [AI summary] Mike Shulman, a Professor, discusses his academic work in homotopy type theory, higher inductive types, and related mathematical concepts through selected writings and talks.