Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
neilmadden.blog
|
|
| | | | | 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
|
|
| | | | | 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
|
|
| | | | | 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
|
|
| | | 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... | ||
