Explore >> Select a destination
|
You are here 
|
carcinisation.com | ||
| | | | |
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... | |
| | | | |
divisbyzero.com
|
|
| | | | | After writing about some well known people with degrees in mathematics, I was moved to re-listen to some old Tom Lehrer songs on YouTube. I decided I'd post some links to his more mathematical songs here. Enjoy. First, "Lobachevsky," a song about the Russian mathematician Nikolai Lobachevsky and his discovery of non-Euclidean geometry, which some... | |
| | | | |
dvt.name
|
|
| | | | | Gödel's incompleteness theorems have been hailed as "the greatest mathematical discoveries of the 20th century" - indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I'll give a simple but rigorous sketch of Gödel's First Incompleteness ... | |
| | | | |
unstableontology.com
|
|
| | | (note: one may find the embedded LaTeX more readable on LessWrong) The Löwenheim-Skolem theorem implies, among other things, that any first-order theory whose symbols are countable, and which has an infinite model, has a countably infinite model. This means that, in attempting to refer to uncountably infinite structures (such as in set theory), one "may... | ||
