/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

 blog.sigfpe.com
A Neighborhood of Infinity: Self-referential logic via self-referential circuits
| | pavpanchekha.com
What is Modal Logic?
3.4 parsecs away

Travel
| |
| | www.lesswrong.com
Self-Referential Probabilistic Logic Admits the Payor's Lemma - LessWrong
2.8 parsecs away

Travel
| | A community blog devoted to refining the art of rationality
| | lawrencecpaulson.github.io
Inductive definitions
3.1 parsecs away

Travel
| |
| | rjlipton.com
Proving Peano Arithmetic Partially Consistent? | Gödel's Lost Letter and P=NP
27.8 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...