Non-Standard Analysis View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1977

AUTHORS

W. A. J. Luxemburg

ABSTRACT

1. As early as 1934 it was pointed out by Thoralf Skolem (see [17]) that there exist proper extensions of the natural number system which have, in some sense, ‘the same properties’ as the natural numbers. The title of Skolem’s paper indicates that the purpose of it was to show that no axiomatic system specified in a formal language, in Skolem’s case the lower predicate calculus, can characterize the natural numbers categorically. At that time, however, Skolem did not concern himself with the properties of the structures whose existence he had established. In due course these structures became known as non-standard models of arithmetic. For nearly thirty years since the appearance of Skolem’s paper non-standard models were not used or considered in any sense by the working mathematician. Robinson’s fundamental paper, which appeared in 1961 under the title ‘Non-standard Analysis’, (see [11]) changed this situation dramatically. In this paper Abraham Robinson was the first to point out that this highly abstract part of model theory could be applied fruitfully to a theory so far removed from it as the infinitesimal calculus. As a result Robinson obtained a firm foundation for the non-archimedian approach to the calculus based on a number system containing infinitely small and infinitely large numbers, in a manner almost identical to that suggested by Leibniz some three centuries ago, and which predominated the calculus until the middle of the nineteenth century when it was rejected as unsound and replaced by the ϵ, δ-method of Weierstrass. More... »

PAGES

107-119

Book

TITLE

Logic, Foundations of Mathematics, and Computability Theory

ISBN

978-94-010-1140-2
978-94-010-1138-9

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-94-010-1138-9_6

DOI

