/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

 reportofanimals.com
Thinking About Thought - REPORT OF ANIMALS
| | ianwrightsite.wordpress.com
Notes on a mathematical interpretation of the opening of Hegel's Science of Logic -
0.8 parsecs away

Travel
| | A mathematical interpretation of the opening of Hegel's Science of Logic.
| | jdh.hamkins.org
Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford | Joel David Hamkins
2.8 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
2.6 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...
| | scottaaronson.blog
Shtetl-Optimized » Blog Archive » Rosser's Theorem via Turing machines
23.9 parsecs away

Travel
| (Thanks to Amit Sahai for spurring me to write this post!) The Background We all remember Gödel's First Incompleteness Theorem from kindergarten. This is the thing that, given a formal system F, constructs a sentence G(F) that's a mathematical encoding of "This sentence is not provable in F." If F proves G(F), then F proves...