{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "G00EDC2ET4"
    }
  ],
  "body": "\n## Summary\n\nNonstandard analysis is a way of doing analysis with genuine infinitesimal and infinite numbers.\nAbraham Robinson founded it in the 1960s, using model theory to build an ordered field of [[hyperreal numbers|421QMTFG9T]] that extends the [[real numbers|08J2M1JYAG]].\nThe [[transfer principle|3RT74FQYG1]] lets first-order statements pass between the reals and the hyperreals.\nThe [[standard part function|1ZBY4W4E81]] rounds a finite hyperreal to the nearest real.\nWith these tools, limits, derivatives and integrals get short definitions close to the intuition of Leibniz.\nThe theory proves the same theorems about real numbers as ordinary analysis.\nAn axiomatic version is Nelson's [[internal set theory|V0PGBXYJ9R]].\n\n## Explanations\n\n### L1 human\n\nThe founders of calculus spoke of infinitely small quantities, but for a long time no one could make this precise.\nNonstandard analysis makes it precise: there is a larger number system with positive numbers smaller than every positive real.\nFor example, to differentiate $f(x) = x^2$, take an infinitesimal $\\varepsilon \\ne 0$.\nThen $(f(x + \\varepsilon) - f(x)) / \\varepsilon = 2x + \\varepsilon$, and rounding away the infinitesimal gives $f'(x) = 2x$.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "26E35",
      "03H05"
    ],
    "name": "Nonstandard analysis",
    "same_as": {
      "wikidata": "Q1503766",
      "wikipedia": "Nonstandard analysis"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Nonstandard_analysis"
      }
    ],
    "tag": "WM62GKCBWN"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/WM62GKCBWN/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/WM62GKCBWN.md",
  "msc": [
    "26E35",
    "03H05"
  ],
  "name": "Nonstandard analysis",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/WM6/WM62GKCBWN.md",
  "status": null,
  "tag": "WM62GKCBWN",
  "uri": "m2://WM62GKCBWN",
  "url": "https://math2.tamnd.com/wiki/nonstandard-analysis/",
  "writing": {
    "tag": "WM62GKCBWN",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}