|
You are here |
xorshammer.com | ||
| | | | |
www.umsu.de
|
|
| | | | | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | I'd like to share a simple proof I've discovered recently of a surprising fact: there is a universal algorithm, capable of computing any given function! Wait, what? What on earth do I ... | |
| | | | |
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... | |
| | | | |
node4.co.uk
|
|
| | | Examine the strategies to enhance productivity within your organisation | ||