/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

 lawrencecpaulson.github.io
Everything you know is wrong
| | aeon.co
More than argument, logic is the very structure of reality | Aeon Essays
3.9 parsecs away

Travel
| | Some have thought that logic will one day be completed and all its problems solved. Now we know it is an endless task
| | pavpanchekha.com
What is Modal Logic?
4.5 parsecs away

Travel
| |
| | blog.sigfpe.com
A Neighborhood of Infinity: Self-referential logic via self-referential circuits
3.9 parsecs away

Travel
| |
| | www.logicmatters.net
Gödel's Theorems (and logicisms) revisited - Logic Matters
21.3 parsecs away

Travel
| I didn't at all intend to return to my Introduction to Gödel's Theorems (which I've not really read for a dozen years, apart from correcting a small handful of typos in the PDF). But I had occasion to look something up, and - hey, ho! - I've found myself over the last week beginning to [...]