/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

jdh.hamkins.org
| | m-phi.blogspot.com
4.3 parsecs away

Travel
| | The recent discussion of Edward Nelson's claim to have a found a proof that Peano arithmetic, $PA$, is inconsistent has been very interestin...
| | xorshammer.com
3.7 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...
| | reportofanimals.com
3.4 parsecs away

Travel
| | DISCLAIMER: This is an essay I wrote for my Masters degree in 2023, part of a series I will be putting on this site to get me started. While I have changed some of my views and found new lines of inquiry since I wrote this, I feel there is value in it and after...
| | rjlipton.com
30.3 parsecs away

Travel
| Isomorphism at the SODA 2014 conference Ronald Read and Derek Corneil are Canadian mathematicians and computer scientists. Read earned a PhD in Mathematics from the University of London in 1959, while Corneil was one of the inaugural PhD's in the University of Toronto's Department of Computer Science. Read is also an accomplished musician and composer---indeed...