CaltechAUTHORS
  A Caltech Library Service

Non-Standard Analysis

Luxemburg, W. A. J. (1977) Non-Standard Analysis. In: Logic, Foundations of Mathematics, and Computability Theory. The University of Western Ontario Series in Philosophy of Science. No.9. Springer , Dordrecht, pp. 107-119. ISBN 978-94-010-1140-2. https://resolver.caltech.edu/CaltechAUTHORS:20200519-134358780

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20200519-134358780

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.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
https://doi.org/10.1007/978-94-010-1138-9_6DOIArticle
Additional Information:© 1977 D. Reidel Publishing Company, Dordrecht, Holland.
Subject Keywords:Transfer Principle; Large Natural Number; Internal Entity; Invariant Subspace Problem; Algebraic Function Field
Series Name:The University of Western Ontario Series in Philosophy of Science
Issue or Number:9
Record Number:CaltechAUTHORS:20200519-134358780
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20200519-134358780
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:103320
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:19 May 2020 20:52
Last Modified:19 May 2020 20:52

Repository Staff Only: item control page