Explore >> Select a destination


You are here

jdh.hamkins.org
| | neilmadden.blog
3.2 parsecs away

Travel
| | I saw another article on Gödel's incompleteness theorems linked from Reddit today. It's a topic I've wanted to write about for some time. Although many articles do a decent job in giving an idea of what the big deal is (and this one is pretty good), they can sometimes give a misleading impression of what...
| | richardzach.org
1.6 parsecs away

Travel
| | The eminent proof theorist and philosopher of mathematics William Walker ("Bill") Tait died March 15, 2024 in Chicago. He was 95. Bill was born on January 22, 1929, in Freeport, NY, and...
| | billwadge.com
3.7 parsecs away

Travel
| | The famous mathematician Kurt Gödel proved two "incompleteness" theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logic. Tarski described what exactly was an 'interpretation' and what it meant for a formula to be true in an interpretation. Briefly, an interpretation is a nonempty set (the...
| | sci.esa.int
16.6 parsecs away

Travel
| The Herschel Space Observatory is the largest infrared space observatory launched to date. Equipped with a 3.5 metre diameter reflecting telescope and instruments cooled to close to absolute zero, Herschel observes at wavelengths that have never previously been explored. After a roughly 50-day journey from Earth, Herschel entered its operational orbit around the second Lagrange point of the Sun-Earth system (L2), for a nominal mission lifetime of three years. The Herschel Space Observatory is the largest...