/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
Memories: Edinburgh LCF, Cambridge LCF, HOL88
| | blog.sigfpe.com
A Neighborhood of Infinity: Self-referential logic via self-referential circuits
4.9 parsecs away

Travel
| |
| | pavpanchekha.com
Defining our Logic
4.3 parsecs away

Travel
| |
| | jdh.hamkins.org
Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford | Joel David Hamkins
3.4 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...
| | 4gravitons.com
Why Quantum Gravity Is Controversial | 4 gravitons
29.5 parsecs away

Travel
| Merging quantum mechanics and gravity is a famously hard physics problem. Explaining why merging quantum mechanics and gravity is hard is, in turn, a very hard science communication problem. The more popular descriptions tend to lead to misunderstandings, and I've posted many times over the years to chip away at those misunderstandings. Merging quantum mechanics...