Explore >> Select a destination
|
You are here 
|
www.lesswrong.com | ||
| | | | |
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... | |
| | | | |
pavpanchekha.com
|
|
| | | | | ||
| | | | |
blog.sigfpe.com
|
|
| | | | | ||
| | | | |
www.quantamagazine.org
|
|
| | | Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach. | ||