http://dx.doi.org/10.1007/978-94-010-1138-9_6

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1007270535


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "California Institute of Technology, Pasadena, USA", 
          "id": "http://www.grid.ac/institutes/grid.20861.3d", 
          "name": [
            "California Institute of Technology, Pasadena, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Luxemburg", 
        "givenName": "W. A. J.", 
        "id": "sg:person.016621530177.98", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016621530177.98"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1977", 
    "datePublishedReg": "1977-01-01", 
    "description": "Abstract1. As early as 1934 it was pointed out by Thoralf Skolem (see [17]) that there exist proper extensions of the natural number system which have, in some sense, \u2018the same properties\u2019 as the natural numbers. The title of Skolem\u2019s paper indicates that the purpose of it was to show that no axiomatic system specified in a formal language, in Skolem\u2019s case the lower predicate calculus, can characterize the natural numbers categorically. At that time, however, Skolem did not concern himself with the properties of the structures whose existence he had established. In due course these structures became known as non-standard models of arithmetic. For nearly thirty years since the appearance of Skolem\u2019s paper non-standard models were not used or considered in any sense by the working mathematician. Robinson\u2019s fundamental paper, which appeared in 1961 under the title \u2018Non-standard Analysis\u2019, (see [11]) changed this situation dramatically. In this paper Abraham Robinson was the first to point out that this highly abstract part of model theory could be applied fruitfully to a theory so far removed from it as the infinitesimal calculus. As a result Robinson obtained a firm foundation for the non-archimedian approach to the calculus based on a number system containing infinitely small and infinitely large numbers, in a manner almost identical to that suggested by Leibniz some three centuries ago, and which predominated the calculus until the middle of the nineteenth century when it was rejected as unsound and replaced by the \u03f5, \u03b4-method of Weierstrass.", 
    "editor": [
      {
        "familyName": "Butts", 
        "givenName": "Robert E.", 
        "type": "Person"
      }, 
      {
        "familyName": "Hintikka", 
        "givenName": "Jaakko", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-94-010-1138-9_6", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-94-010-1140-2", 
        "978-94-010-1138-9"
      ], 
      "name": "Logic, Foundations of Mathematics, and Computability Theory", 
      "type": "Book"
    }, 
    "keywords": [
      "number system", 
      "non-standard analysis", 
      "formal language", 
      "predicate calculus", 
      "abstract part", 
      "non-standard models", 
      "natural numbers", 
      "axiomatic system", 
      "working mathematician", 
      "large number", 
      "proper extension", 
      "system", 
      "calculus", 
      "language", 
      "model theory", 
      "fundamental paper", 
      "Skolem", 
      "number", 
      "lower predicate calculus", 
      "model", 
      "Abraham Robinson", 
      "firm foundation", 
      "extension", 
      "natural number system", 
      "infinitesimal calculus", 
      "Thoralf Skolem", 
      "sense", 
      "same properties", 
      "situation", 
      "foundation", 
      "method", 
      "time", 
      "due course", 
      "manner", 
      "title", 
      "purpose", 
      "structure", 
      "mathematicians", 
      "analysis", 
      "part", 
      "theory", 
      "Weierstrass", 
      "cases", 
      "existence", 
      "Leibniz", 
      "properties", 
      "appearance", 
      "Robinson", 
      "approach", 
      "course", 
      "years", 
      "middle", 
      "century", 
      "nineteenth century", 
      "paper", 
      "Skolem\u2019s paper", 
      "Skolem\u2019s case", 
      "Skolem\u2019s paper non-standard models", 
      "\u2019s paper non-standard models", 
      "Robinson\u2019s fundamental paper", 
      "paper Abraham Robinson", 
      "result Robinson", 
      "non-archimedian approach", 
      "method of Weierstrass"
    ], 
    "name": "Non-Standard Analysis", 
    "pagination": "107-119", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1007270535"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-94-010-1138-9_6"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-94-010-1138-9_6", 
      "https://app.dimensions.ai/details/publication/pub.1007270535"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T19:03", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_84.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-94-010-1138-9_6"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-94-010-1138-9_6'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-94-010-1138-9_6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-94-010-1138-9_6'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-94-010-1138-9_6'


 

This table displays all metadata directly associated to this object as RDF triples.

129 TRIPLES      23 PREDICATES      90 URIs      83 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-94-010-1138-9_6 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author Neca724b2b347429b8fc6e1a5a38c64ee
4 schema:datePublished 1977
5 schema:datePublishedReg 1977-01-01
6 schema:description Abstract1. As early as 1934 it was pointed out by Thoralf Skolem (see [17]) that there exist proper extensions of the natural number system which have, in some sense, ‘the same properties’ as the natural numbers. The title of Skolem’s paper indicates that the purpose of it was to show that no axiomatic system specified in a formal language, in Skolem’s case the lower predicate calculus, can characterize the natural numbers categorically. At that time, however, Skolem did not concern himself with the properties of the structures whose existence he had established. In due course these structures became known as non-standard models of arithmetic. For nearly thirty years since the appearance of Skolem’s paper non-standard models were not used or considered in any sense by the working mathematician. Robinson’s fundamental paper, which appeared in 1961 under the title ‘Non-standard Analysis’, (see [11]) changed this situation dramatically. In this paper Abraham Robinson was the first to point out that this highly abstract part of model theory could be applied fruitfully to a theory so far removed from it as the infinitesimal calculus. As a result Robinson obtained a firm foundation for the non-archimedian approach to the calculus based on a number system containing infinitely small and infinitely large numbers, in a manner almost identical to that suggested by Leibniz some three centuries ago, and which predominated the calculus until the middle of the nineteenth century when it was rejected as unsound and replaced by the ϵ, δ-method of Weierstrass.
7 schema:editor Nbe9aa957ff194346a7540170b97e63c6
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N9cab83383b1544d2989bdfdb34e09626
12 schema:keywords Abraham Robinson
13 Leibniz
14 Robinson
15 Robinson’s fundamental paper
16 Skolem
17 Skolem’s case
18 Skolem’s paper
19 Skolem’s paper non-standard models
20 Thoralf Skolem
21 Weierstrass
22 abstract part
23 analysis
24 appearance
25 approach
26 axiomatic system
27 calculus
28 cases
29 century
30 course
31 due course
32 existence
33 extension
34 firm foundation
35 formal language
36 foundation
37 fundamental paper
38 infinitesimal calculus
39 language
40 large number
41 lower predicate calculus
42 manner
43 mathematicians
44 method
45 method of Weierstrass
46 middle
47 model
48 model theory
49 natural number system
50 natural numbers
51 nineteenth century
52 non-archimedian approach
53 non-standard analysis
54 non-standard models
55 number
56 number system
57 paper
58 paper Abraham Robinson
59 part
60 predicate calculus
61 proper extension
62 properties
63 purpose
64 result Robinson
65 same properties
66 sense
67 situation
68 structure
69 system
70 theory
71 time
72 title
73 working mathematician
74 years
75 ’s paper non-standard models
76 schema:name Non-Standard Analysis
77 schema:pagination 107-119
78 schema:productId N6589bf09f7574370b0fd93ce25c4f8fa
79 N7d97985a88d441c09160964190d0ca8a
80 schema:publisher N2a23f792a01540bf8a9e341ee34ee7ea
81 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007270535
82 https://doi.org/10.1007/978-94-010-1138-9_6
83 schema:sdDatePublished 2021-11-01T19:03
84 schema:sdLicense https://scigraph.springernature.com/explorer/license/
85 schema:sdPublisher N7b6770bb469d41ac9a069bd8864b5d4d
86 schema:url https://doi.org/10.1007/978-94-010-1138-9_6
87 sgo:license sg:explorer/license/
88 sgo:sdDataset chapters
89 rdf:type schema:Chapter
90 N07a31c007ee9418e98fe115fa53c6d3c rdf:first N37d23cae32794f2a9666ef8063197dd1
91 rdf:rest rdf:nil
92 N2a23f792a01540bf8a9e341ee34ee7ea schema:name Springer Nature
93 rdf:type schema:Organisation
94 N37d23cae32794f2a9666ef8063197dd1 schema:familyName Hintikka
95 schema:givenName Jaakko
96 rdf:type schema:Person
97 N6589bf09f7574370b0fd93ce25c4f8fa schema:name dimensions_id
98 schema:value pub.1007270535
99 rdf:type schema:PropertyValue
100 N7b6770bb469d41ac9a069bd8864b5d4d schema:name Springer Nature - SN SciGraph project
101 rdf:type schema:Organization
102 N7d97985a88d441c09160964190d0ca8a schema:name doi
103 schema:value 10.1007/978-94-010-1138-9_6
104 rdf:type schema:PropertyValue
105 N9cab83383b1544d2989bdfdb34e09626 schema:isbn 978-94-010-1138-9
106 978-94-010-1140-2
107 schema:name Logic, Foundations of Mathematics, and Computability Theory
108 rdf:type schema:Book
109 Nbe9aa957ff194346a7540170b97e63c6 rdf:first Nccea8aa672d54f10a92a291326f6c65e
110 rdf:rest N07a31c007ee9418e98fe115fa53c6d3c
111 Nccea8aa672d54f10a92a291326f6c65e schema:familyName Butts
112 schema:givenName Robert E.
113 rdf:type schema:Person
114 Neca724b2b347429b8fc6e1a5a38c64ee rdf:first sg:person.016621530177.98
115 rdf:rest rdf:nil
116 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
117 schema:name Mathematical Sciences
118 rdf:type schema:DefinedTerm
119 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
120 schema:name Pure Mathematics
121 rdf:type schema:DefinedTerm
122 sg:person.016621530177.98 schema:affiliation grid-institutes:grid.20861.3d
123 schema:familyName Luxemburg
124 schema:givenName W. A. J.
125 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016621530177.98
126 rdf:type schema:Person
127 grid-institutes:grid.20861.3d schema:alternateName California Institute of Technology, Pasadena, USA
128 schema:name California Institute of Technology, Pasadena, USA
129 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...