Explore >> Select a destination
|
You are here 
|
unstableontology.com | ||
| | | | |
xorshammer.com
|
|
| | | | | Nonstandard Analysis is usually used to introduce infinitesimals into the real numbers in an attempt to make arguments in analysis more intuitive. The idea is that you construct a superset $latex \mathbb{R}^*$ which contains the reals and also some infinitesimals, prove that some statement holds of $latex \mathbb{R}^*$, and then use a general "transfer principle"... | |
| | | | |
www.logicmatters.net
|
|
| | | | | A standard menu for a first mathematical logic course might be something like this: (1) A treatment of the syntax and semantics of FOL, presenting a proof system or two, leading up to a proof of a Gödel's completeness theorem (and then a glance at e.g. the compactness theorem and some initial implications). (2) An [...] | |
| | | | |
rjlipton.com
|
|
| | | | | An approach to consistency that could work... Kurt Gödel is feeling bored. Not quite in our English sense of "bored": German has a word Weltschmerz meaning "world-weariness." In Kurt's case it's Überweltschmerz. We have tried for over a month to get him to do another interview like several times before, but he keeps saying there's... | |
| | | | |
www.bearssl.org
|
|
| | | |||
